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 |
This item is licensed under a Creative Commons License
