Reliability Analysis of Consensus in Cooperative Transport Systems
Abstract
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.
Domains
Embedded Systems
Origin : Files produced by the author(s)
Loading...