Le consensus vectoriel : une nouvelle spécification du problème du consensus dans un modèle byzantin

Le concept de détecteur de défaillances a été défini par Chandra et Toueg afin de résoudre le problème du consensus dans un environnement asynchrone avec pannes franches. Dans ce travail, nous présentons une extension de ce concept afin de traiter des défaillances plus générales, dites défaillances byzantines. Nous discutons également les limitations de la spécification du consensus en présence de défaillances byzantines et proposons pour lever ces limitations la spécification d'un nouveau problème, appelé Consensus vectoriel. L'algorithme proposé pour résoudre le consensus vectoriel est un algorithme avec signature de messages. Il se base sur le paradigme du coordinateur tournant et sur celui du détecteur de défaillances. L'algorithme nécessite  processus corrects et des canaux FIFO fiables.