Abstract FR:

Cette these est une contribution a la realisation de systemes repartis fiables. Nous proposons une nouvelle methode qui se presente comme une alternative aux techniques classiques de tolerance aux pannes basees sur la redondance. Notre methode s'appuie sur deux principes: la regeneration dynamique et le decoupage fonctionnel. La regeneration dynamique consiste a creer dynamiquement des instances d'entites sur detection de defaillance d'une entite deja existante. L'application de ce principe dans une technique de tolerance aux pannes necessite une homogeneisation des entites cooperantes. Les systemes classiques etant heterogenes, nous proposons un decoupage fonctionnel qui permet d'homogeneiser toute architecture definie sur une chaine de communication. La regeneration dynamique est mise en uvre par un algorithme que nous modelisons a l'aide de systemes de transitions. La methode de preuve assertionnelle est utilisee pour etablir de facon formelle la preuve de l'algorithme dans un environnement fiable. Une modelisation en estelle de l'algorithme est egalement proposee. Des simulations sont realisees a partir du model estelle obtenu. Ces simulations ont permis de determiner les valeurs ideales des parametres (delais de temporisation, nombre de reemissions de messages) de l'algorithme en fonction du taux de defaillances et de perte de messages de l'environnement. Enfin, nous montrons l'interet de l'algorithme pour optimiser le controle de bout en bout des informations echangees. Nous proposons un protocole qui repartit le controle sur chacune des entites, offrant ainsi une plus grande efficacite en cas de pannes