Jeudi 26 juin 2025 de 14h00 à 15h30
Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq
Abstrat: 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 present my vision of current and future work on modular timing analysis of real-time systems in the context of my current IUF grant.
Short bio
Short Biography Giuseppe Lipari is Professor of Computer Science at the University of Lille and leader of the team SYCOMORES at CRIStAL and Inria. He has been Associate Professor at the Scuola SUperiore Sant’Anna of Pisa (Italy) from 2000 to 2012 and visiting professor at the ENS Cachan from 2012 to 2014. His research interests cover real-time scheduling, embedded systems and operating systems. He is IEEE Fellow for his contributions to « Resource Reservations for Real-TIme Systems », and a senior member of the Institut Universitaire de France.