Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/69405
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.creator | Valério Rosset | |
dc.creator | Pedro F. Souto | |
dc.creator | Francisco Vasques | |
dc.date.accessioned | 2022-09-11T16:50:45Z | - |
dc.date.available | 2022-09-11T16:50:45Z | - |
dc.date.issued | 2007 | |
dc.identifier.other | sigarra:59507 | |
dc.identifier.uri | https://hdl.handle.net/10216/69405 | - |
dc.description.abstract | The development of safety-critical embedded applications in domains such as automotive or avionics is an exceedingly challenging intellectual task. This task can, however, be significantly simplified through the use of middleware that offers specialized fault-tolerant services. This middleware must provide a high assurance level that it operates correctly. In this paper, we present a formal verification of a protocol for one such service, a Group Membership Service, using model checking. Through this verification we discovered that although the protocol specification is correct, a previously proposed implementation is not. | |
dc.language.iso | eng | |
dc.relation.ispartof | ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS | |
dc.rights | openAccess | |
dc.rights.uri | https://creativecommons.org/licenses/by-nc/4.0/ | |
dc.subject | Ciências da computação e da informação | |
dc.subject | Computer and information sciences | |
dc.title | Formal verification of a group membership protocol using model checking | |
dc.type | Artigo em Livro de Atas de Conferência Internacional | |
dc.contributor.uporto | Faculdade de Engenharia | |
dc.identifier.authenticus | P-004-E3W | |
dc.subject.fos | Ciências exactas e naturais::Ciências da computação e da informação | |
dc.subject.fos | Natural sciences::Computer and information sciences | |
Appears in Collections: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
This item is licensed under a Creative Commons License