Transposition automatique des algorithmes sur des systemes distribués et dynamiques

Abstract

Le concepte d'auto-stabilisation a été introduit en 1974 par E.G. Dijkstra. Un systeme reparti est defini comme auto-stabilisant s'il se comporte selon sa specification au bout d'un temps fini quelque soit sa configuration initiale. Par cette proprieté, les algorithmes auto-stabilisants tolérent tout nombre fini de defaillances transitoires. Puisque la conception et la preuve d'algorithmes auto-stabilisation, certais modeles d'auto-stabilisation automatique(transformateurs) ont été proposés dans la litterature afin d'ajouter la proprieté d'auto-stabilisation aux algorithmes répartis. Dans ce travail, nous avons propose aussi un algorithme reparti aoto-stabilisant pour le maintien de la topologie dans les systemes dynamiques. Cet algorithme est utilisé pour concevoir un transformateur qui transpose une classe d'algorithmes séquentiels en algorithmes repartis auto-stabilisants et dynamiques.