Recherche Avancée

Thèse soutenue

Validation de la sûreté de fonctionnement par injection de fautes : méthode, mise en oeuvre, application

FR
Auteur / Autrice : Jean Arlat
Direction : Jean-Claude Laprie
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1990
Etablissement(s) : Toulouse, INPT

Résumé

FR

Ce memoire presente des travaux et des resultats, aussi bien theoriques que pratiques, concernant l'utilisation de l'injection de fautes en tant que moyen de test de la tolerance aux fautes dans le cadre de la validation experimentale de la surete de fonctionnement des systemes informatiques. Le memoire expose tout d'abord une synthese des travaux sur l'injection de fautes, tant au niveau du materiel (simulation de fautes, injection physique) qu'au niveau du logiciel (test de mutation). Les principaux attributs de l'injection de fautes (les fautes et leur activation, les releves et mesures d'experience) sont ensuite caracterises en tenant compte: a) des niveaux d'abstraction utilises pour la representation du systeme au cours de son developpement (modeles analytique, empirique, physique), et; b) des objectifs de la validation (verification et evaluation). On propose ensuite une methode d'evaluation de la surete de fonctionnement combinant les approches de modelisation analytique (simulations monte carlo, expressions analytiques, chaines de markov) pour la representation du processus d'occurrence de fautes et les approches experimentales d'injection de fautes (simulation de fautes et injection physique) pour la caracterisation du processus de traitement des fautes et des erreurs assure par les mecanismes de tolerance aux fautes. Ces travaux sont concretises par la definition et la presentation d'un outil experimental messaline permettant d'injecter des fautes physiques sur un prototype materiel et logiciel du syteme a valider. Enfin, l'application de messaline a deux systemes tolerant les fautes presentant des caracteristiques fort dissemblables et l'exploitation des resultats experimentaux obtenus tant sur le plan des retours de conception que sur le plan de l'evaluation de mesures de la surete de fonctionnement montrent l'interet de cette methode