Liliana Cucu
Equipe AOSTE - INRIA Rocquencourt

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

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 non-préemptif 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.

Transparents: http://www-poleia.lip6.fr/~sourd/gotha/exposes/Cucu.pdf