Publication
Reliability Analysis of Consensus in Cooperative Transport Systems
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 dierent number of processes and rounds.
Research area
Systems for accident prevention and AD
Publication type
Conference paper
Published in
Proceedings of the 2nd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS 2013), September 2013, Toulouse
Project
KARYON - Kernel-Based ARchitecture for safetY-critical cONtrol (associated project)
Year of publication
2013