Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel

Applying controller synthesis to real-time system scheduling

• Auteur / Autrice : Karine Altisen
• Direction : Joseph Sifakis
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2001
• Etablissement(s) : Grenoble INPG en cotutelle avec Grenoble 1

Résumé

Cette thèse propose une méthode constructive et incrémentale inspirée du paradigme de la synthèse de contrôleur pour calculer l'ordonnanceur d'un système temps-réel. Nous avons développé deux algorithmes de systhèse de contrôleurs pour des propriétés de sûreté. Nous avons montré que l'ordonnanceur d'un système temps-réel est un contrôleur spécifié par deux types de contraintes : des contraintes d'ordonnançabilité qui caractérisent les propriétés dynamiques des processus à ordonnancer et de leur environnement et des contraintes qui expriment des politiques d'ordonnancement relatives à l'utilisation des ressources partagées. Nous avons également défini une méthodologie pour la modélisation incrémentale du système à ordonnancer à partir des processus, de leur synchronisation et de leur comportement temporel. La méthodologie permet d'unifier les résultats théoriques et pratiques concernant l'ordonnancement temps-réel. Nous illustrons son application à travers des exemples.