Prestigious international recognition obtained by the TeCIP Institute (Telecommunications, Informatics, Photonics) of the Sant’Anna School of Advanced Studies in Pisa. An article written by Federico Aromolo and Alessandro Biondi, respectively assistant professor and associate professor in Information Processing Systems, in collaboration with TU Dortmund, won the Best Paper Award at RTSS 2025 (46th IEEE Real-Time Systems Symposium), the leading international conference in the field of real-time systems, organised in Boston (USA) by the IEEE TCRTS (Technical Community on Real-Time Systems).
The article concerns the temporal analysis of software for cyber-physical systems that includes components that can temporarily suspend their execution, for example, to coordinate with other parts of the system or delegate complex calculations, such as neural network inference, to specialised devices. Providing formal guarantees on the completion of operations within strict time constraints in the presence of suspensions is a remarkably complex problem, but it is essential to ensure the correct and safe operation of critical real-time systems, such as automotive, industrial, and aerospace systems.
The proposed technique introduces a new analysis paradigm that provides more stringent guarantees than existing methods and, for the first time, demonstrates that suspension systems scheduled with dynamic priorities can deliver superior performance compared to those with fixed priorities, a significant achievement in the field of real-time systems.
