Abstract FR:

Le but de cette thèse concernait l'application des problèmes d'accord au domaine de la tolérance aux défaillances dans les systèmes distribués asynchrones. Pour cela, nous avons tout d'abord exploré de nombreuses voies théoriques concernant le plus fondamental des problèmes d'accord, à savoir le problème du consensus. Cela nous a permis d'établir une hiérarchie des problèmes distribués reposant sur la difficulté à les résoudre en présence de pannes. Puis nous avons mis au point un algorithme probabiliste et général pour le problème du consensus. Cela nous a permis de concevoir une plateforme de tolérance aux défaillances reposant sur deux librairies. D'une part une librairie appelée Eva et conçu de façon à faciliter le développement d'applications distribuées, et d'autre part une librairie appelée Adam reposant sur la première librairie et qui fournit un ensemble de fonctionnalités pour la mise au point de services dupliqués et tolérants les pannes.