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

• Type: Article in International Scientific Journal
• Date: 2012

Authors

Valério Rosset (Author) Other; Pedro F. Souto (Author) FEUP; Paulo Portugal (Author) FEUP; Francisco Vasques (Author) FEUP

Journal

Title: Computer Standards & Interfaces

Vol. 34 No. 3

Pages: 281-291

ISSN: 0920-5489

Publisher: Elsevier

Indexing

ISI Web of Knowledge - 5 Citations

ISI Web of Science

Scopus - 6 Citations

INSPEC

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-002-CJB

DOI: 10.1016/j.csi.2011.10.004

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 11