Polaris Colloquium on 26/06/2025

on June 26, 2025 from 2:00 pm to 3:30 pm

Speaker : Giuseppe Lipari

Modular Timing Analysis of Embedded Real-Time Systems

Les systèmes intégrés en temps réel sont des appareils électroniques qui interagissent avec leur environnement pour atteindre un certain objectif, et pour lesquels le résultat de certains calculs doit être fourni dans des délais prédéterminés qui dépendent de la nature du phénomène physique contrôlé. De nombreux systèmes intégrés en temps réel sont de nature critique : un dysfonctionnement peut endommager des biens ou mettre des vies humaines en danger. Lors de la conception et du développement des systèmes intégrés en temps réel critiques, il est très important de garantir la sécurité du système. L’analyse de l’ordonnancement est utilisée pour s’assurer que toutes les contraintes temporelles sont respectées dans toutes les conditions. Dans cet exposé, je présenterai les principaux résultats de mes recherches sur l’analyse de l’ordonnancement en temps réel pour les systèmes complexes en temps réel en utilisant des techniques modulaires basées sur les composants. Après une introduction au problème et un rappel du contexte des systèmes en temps réel, je parlerai de l’ordonnancement hiérarchique et de l’isolation temporelle pour ajouter de la robustesse et de la tolérance aux pannes ; de l’analyse paramétrique du temps d’exécution dans le pire des cas. Enfin, je présenterai ma vison des travaux actuels et futurs sur l’analyse modulaire de la synchronisation des systèmes en temps réel dans le contexte de ma bourse IUF actuelle.

More...

Amphi Ircica - 50 avenue Halley - Haute Borne - Villeneuve d'Ascq

  • Seminar Valse

    Mohamed Yassine Arkhis (Inria), Danilo Lima (Inria) et Manuel Mera (IPN, Mexico) November 27, 2025 at 10:30 am

  • December 5, 2025 at 12:15 pm

  • December 15, 2025

  • Polaris Colloquium

    Sarah Cohen-Boulakia December 18, 2025 at 2:00 pm

  • Seminar

    Léodasce Sewanou January 20, 2026 at 10:15 am

  • January 26, 2026

More news