Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs

Résumé : Deux techniques sont utilisées pour vérifier que des tâches temps réel respectent bien leurs échéances temporelles : les tests d'ordonnançabilité qui renvoient un résultat binaire (ordonnançable ou non) et les calculs de temps de réponse (Response Time Analysis - RTA) qui déterminent la longueur du plus long intervalle de temps entre le réveil et la terminaison d'une tâche. Ces deux approches ont une complexité pseudo-polynomiale et notons qu'aucun algorithme polynomial n'est connu. Dans ce contexte, elles ne sont pas particulièrement appropriées pour la conception intéractive des systèmes temps réel ou pour analyser des systèmes distribués à l'aide d'une analyse holistique. Dans de tels scénarios, un algorithme pseudo-polynomial est lent, puisque les calculs des temps de réponse des tâches sont exécutées à de nombreuses reprises. De plus, pour certains systèmes temps réels, tels que dans les systèmes de contrôle-commande, il est nécessaire de connaître le pire temps de réponse des tâches et non seulement la décision binaire sur l'ordonnançabilité des tâches. Dans ce contexte, il peut être acceptable d'utiliser un algorithme plus rapide qui fournit une analyse approchée au lieu d'utiliser des analyses reposant sur des calculs exacts. Comme cette approximation va introduire du pessimisme dans le processus de décision, il est souhaitable de le quantifier d'une manière à définir un compromis entre le temps de calcul et l'exigence de ressource du processeur. C'est la raison pour laquelle, dans ce travail, nous proposons des algorithmes pour calculer efficacement des bornes supérieures des pires temps de réponse et nous présentons des résultats sur leurs qualités dans le pire cas (analyse de compétitivité avec augmentation de ressource) et en moyenne (simulations).
Type de document :
Thèse
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00554265
Contributeur : Bénédicte Carouge <>
Soumis le : lundi 10 janvier 2011 - 15:32:43
Dernière modification le : mercredi 5 septembre 2018 - 13:30:06
Document(s) archivé(s) le : lundi 11 avril 2011 - 16:17:30

Identifiants

  • HAL Id : tel-00554265, version 1

Collections

Citation

Thi Huyen Chau Nguyen. Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs. Sciences de l'ingénieur [physics]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2010. Français. ⟨tel-00554265⟩

Partager

Métriques

Consultations de la notice

253

Téléchargements de fichiers

2149