Reliability Analysis of Consensus in Cooperative Transport SystemsReportar como inadecuado

Reliability Analysis of Consensus in Cooperative Transport Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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

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



Documentos relacionados