Modeling the reliability of a group membership protocol for dual-scheduled time division multiple access networks

Authors:
Valério Rosset;Pedro F. Souto;Paulo Portugal;Francisco Vasques
Affiliations:
Departmento de Engenharia Electrotécnica e de Computadores, Faculdade de Engenharia, Universidade do Porto, Rua Dr. Roberto Frias s/n, 4200-465 Porto, Portugal;Departmento de Engenharia Informática, Faculdade de Engenharia, Universidade do Porto, Rua Dr. Roberto Frias s/n, 4200-465 Porto, Portugal;Departmento de Engenharia Electrotécnica e de Computadores, Faculdade de Engenharia, Universidade do Porto, Rua Dr. Roberto Frias s/n, 4200-465 Porto, Portugal;Departmento de Engenharia Mecínica, Faculdade de Engenharia, Universidade do Porto, Rua Dr. Roberto Frias s/n, 4200-465 Porto, Portugal
Venue:
Computer Standards & Interfaces
Year:
2012

Citing 10
Cited 0

Exploiting Omissive Faults in Synchronous Approximate Agreement

IEEE Transactions on Computers
Bus Architectures for Safety-Critical Embedded Systems

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees

DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture

IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms

DSN '05 Proceedings of the 2005 International Conference on Dependable Systems and Networks
From Set Membership to Group Membership: A Separation of Concerns

IEEE Transactions on Dependable and Secure Computing
Advances in automotive digital communications

Computer Standards & Interfaces
Quantitative Analysis With the Probabilistic Model Checker PRISM

Electronic Notes in Theoretical Computer Science (ENTCS)
Symmetry reduction for probabilistic model checking

CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
A reliability evaluation of a group membership protocol

SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present reliability models for a group membership protocol designed for TDMA networks such as FlexRay, a protocol that is likely to become the de facto standard for next generation automotive networks. The models are based on discrete-time Markov chains and consider a comprehensive set of fault scenarios. Furthermore, they are parametric allowing for a sensitivity analysis. The results, obtained by a numeric solution of the models using the PRISM model-checker, show that they are computationally practical for realistic configurations and that the GMP can achieve reliability levels in the range required for safety critical applications.