Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne

par Laurent David

Thèse de doctorat en Informatique

Sous la direction de Francis Cottet.


  • Résumé

    Dans le contexte des applications temps réel à contraintes strictes, les méthodes d'ordonnancement en ligne permettent d'obtenir des séquences d'exécution des tâches, dans lesquelles les échéances et les précédences sont respectées. En revanche, elles ne permettent pas explicitement le respect de la régularité d'exécution de certaines tâches, provoquant alors l'apparition du phénomène de gigue. Au travers d'un choix particulier des paramètres temporels des tâches, nous proposons une technique de maîtrise de la gigue utilisant les algorithmes d'ordonnancement basés sur l'échéance (DM, EDF). La technique présentée est en outre compatible avec des contextes d'utilisation variés (partage de ressources, temps de réponse maîtrisé, etc. ). Un volet applicatif vient compléter cette étude théorique au travers l'étude de l'ordonnancement d'une application de contrôle d'un pendule inversé.

  • Titre traduit

    ˜An œapproach to task jitter control of hard real time applications with an on line scheduling strategy


  • Résumé

    Timing requirements of real time systems may impose not only direct constraints, such as deadlines and precedences, but also indirect timing constraints such as execution regularities between task instances. Classical on line scheduling policies can only deal with deadline and indirectly with precedence. In this context, this work presents a technique which permits to control not only these constraints, but also the execution irregularities, namely, the jitter. The technique is based on the modification of task temporal parameters in deadline based scheduling algorithm context (DM or EDF). The technique presents a way either to remove jitter completely or to bound jitter releases. Moreover, the approach takes into account temporal dependencies of tasks on one another. Several execution contexts are also scrutinized (shared resources, response time control, etc. ). Finally, the technique is used to schedule a genuine real time application: the control of an inverted pendulum.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 222 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 87 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Poitiers. Service commun de la documentation. Section Sciences, Techniques et Sport.
  • Non disponible pour le PEB
  • Cote : 02/POIT/2322-A
  • Bibliothèque : Université de Poitiers. Service commun de la documentation. Section Sciences, Techniques et Sport.
  • Disponible pour le PEB
  • Cote : 02/POIT/2322-B
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-675
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.