Abstract FR:

Avec l'emergence des reseaux (informatiques, telephoniques et autres), de nouveaux problemes ont fait leur apparition. Les systemes repartis ont ete concus pour les resoudre. Quand ils sont sujets a des defaillances qui modifient le contenu des memoires de leurs divers composants, il est important que ces systemes puissent retrouver au plus vite un etat normal (c'est a dire converger). Les algorithmes auto-stabilisants offrent une telle garantie. Malheureusement, l'auto-stabilisation ne donne aucune assurance quant au temps qui s'ecoule entre la perturbation du systeme et la convergence. En particulier, il peut etre arbitrairement long. De plus, il est egalement possible qu'une defaillance partielle du reseau se propage a l'ensemble du systeme, colportant ainsi une erreur. D'ou l'emergence de nouveaux concepts proches de l'auto-stabilisation qui, tout en assurant la convergence vers un etat normal, proposent en plus une qualite de service. Nous les avons appele les raffinements de l'auto-stabilisation. Dans cette these, nous nous sommes attaches a presenter formellement differents raffinement de l'auto-stabilisation et a les illustrer par des exemples. La stabilisation proportionnelle assure que le temps qui s'ecoule entre la fin des defaillances et la convergence est proportionnel au nombre effectif de defaillances frappant le systeme. La k-stabilisation permet un retour a la normale a condition qu'une partie seulement du systeme soit defaillante. La stabilisation k-proportionnelle combine les deux approches : elle permet un retour a la normal a condition qu'une partie seulement du systeme soit defaillante, ce retour se faisant alors en un temps proportionnel au nombre effectif de fautes ; enfin, la stabilisation anti-corruption permet un retour vers un etat correct sans que les elements corrompus du reseau diffusent leur fausses informations vers les elements non corrompus.