Ordonnancement sous contraintes de précédence dans les systèmes temps-réel

par Toumi Bouchentouf

Thèse de doctorat en Sciences de l'ingénieur. Automatique et informatique appliquée

Sous la direction de Houssine Chetto.

Soutenue en 1991

à Nantes en cotutelle avec Nantes, Ecole centrale de Nantes .


  • Résumé

    Dans les applications qualifiées de temps-réel à contraintes strictes, le système informatique doit exécuter des programmes séquentiels appelés tâches en respectant des échéances ainsi que des contraintes de précédence. L'objectif de l'ordonnanceur consiste alors à gérer l'accès au(x) processeur(s) dans le but de satisfaire toutes les contraintes. Cette thèse expose d'abord l'ensemble des résultats disponibles actuellement dans le domaine de l'ordonnancement statique de tâches périodiques d'une part et apériodiques d'autre part, soumises à des contraintes de précédence, et ce pour des systèmes monoprocesseur et multiprocesseur. Les problèmes sont ainsi répertoriés dans la classe P des problèmes polynomiaux ou dans la classe NP-complet des problèmes intraitables. Pour chacun d'eux, on présente l'algorithme de résolution, lorsque celui-ci existe, en précisant sa complexité. Si effectivement bon nombre de systèmes actuels sont statiques, ceux dits de nouvelle génération sont dynamiques et soulèvent de nouveaux problèmes liés à l'acceptation en ligne de tâches supplémentaires. On propose un algorithme d'ordonnancement dédié aux systèmes temps-réel dynamiques dans le cas d'une configuration monoprocesseur. Celle-ci est supposée exécuter des tâches périodiques aux caractéristiques connues et doit faire face en outre à l'occurrence imprévue de tâches sporadiques soumises à des contraintes de précédence. Un test d'acceptation optimal s'exécutant en temps polynomial est décrit, basé sur une modification des paramètres temporels des tâches et l'utilisation de l'algorithme d'ordonnancement préemptif Earliest Deadline


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (264 p.)
  • Annexes : Bibliogr. (225 réf.). Glossaire

Où se trouve cette thèse ?

  • Bibliothèque : Université Savoie Mont Blanc (Annecy-le-Vieux). Bibliothèque de Polytech'Annecy-Chambéry, site d'Annecy.
  • Disponible pour le PEB
  • Cote : T P1991/77
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1415 bis
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1415
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 91 NANT 2077
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 91 NANT 2077
  • 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-231
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.