A reliability evaluation of a group membership protocol

• Type: Article in International Conference Proceedings Book
• Date: 2007

Authors

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

Conference proceedings International

Title: COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS

Pages: 397-410

26th International Conference on Computer Safety, Reliability and Security

Nuremberg, GERMANY, SEP 18-21, 2007

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

INSPEC

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-004-CV8

DOI: 10.1007/978-3-540-75101-4_37

Abstract (EN): We present a reliability evaluation of a group membership protocol (GMP), by computing the probability of violating the fault assumptions made in its proof. The evaluation of the reliability of a GMP is of paramount importance because group membership services are often used as building blocks in the design of fault-tolerant applications. The GMP that we consider here has been proposed for dual scheduled TDMA networks such as FlexRay, a protocol that is likely to become the de-facto standard for next generation automotive networks. Our study is carried out by modeling the GMP with discrete-time Markov chains. The models consider different fault scenarios, including permanent, transient and common-mode faults, affecting both channels and nodes. Furthermore we perform a sensitivity analysis to assess the influence of different parameters on the protocol's reliability. The results show 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: 14