Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/38854
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Campos, J. Creissac | por |
dc.contributor.author | Machado, José | por |
dc.contributor.author | Seabra, Eurico | por |
dc.date.accessioned | 2015-12-10T12:45:14Z | - |
dc.date.available | 2015-12-10T12:45:14Z | - |
dc.date.issued | 2008 | - |
dc.identifier.isbn | 978-1-1234-7890-2 | - |
dc.identifier.uri | https://hdl.handle.net/1822/38854 | - |
dc.description.abstract | In recent years, several approaches to the analysis of automation systems dependability through the application of formal verification techniques have been proposed. Much of the research has been concerned with the modelling languages used, and how best to express the automation systems, so that automated verification might be possible. Less attention, however, has been devoted to the process of writing properties that accurately capture the requirements that need verification. This is however a crucial aspect of the verification process. Writing appropriate properties, in a logic suitable for verification, is a skilful process, and indeed there have been reports of properties being wrongly expressed. In this paper we put forward a tool and a collection of property patterns that aim at providing help in this area. | por |
dc.language.iso | eng | por |
dc.rights | openAccess | por |
dc.subject | Analysis of reliability and safety | por |
dc.subject | Methodologies and tools for analysis of complexity | por |
dc.subject | Modelling | por |
dc.title | Property patterns for the formal verification of automated production systems | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 5107 | por |
oaire.citationEndPage | 5112 | por |
oaire.citationConferencePlace | Seoul, Korea | por |
oaire.citationTitle | 17th World Congress The International Federation of Automatic Control | por |
dc.publisher.uri | IFAC | por |
dc.identifier.doi | 10.3182/20080706-5-KR-1001.4192 | por |
sdum.conferencePublication | 17th World Congress The International Federation of Automatic Control | por |
Aparece nas coleções: |