Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes
embarqués à contraintes temps réel

Liliana Cucu 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : Après un état de l'art sur l'ordonnancement en général et l'ordonnancement temps réel en particulier permetttant de préciser les notions utilisées par la suite et après avoir motivé l'intérêt d'une nouvelle contrainte temps réel de latence, nous proposons un modèle qui formalise les systèmes temps réel avec contraintes de précédences, de périodicités et de latences. Dans ce modèle, les précédences sont définies par un graphe orienté acyclique infiniment répété. Pour le cas monoprocesseur, on étudie trois problèmes d'ordonnancement : celui des systèmes avec contraintes de précédences et de périodicités, celui des systèmes avec contraintes de précédences et de latences et enfin celui des systèmes avec contraintes de précédences, de périodicités et de latences. Pour chaque problème on étudie la cohérence entre les différentes contraintes, on donne des conditions d'ordonnançabilité et on propose un algorithme prouvé optimal dans le sens où s'il y a un ordonnancement, l'algorithme le trouvera. On passe ensuite au cas multiprocesseur où l'architecture est définie par un graphe non-orienté. On étudie trois problèmes d'implantation (distribution et ordonnancement) dans les mêmes cas qu'en monoprocesseur en tenant compte des temps de communications. On prouve que ces trois problèmes sont NP-difficiles et on propose, donc, des heuristiques. Les performances de chaque heuristique sont comparées à celles d'algorithme exacte de type "branch and bound", en utilisant des simulations numériques.
Type de document :
Thèse
Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00012046
Contributeur : Liliana Cucu <>
Soumis le : lundi 27 mars 2006 - 20:46:52
Dernière modification le : lundi 4 décembre 2017 - 15:14:09
Document(s) archivé(s) le : samedi 3 avril 2010 - 20:50:12

Fichier

Identifiants

  • HAL Id : tel-00012046, version 1

Collections

Citation

Liliana Cucu. Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes
embarqués à contraintes temps réel. Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français. 〈tel-00012046〉

Partager

Métriques

Consultations de la notice

1234

Téléchargements de fichiers

229