Estimation de la couverture de systèmes tolérants aux fautes

Estimation of the coverage of fault tolerant systems

• Auteur / Autrice : Michel Cukier
• Direction : David Powell
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1996
• Etablissement(s) : Toulouse, INPT

Mots clés

Mots clés contrôlés

Informatique

Ordinateurs -- Fiabilité

Tolérance aux fautes (informatique)

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

Résumé

Les travaux presentes dans ce memoire concernent l'estimation de la couverture de systemes tolerants aux fautes. La couverture est estimee a partir de traitements statistiques de resultats d'experiences d'injection de fautes. Le sondage simple et le sondage stratifie sont successivement etudies. En ce qui concerne l'approche frequentiste, on montre que l'approximation usuelle due au theoreme limite central n'est pas valide pour des estimations de hautes couvertures. La theorie des regions de confiance, necessaire pour les estimations exactes dans le cas de sondages stratifies, est formalisee et appliquee aux experiences d'injections de fautes. L'on aboutit alors a un probleme d'optimisation multidimensionnel sous contraintes. En ce qui concerne l'approche bayesienne, on calcule la distribution a posteriori exacte de la couverture globale pour des echantillons partitionnes composes de peu de strates. Une methode, basee sur le calcul des moments des distributions a posteriori des couvertures dans chaque strate, permet d'obtenir les quatre premiers moments de la distribution a posteriori de la couverture globale. L'ensemble de ces outils statistiques est applique a trois exemples de systemes tolerants aux fautes, representant des cas limites sollicitant fortement les methodes d'estimation. La comparaison des resultats obtenus permet de guider le choix d'une methode d'estimation en fonction du type de systeme tolerant aux fautes et des caracteristiques de la campagne d'injection de fautes. La dependance temporelle de la couverture est aussi etudiee. D'une part, un modele markovien de mecanisme de detection d'erreur est presente ou la couverture est fonction du temps. D'autre part, nous proposons une methode pour estimer certains parametres de ce modele a partir des resultats temporels d'une campagne d'injection de fautes. Cette methode tient compte de l'inevitable phenomene de troncature des observations