Conception de systemes distribues temps-reel strict tolerants aux fautes

par PASCAL CHEVOCHOT

Thèse de doctorat en Informatique

Sous la direction de Michel Banâtre.

Soutenue en 1999

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Un systeme temps-reel strict critique est un dispositif, compose de materiels et de logiciels, dont les taches peuvent provoquer des consequences catastrophiques sur le milieu controle si elles depassent leurs echeances. Un tel systeme repose sur un algorithme d'ordonnancement qui determine l'ordre d'execution des taches, et sur un test d'ordonnancabilite qui determine, avant execution, si oui ou non les echeances des taches seront toujours respectees. La conception d'un systeme temps-reel strict et tolerant aux fautes est complexe, car tous les mecanismes pour tolerer les fautes (par exemple le maintien de la redondance des etats d'execution, la detection et le traitement des erreurs) doivent etre pris en compte par l'algorithme d'ordonnancement et le test d'ordonnancabilite du systeme. L'objectif de cette these est la specification et la mise en oeuvre de mecanismes de tolerance aux fautes physiques pour les systemes distribues temps-reel strict critiques. Ces mecanismes doivent permettre de limiter les couts de developpement et les couts en materiel de ces systemes. Pour cela, nous proposons de transformer, avant l'execution d'un systeme, ses taches non tolerantes aux fautes en taches tolerantes aux fautes, en redondant tout ou partie de leurs traitements. Dans les taches ainsi obtenues, la redondance des traitements, et la plupart des mecanismes necessaires pour detecter et traiter les erreurs (par exemple le calcul de consensus) sont exprimes dans le meme modele de taches, ce qui permet de les prendre en compte dans un test d'ordonnancabilite. Les mecanismes restants (par exemple un algorithme de communication fiable) sont integres dans une couche logicielle qui s'appuie sur un systeme d'exploitation sur etagere. Cette methode de transformation des taches, que nous appelons replication hors ligne, est transparente au concepteur d'une application, car elle peut etre entierement automatisee grace a un outil.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 221 p.
  • Annexes : 127 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1999/146
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.