Analyse, Validation et Simulation d'un Nouvel Algorithme de Consensus
Abstract
Ce rapport se concentre sur l'étude d'une solution algorithmique liée au problème du consensus, à savoir sa complexité, ses propriétés temporelles et sa validation en environnement simulé. En effet, lors d'un précédent projet du nom d'ATR (Accord Temps Réel ), la société AXLOG Ingénierie, en collaboration avec des laboratoires de recherche, s'est penchée sur la validation d'un algorithme de diffusion atomique. Les résultats de cette dernière étant forts encourageants, AXLOG décida de poursuivre son effort sur un autre problème d'algorithmique distribuée, le consensus, en collaboration avec M. Gérard Le Lann de l'INRIA. Il s'agira pour nous de proposer les solutions " les meilleures " à des problèmes ayant des contraintes différentes (en coûts, performance, sûreté de fonctionnement). Ainsi pour une première implantation qui aura pour cible des satellites, nous étudierons une solution essentiellement " hardware " afin de garantir de meilleures performances. || This report focuses on the latest consensus algorithm, its complexity, its temporal properties, and its validation under an simulated environment. Indeed, in a former project named ATR, AXLOG Ingénierie, associated with some research laboratories, deals w