Techniques algorithmiques pour la fiabilité et la sûreté des systèmes distribués

Abstract

La fiabilité des systèmes est indispensable dans de nombreuses applications. À cet effet, la tolérance aux fautes est une approche largement utilisée dans les systèmes qui requièrent une fiabilité élevée. Son but est de fournir un service malgré la présence de composants fautifs dans le système en fonctionnement. Le problème des Généraux Byzantins est un modèle puissant, car il n'impose aucune contrainte sur le comportement des composants fautifs. Ceux-ci peuvent se comporter de façon arbitraire. Dans ce mémoire, nous allons tout d'abord présenter le problème des généraux Byzantins traditionnel. Ensuite, nous démontrerons que sans ajout de contraintes au modèle initial, l'identification des composants fautifs est impossible. Enfin, nous donnerons les conditions nécessaires pour qu'une telle identification puisse opérer.