Matthieu Lemerre (matthieu.lemerre@cea.fr) CEA LIST

Ordonnancement optimal de tâches cadencées par le temps sur multiprocesseur


Cet exposé traitera de la problématique de l'ordonnancement preemptif
de tâches temps-réel cadencées par le temps, sur systèmes mono- ou
multi- processeurs.

Après une présentation du principe du cadencement par le temps, il
sera décrit un formalisme permettant de représenter l'ensemble des
tâches de ce type. Puis il sera montré les étapes successives de la
résolution du problème de leur ordonnancement. Cela permet
d'ordonnancer de manière optimale ces tâches, même sur des systèmes
multiprocesseurs.

Ces résultats de recherche trouvent des applications concrètes dans le
cadre d'OASIS, une méthode de conception de systèmes temps-réel
critiques notamment industrialisée dans le domaine nucléaire. La
chaîne d'outils OASIS comprend en particulier un compilateur
transcrivant des contraintes temporelles inscrites dans le code source
dans le formalisme énoncé, et un micronoyau fournissant la partie
"runtime" de l'ordonnancement.

Ces activités de recherche sont menées au sein du Laboratoire
fondements des Systèmes Temps Réel Embarqués (LaSTRE), un laboratoire
du CEA LIST, et en collaboration avec Guy Vidal-Naquet de Supélec.