Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/69382
Full metadata record
DC FieldValueLanguage
dc.creatorValério Rosset
dc.creatorPedro F. Souto
dc.creatorFrancisco Vasques
dc.date.accessioned2022-09-08T15:06:51Z-
dc.date.available2022-09-08T15:06:51Z-
dc.date.issued2006
dc.identifier.othersigarra:63970
dc.identifier.urihttps://hdl.handle.net/10216/69382-
dc.description.abstractWe 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.
dc.language.isoeng
dc.relation.ispartof6th European Dependable Computing Conference (EDDC-06)
dc.rightsopenAccess
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0/
dc.subjectEngenharia, Engenharia electrotécnica, electrónica e informática
dc.subjectEngineering, Electrical engineering, Electronic engineering, Information engineering
dc.titleModel-checking a group membership protocol for TDMA-based networks with both static and dynamic scheduling
dc.typeArtigo em Livro de Atas de Conferência Internacional
dc.contributor.uportoFaculdade de Engenharia
dc.subject.fosCiências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
dc.subject.fosEngineering and technology::Electrical engineering, Electronic engineering, Information engineering
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