Reliability Analysis of Consensus in Cooperative Transport Systems

Emilia Villani (1) , Negin Fathollahnejad (2) , Risat Pathan (2) , Raul Barbosa (3) , Johan Karlsson (2)

1 ITA - Instituto Tecnologico de Aeronautica
2 CSE - Department of Computer Science and Engineering [Göteborg]
3 DEI - Departamento de Engenharia Informática / Department of Informatics Engineering

Our work is concerned with the reliability analysis of a 1-of-n selection algorithm with the aim of solving the problem of reaching to an agreement among n processes in presence of unrestricted communication failures. We show the use of probabilistic model checking as a technique to calculate the probability of reaching to an outcome (e.g., disagreement). We describe how we used PRISM model checker to build and verify a model of a 1-of-n selection algorithm. We also discuss how the performance of PRISM scales for di erent number of processes and rounds.

Mots clés: Safety; Embedded systems

Domaines: Systèmes embarqués

Emilia Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson. Reliability Analysis of Consensus in Cooperative Transport Systems. SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848076⟩