Placement statique de taches dans un calculateur temps reel tolerant les fautes

par Jean-Louis Lanet

Thèse de doctorat en Sciences appliquées

Sous la direction de Claude Girault.

Soutenue en 1995

à Paris 6 .

    mots clés mots clés


  • Résumé

    Nous avons aborde dans cette these le probleme de l'allocation statique de taches dans un systeme reparti temps reel lorsque les taches sont soumises a des contraintes de precedence. Apres une presentation du processus physique a controler, nous faisons un etat de l'art des methodes de placement et d'ordonnancement. Parmi celles-ci les methodes approchees et particulierement les algorithme de listes sont un bon compromis entre la qualite de la solution et la rapidite d'execution. Le critere d'optimisation retenu est l'equilibrage de charge. Ce critere permet d'egaliser les temps creux du processeur qui peuvent etre mis a profit pour executer des tests du materiel ou executer les procedures de reconfiguration. Le choix d'un critere de selection de tache depend des caracteristiques du graphe comme la charge, la laxite et aussi de l'importance des contraintes de placements. Ces dernieres sont liees aux ressources en nombre limite dans le calculateur et aux exclusions entre les differents replicats d'une tache. Nous avons developpe un algorithme de liste ldl d'une complexite de o(n#2) base sur deux criteres: la laxite dynamique et le degre de liberte d'une tache. Nous l'avons compare a l'aide de simulation a d'autres politiques de placement en terme de taux de reussite, de qualite de solution et de stabilite. Une amelioration de notre algorithme est obtenue par un placement separe des taches non liees par des contraintes de precedence. Ce placement est realise a l'aide d'un algorithme de mise en sac de type best fit

  • Titre traduit

    Static task allocation in a fault tolerant real time system for a turbo engine control


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 141 P.
  • Annexes : 73 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1995 642
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.