Saturation et vote pour la tolérance aux fautes dans les systèmes répartis

• Auteur / Autrice : Mourad Allia
• Direction : Jean-Claude Laprie
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1990
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Tolérance (technologie)

Fiabilité

Codes correcteurs d'erreurs (théorie de l'information)

Traitement réparti

Mots clés libres

Sciences appliquées

Informatique, automatique théorique, systèmes

Sûreté de fonctionnement informatique

Tolérance aux fautes

Systèmes répartis

Ordonnancement des tâches

Vote majoritaire

Spécification formelle(Estelle)

Validation par simulation(Veda)

évaluation(modèles de Markov)

Résumé

Cette thèse présente une technique originale pour améliorer la sûreté de fonctionnement dans les systèmes repartis: la saturation. La saturation est une technique permettant d'améliorer la tolérance aux fautes matérielles dans un réseau local de stations de travail. Cette technique est basée sur l'augmentation de la redondance des taches par l'utilisation des stations inactives pour d'une part, accroître le nombre de fautes tolérées et d'autre part révéler plus efficacement les fautes dormantes. La tolérance aux fautes est obtenue par vote majoritaire sur les messages issus des différents exemplaires des taches. Notre étude a conduit à la conception d'un algorithme reparti d'ordonnancement et de vote permettant la mise en oeuvre de cette technique. L’algorithme que nous avons défini a été formellement spécifie en Estelle et valide par simulation. Nous montrons enfin par une évaluation de la fiabilité basée sur un modèle markovien que cette technique originale permet d'améliorer sensiblement la sûreté de fonctionnement. La thèse détaille successivement, le principe de saturation, la définition fonctionnelle de l'algorithme reparti, sa spécification formelle en Estelle, sa validation en l'absence et en présence de fautes et l'évaluation de la sûreté de fonctionnement