Reliability Analysis of Consensus in Cooperative Transport SystemsReport as inadecuate




Reliability Analysis of Consensus in Cooperative Transport Systems - Download this document for free, or read online. Document in PDF available to download.

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

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.

keyword : Safety Embedded systems





Author: Emilia Villani - Negin Fathollahnejad - Risat Pathan - Raul Barbosa - Johan Karlsson -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents