on June 26, 2025 at 2:00 pm
Modular Timing Analysis of Embedded Real-Time Systems
Embedded Real-Time Systems (ERTS) are electronic appliances that interact with their environment to accomplish a certain goal, and for which the result of certains computations must be provided within predetermined time bounds that depend on the nature of the physical phenomenon under control. Many ERTS are of critical nature: a malfunction may damage properties or even put human lives in danger. When designing and developing critical ERTS, it is very important to ensure the safety of the system. Scheduling analysis is used to ensure that all temporal constraints are respected under all conditions. In this talk I will present the main results of my research on real-time scheduling analysis for complex real-time systems using modular, component-based techniques. After an introduction to the problem and some background on real-time systems, I will discuss hierarchical scheduling and timing isolation to add robustness and fault-tolerance; sensitivity analysis over execution time variations; parametric worst-case execution time analysis. Finally, I will prensent my vision of current and future work on modular timing analysis of real-time systems in the context of my current IUF grant.
More...Amphi Ircica - 50 avenue Halley - Haute Borne - Villeneuve d'Ascq
français
English