Calcul de majorants de pire temps d'exécution : état de l'art
La particularité des systèmes temps-réel strict est de devoir respecter de manière impérative des contraintes temporelles, qui sont le plus souvent des échéances de terminaison au plus tard. Dans de tels systèmes, il est courant d'utiliser des méthodes d'analyse d'ordonnancement, qui à partir de l'ensemble des tâches du système, déterminent si les échéances seront ou non respectées. La plupart de ces méthodes reposent sur la connaissance d'une borne supérieure du temps d'exécution de chaque tâche du système, nommée WCET pour Worst-Case Execution Time. Cet article propose une synthèse des travaux effectués dans le domaine du calcul du WCET.
The main characteristic of hard real-time systems is that they must guarantee a correct timing behaviour. Each hard real-time task has a deadline to meet, otherwise the real-time system fails and the failure can have catastrophic consequences. Schedulability analysis methods are commonly used in hard real-time systems to check whether or not all tasks deadlines will be met. Most of them rely on the knowledge of an upper bound on the computation time of every task, named WCET, for Worst-Case Execution Time. This paper gives an overview of the methods used to compute WCETs.
A.COLIN, I.PUAUT, C.ROCHANGE, P.SAINRAT
Reçu le 2 mai 2002.
Accepté le 17 février 2003.
systèmes temps-réel, WCET, analyse statique, simulation, architecture des proces seurs.
real-time systems, WCET, static analysis, simulation, processor architecture.
Français
|
