Reliability Analysis of Consensus in Cooperative Transport Systems - ASCoMS : Workshop on Architecting Safety in Collaborative Mobile Systems Access content directly
Conference Papers Year :

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.

Keywords

Fichier principal
Vignette du fichier
00010077.pdf (166.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00848076 , version 1 (26-07-2013)

Identifiers

  • HAL Id : hal-00848076 , version 1

Cite

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⟩
197 View
188 Download

Share

Gmail Facebook Twitter LinkedIn More