Abstract FR:

Les fautes qui peuvent entrainer le dysfonctionnement d'un systeme reparti sont classees, selon leurs effets, en des fautes de processus (causant la corruption d'algorithmes) et des fautes systemiques (causant la corruption de donnees). Cette classification obtenue, nous definissons un modele formel et precis pour representer les executions d'un algorithme reparti en presence de fautes de processus et/ou fautes systemiques. Ce modele est ensuite utilise pour verifier des proprietes de resistance aux fautes de nos algorithmes. Dans une premiere partie, nous nous interessons a des algorithmes auto-stabilisants qui restituent automatiquement le comportement correct du systeme apres une faute systemique. Nos deux algorithmes auto-stabilisants (le premier probabiliste et le second deterministe) illustrent ce nouveau paradigme de programmation. Dans une seconde partie, nous nous focalisons sur des algorithmes simultanement tolerants aux fautes de processus et auto-stabilisants (k-ftss) qui, malgre la presence de jusqu'a k processus en faute et en l'absence de nouvelles fautes systemiques, garantissent que les processus corrects (i) atteignent le comportement correct a partir d'un etat quelconque et (ii) maintiennent alors le comportement correct. Nous demontrons tout d'abord un resultat d'impossibilite important pour des algorithmes k-ftss ; ce resultat nous permet de verifier si un probleme est resoluble de maniere k-ftss ou non. Ensuite, nous prouvons plusieurs solutions k-ftss deterministes et probabilistes a des problemes k-ftss-solubles. En fin, nous explorons des hypotheses qui permettent de resoudre de maniere k-ftss un probleme qui n'est pas autrement k-ftss-soluble.