Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/905
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Ribeiro, Óscar R. | - |
dc.contributor.author | Fernandes, João M. | - |
dc.contributor.author | Pinto, Luís F. | - |
dc.date.accessioned | 2005-03-07T14:46:41Z | - |
dc.date.available | 2005-03-07T14:46:41Z | - |
dc.date.issued | 2005-04 | - |
dc.identifier.isbn | 0769523080 | por |
dc.identifier.uri | https://hdl.handle.net/1822/905 | - |
dc.description | Comunicação apresentada ao IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005), 12, Washington, 2005. | eng |
dc.description.abstract | The design process for embedded systems can benefit from the usage of formal methods, if some properties of the systems are checked, before design and implementation decisions are accomplished. This paper presents a model checking approach using the Spin tool, to verify some important properties of embedded systems, namely liveness, deadlock-freedom, and structural conflicts among transitions. The systems are modelled with a variant of Petri Nets, called SIPN (Synchronous and Interpreted Petri Nets), and this paper discusses how SIPN models should be specified with the PROMELA language (input format for the Spin model checker). The approach is exemplified with a case study. | eng |
dc.description.sponsorship | Projecto METHODES (contract ref. POSI/2001/CHS/37334; STACOS (contract ref. POSI/CHS/48875/2002. | por |
dc.language.iso | eng | - |
dc.publisher | IEEE | eng |
dc.rights | openAccess | eng |
dc.title | Model checking embedded systems with PROMELA | eng |
dc.type | conferencePaper | eng |
dc.peerreviewed | yes | eng |
oaire.citationStartPage | 378 | por |
oaire.citationEndPage | 385 | por |
dc.subject.wos | Science & Technology | por |
sdum.bookTitle | 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS | por |
Aparece nas coleções: | DMA - Comunicações |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2005-ECBS-Ribeiro.pdf | 269,59 kB | Adobe PDF | Ver/Abrir |