Tolerance aux fautes et executifs temps-reel repartis. Application au modele sceptre 2

par SORAYA BESTAOUI

Thèse de doctorat en Sciences appliquées

Sous la direction de J.-P. ELLOY.

Soutenue en 1994

à Nantes .

    mots clés mots clés


  • Résumé

    Le travail decrit dans le memoire de these presente l'integration d'une technique de tolerance aux fautes dans un modele d'executif temps reel reparti conformement au projet sceptre 2 developpe dans le cadre de l'appel d'offres strin (solutions temps reel pour l'industrie). Le chapitre 1 presente l'analyse bibliographique de quelques systemes d'exploitation, en l'occurence chorus, mach, alpha et delta 4, pour lesquels nous nous sommes interesses a la mise en uvre de la surete de fonctionnement. Notre interet s'est particulierement porte sur les methodes de tolerance aux fautes choisies par ces systemes. Le chapitre 2 quant a lui introduit les caracteristiques essentielles de la proposition sceptre 2. Le chapitre 3 fixe les hypotheses utilisees pour la mise en uvre de la replication semi-active des capsules sceptre 2, technique de tolerance aux fautes empruntee a delta 4. Ces hypotheses concernent les fautes et modes de defaillance considere pour les capsules et le systeme de communication. En outre, nous montrons dans ce chapitre les principes de la mise en uvre de la redondance semi-active. Le chapitre 4 presente alors les algorithmes et les structures de donnees necessaires a la gestion d'une telle replication. Il formalise donc les techniques presentees dans le chapitre precedent dans un contexte de fonctionnement exempt d'erreurs. Le chapitre 5 complete cette etude en s'interessant aux mecanismes de traitement des erreurs associes a notre modele de replication. Ceux-ci concernent dans un premier temps la detection des erreurs. Le recouvrement des erreurs est ensuite aborde. La mise en uvre de ces differents mecanismes de traitement d'erreurs conduit a nouveau a enrichir et completer les structures de donnees et les algorithmes presentes au chapitre precedents. Ils sont presentes aussi bien dans le chapitre 5 que dans les annexes 1, 2 et 3


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 198 P.
  • Annexes : 61 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1501 bis
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1501
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 94 NANT 2069
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 94 NANT 2069
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.