Beschreibung
Nous nous intéressons aux problèmes dordonnancement de tâches périodiques dans les systèmes temps réel durs. Lapproximation du coût de la préemption, qui est la partie variable du coût du système dexploitation (OS), dans le WCET des tâches conduit à faire un compromis entre gaspillage et sûreté de lordonnançabilité, ce qui nest pas satisfaisant. Les travaux proposés pour résoudre ce problème conduisent à la prise en compte soit dun nombre minimal soit dun nombre maximal de préemptions. Par conséquent, il nest pas possible de garantir de façon sûre lordonnançabilité dun système temps réel critique. Dans ce livre, nous introduisons un nouveau modèle pour résoudre le problème général de lordonnancement de systèmes temps réel durs avec des contraintes multiples telles que la précédence, la périodicité stricte, la latence et la gigue, tout en tenant compte du coût exact de la préemption. Fondé sur ce nouveau modèle, nous proposons une analyse dordonnançabilité qui utilise la définition dune opération binaire dordonnancement.
Autorenporträt
Patrick Meumeu Yomsi, Docteur en STIC (2009) de l'UniversitéParis Sud/Orsay. Actuellement, Chercheur à l'U.L.B./Belgique.Pendant sa thèse, il a développé les fondements algébriques pourla prise en compte du coût exact de la préemption dans lessystèmes temps réel durs. Il est l'auteur de plusieurs articlesspécialisés distingués.