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

par Pierre-Emmanuel Hladik

Thèse de doctorat en Automatique et informatique appliquée

Sous la direction de Yvon Trinquet et de Anne-Marie Deplanche.

Soutenue en 2004

à Nantes .


  • 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.


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 218 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 211-218

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 2072
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.