ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 22/5 - 2003  - pp.651-677  - doi:10.3166/tsi.22.651-677
TITRE
Calcul de majorants de pire temps d'exécution : état de l'art

RÉSUMÉ
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.


ABSTRACT
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.


AUTEUR(S)
Antoine COLIN, Isabelle PUAUT, Christine ROCHANGE, Pascal SAINRAT

Reçu le 2 mai 2002.    Accepté le 17 février 2003.

MOTS-CLÉS
systèmes temps-réel, WCET, analyse statique, simulation, architecture des proces seurs.

KEYWORDS
real-time systems, WCET, static analysis, simulation, processor architecture.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (267 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier