Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes
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è...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , |
Autres auteurs : | , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes / Pierre-Emmanuel Hladik; sous la dir. de Yvon Trinquet et co-encadrant Anne-Marie Déplanche |
Publié : |
[S.l.] :
[s.n.]
, 2004 |
Description matérielle : | 218 p. |
Note de thèse : | Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004 |
Disponibilité : | Publication autorisée par le jury |
Sujets : |
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. |
---|---|
Bibliographie : | Bibliogr. p. 211-218 |