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

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

Titre traduit

Fault tolerance and distributed real-time executives. Application to the sceptre 2 model

Pas de résumé disponible.