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

• Auteur / Autrice : Imad Alzeer
• Direction : Yvon Trinquet, Pierre Molinaro
• 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

Systèmes d'exploitation (ordinateurs)

Génie logiciel

Temps réel (informatique)

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.

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.