Analyse exhaustive du comportement temporel de tâches et messages temps réel

par Imad Alzeer

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

Sous la direction de Yvon Trinquet et de Pierre Molinaro.


  • Résumé

    Dans cette thèse, nous présentons une méthode de vérification du respect des contraintes temporelles en se basant sur le calcul exact des deux bornes du temps de réponse des tâches et des messages dans un système temps réel. Les tâches et messages sont généralement périodiques, avec ou sans précédence, et leurs durées sont variables mais bornées. L'architecture support d'exécution est monoprocesseur et répartie. Le réseau support de l'étude est CAN. La communication locale entre les tâches s'effectue sans coût temporel, tandis que la communication distante s'effectue avec un coût dépendant des données. L'ordonnancement est globalement non préemptif, et les priorités sont associées statiquement aux tâches comme aux messages. L'échelle temporelle du traitement est discrète. Un lien de communication a le sens strict d'une contrainte de précédence. La complexité des structures de précédence dépend de la catégorie du système : pour un système monoprocesseur, elle peut être acyclique ou arborescente, à condition que le successeur soit moins prioritaire que ses prédécesseurs. Pour un système réparti, la précédence est en forme arborescente sans aucune contrainte sur l'ordre de priorité. Dans les deux cas, la précédence peut être généralisée.


  • Résumé

    In this thesis, we present a method that permits to verify the satisfaction of timing constraints in real time systems. This method is based on the exact calculations for the two response time bounds of tasks and messages. Generally, tasks and messages are periodic, having precedence constants or not, and their durations are variable but bounded. The used model deals with mono-processor and distributed systems where the CAN network is used. Local communication between tasks on the same processor needs no time, while the distant tasks communicate through the network with a transmission time depending on data. Globally, the scheduling is non preemptive, priorities are attributed statically for tasks as for messages, and time is discrete. Complexity of precedence depends on the systems type : in mono-processor, it may be in-tree and /or out-tree provided that the successor is lower priority than its predecessors. In distributed systems, only precedence may be out-tree without restrictions on the priority order. In both categories, the precedence may be generalized.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : pagination multiple
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.

Où se trouve cette thèse\u00a0?

  • 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 2073
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.