Model-checking a group membership protocol for TDMA-based networks with both static and dynamic scheduling

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

Authors

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

Conference proceedings International

Title: 6th European Dependable Computing Conference (EDDC-06)

6th European Dependable Computing Conference (EDDC-06)

Coimbra, Portugal, October 18-20, 2006

Indexing

ISI Proceedings

ISI Web of Science

Scopus

COMPENDEX

INSPEC

Scientific classification

FOS: Engineering and technology > Electrical engineering, Electronic engineering, Information engineering

CORDIS: Technological sciences > Engineering

Other information

Authenticus ID: P-011-528

Abstract (EN): We report ongoing work on a group membership protocol specially designed to take advantage of the support of both static and dynamic scheduling in new TDMA-based protocols being proposed for safety critical applications, such as Flex-Ray. In contrast with previous group membership protocols for TDMA-based networks, ours does not require the pre-allocation of group membership traffic in every cycle. Currently we are working on the formal verification of its correctness using the UPPAAL model checker. This will provide a higher assurance of correctness of the protocol, which is of foremost importance in safety critical applications.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 2