To MILP or not to MILP? On AI techniques for the design and optimization of real-time systems
Abstract Artificial intelligence (AI) is becoming increasingly relevant in many contexts. In embedded real-time systems, most of the previous research has focused on real-time guarantees for AI workloads (RT-for-AI). Instead, this position paper discusses the potential benefits and application cases of the complementary direction of using AI to optimize real-time systems themselves (AI-for-RT). It presents a vision where AI techniques, such as supervised and reinforcement learning, support system design and online configuration activities that are traditionally addressed using Mixed-Integer Linear Programming (MILP) or heuristic methods. The paper discusses scenarios where AI can potentially outperform classical techniques—such as recursive real-time analysis, systems with complex hardware/software interactions, and dynamic resource management—highlighting the promise of AI in both design-time and runtime real-time systems optimization. Solutions are left to future work: the goal is to populate the “Roadmap Towards Learning-Enabled and Learning-Assisted Real-Time Systems”, which is the target of this special issue.
Authors
- Daniel Casini (ORCID: https://orcid.org/0000-0003-4719-3631)
Institutions
- Scuola Superiore Sant'Anna (IT)
Publication Details
- Journal
- Real-Time Systems
- Published
- 2025-05-26
- DOI
- https://doi.org/10.1007/s11241-025-09440-0
- Primary Topic
- Real-Time Systems Scheduling
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Scuola Superiore Sant'Anna