Please use this identifier to cite or link to this item:
Author(s): Valério Rosset
Pedro F. Souto
Francisco Vasques
Title: Model-checking a group membership protocol for TDMA-based networks with both static and dynamic scheduling
Issue Date: 2006
Abstract: We report ongoing work on a group membership protocolspecially designed to take advantage of the support of bothstatic and dynamic scheduling in new TDMA-based protocolsbeing proposed for safety critical applications, suchas Flex-Ray. In contrast with previous group membershipprotocols for TDMA-based networks, ours does not requirethe pre-allocation of group membership traffic in every cycle.Currently we are working on the formal verification ofits correctness using the UPPAAL model checker. This willprovide a higher assurance of correctness of the protocol,which is of foremost importance in safety critical applications.
Subject: Engenharia, Engenharia electrotécnica, electrónica e informática
Engineering, Electrical engineering, Electronic engineering, Information engineering
Scientific areas: Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
Source: 6th European Dependable Computing Conference (EDDC-06)
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: openAccess
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
63970.pdf54.1 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons