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

• Tipo: Artigo em Revista Científica Internacional
• Data: 2012

Autores

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

Revista

Título: Computer Standards & Interfaces

Vol. 34 Nº 3

Páginas: 281-291

ISSN: 0920-5489

Editora: Elsevier

Indexação

ISI Web of Knowledge - 5 Citações

ISI Web of Science

Scopus - 6 Citações

INSPEC

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 11