Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/69382
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 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.
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
URI: https://hdl.handle.net/10216/69382
Source: 6th European Dependable Computing Conference (EDDC-06)
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

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


This item is licensed under a Creative Commons License Creative Commons