Contribution à la conception et à la vérification de systèmes temps réel — Focus sur l'ordonnancement temps réel
Résumé
Ce document présente une synthèse des travaux que j'ai réalisés autour de la conception et de la vérification des systèmes embarqués critiques, en particulier autour de l'ordonnancement temps réel, ainsi que les perspectives de recherche que j'envisage pour les années à venir.
Loading...