Please use this identifier to cite or link to this item: http://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 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
URI: http://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