Michaël Lauer

Professeur associé de l’ISAE. Membre de l’équipe Sysco du département d’ingénierie des systèmes complexes.
Responsable de la majeure Embedded Systems du Master of Aerospace Engineering (MAE)
Doctorat en RESEAUX, TELECOMMUNICATIONS, SYSTEME ET ARCHITECTURE de l’Université de Toulouse (2012)

 Activités de recherche

Mes activités de recherche portent sur la sûreté de fonctionnement des systèmes embarqués et cyber-physiques, avec un accent particulier sur la prédictibilité temporelle, la tolérance aux fautes et la résilience. Ces problématiques sont aujourd’hui centrales dans des domaines tels que l’aéronautique et l’automobile, où l’augmentation de la complexité des architectures matérielles (multicoeurs, hétérogénéité), l’évolution des cycles de développement et la variabilité des contextes d’exécution remettent en cause les hypothèses classiques de sûreté.

Après une thèse consacrée à la vérification des contraintes temps réel dans les systèmes avioniques, mes travaux se sont progressivement structurés autour de deux axes complémentaires.

Le premier axe concerne la résilience et la tolérance aux fautes des systèmes informatiques critiques. Il vise à dépasser les approches traditionnelles fondées sur des hypothèses figées, en proposant des mécanismes capables de s’adapter aux changements de contexte, de charge ou d’environnement. Ces travaux couvrent à la fois des contributions conceptuelles, notamment sur la caractérisation et la mesure de la résilience, et des contributions plus opérationnelles, telles que la conception d’architectures logicielles pour la tolérance aux fautes adaptative.

Le second axe porte sur la maîtrise de la dimension temporelle dans les architectures multicoeurs, en particulier pour les systèmes à criticité mixte. L’objectif est de concilier garanties temporelles fortes pour les fonctions critiques et performances élevées pour les fonctions moins critiques partageant les mêmes ressources matérielles. Mes travaux explorent des approches dynamiques combinant ordonnancement, anticipation des risques temporels et gestion fine des ressources matérielles, notamment via le partitionnement du cache mémoire.

L’ensemble de ces travaux s’inscrit dans une vision visant à concevoir des systèmes embarqués à la fois sûrs, performants et adaptatifs, capables de maintenir des garanties de fonctionnement dans des environnements de plus en plus ouverts et évolutifs.

 Activité d’enseignement

Ingénieurs — 3ème année — Systèmes Temps Réel
Ingénieurs — 3ème année — Implantation des lois de commande
Apprentis Ingénieurs — 3ème année — Systèmes embarqués
MAE — 1ère année — Introduction to Embedded Systems
MAE — 2ème année — Real-Time Systems

 Encadrement de thèse

Thèses en cours :

Valentin Mordel, Tolérance aux fautes et reconfiguration fiable dans une architecture automobile HPC/ZCU, co-encadré par Rob Vingerhoed et Daniel Loche (Aumovio)

Thèses soutenues :

Alexis Générès, Approches dynamiques de gestion du cache mémoire partagé pour un système multi-critique sur processeur multi-cœurs, 2025, co-encadré avec Jean-Charles Fabre

Daniel Loche, Prévention des fautes temporelles sur architectures multicœur pour les systèmes à criticité mixte, 2022, co-encadré avec Jean-Charles Fabre et E.C.V. Klikpo (Renault)

Jean Ibarz, Equilibrage de charge efficace et adaptatif avec garanties spatio-temporelles pour les systèmes de véhicules connectés, 2021, co-encadré avec Jean-Charles Fabre et Olivier Flebus (Continental)

Matthieu Amy, Systèmes résilients pour l’automobile : d’une approche à composants à une approche à objets de la tolérance aux fautes adaptative sur ROS, 2020, co-encadré avec Jean-Charles Fabre et Philippe Quéré (Renault)

William Excoffon, Résilience des systèmes informatiques adaptatifs : Modélisation, analyse et quantification, 2018, co-encadré avec Jean-Charles Fabre