Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes

• Auteur / Autrice : Pierre-Emmanuel Hladik
• Direction : Yvon Trinquet, Anne-Marie Deplanche
• Type : Thèse de doctorat
• Discipline(s) : Automatique et informatique appliquée
• Date : Soutenance en 2004
• Etablissement(s) : Nantes
• Ecole(s) doctorale(s) : École doctorale sciences et technologies de l'information et des matériaux (Nantes)

Mots clés

Mots clés contrôlés

Programmation par contraintes

Ordonnancement (gestion)

Temps réel (informatique)

Résumé

La conception des systèmes temps réel passe la production d'une architecture opérationnelle validée. Cette architecture est le fruit d'un placement des éléments logiciels sur le support matériel d'exécution, tout en s'assurant du respect des contraintes opérationnelles. Cette thèse aborde deux thèmes : la validation d'une architecture opérationnelle et la recherche d'un placement valide. Les systèmes étudiés sont préemptifs, à priorités fixes avec des architectures matérielles distribuées. Le problème de la validation est abordé par le calcul des pires temps de réponse des tâches à l'aide de méthodes analytiques. Cette étude répertorie les méthodes existantes, définit leur cadre applicatif, et en propose des extensions. Le problème du placement est traité à l'aide des techniques de la programmation par contraintes. L'objectif est de valider cette démarche en proposant une modélisation du problème et en mettant en place des mécanismes capables de prendre en considération les particularités du placement pour les systèmes temps réel.

The conception of real-time systems needs to produce a validated operational architecture. This architecture results from the mapping of the software architecture onto the hardware architecture in order to achieve timing correctness. This document deals with distributed, pre-emptive real-time systems with fixed priorities. This thesis addresses with the validation of operational architectures through analytical analysis. Our work itemizes classical approaches, classifies these methods and introduces some extensions. The second part of our work introduces a new method for the mapping with constraint programming solver. The feasibility of this technique is shown via the introduction of a specific model that takes into account behaviours of real-time systems.