Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/18102
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Machado, José Mendes | - |
dc.contributor.author | Denis, Bruno | - |
dc.contributor.author | Lesage, Jean-Jacques | - |
dc.contributor.author | Faure, Jean-Marc | - |
dc.contributor.author | Silva, Jaime F. da | - |
dc.date.accessioned | 2012-03-26T15:06:26Z | - |
dc.date.available | 2012-03-26T15:06:26Z | - |
dc.date.issued | 2004 | - |
dc.identifier.citation | ABCM Symposium Series in Mechatronics | - |
dc.identifier.isbn | 85-857699-20-3 | - |
dc.identifier.uri | https://hdl.handle.net/1822/18102 | - |
dc.description.abstract | More extensive work on formal methods is now available for checking PLC (Programmable Logic Controller) programs. To verify a PLC program, it is necessary to consider a set of properties to prove and one of the most interesting problems that the designers must deal is to deduce a set of properties that traduces all the safety requirements of the system behavior. In this paper, we explore the contribution of such a plant model within the context of deduction, in a systematized way, of a set of properties to prove, verifying the PLC program. Our study is primarily experimental in nature and based on a case study. A set of properties to be checked based on detailed plant model is proposed. We then analyze how a Symbolic Model-Checking tool (the NuSMV has been selected) ensures verification of these properties either with or without the considered plant model. | - |
dc.language.iso | por | por |
dc.publisher | Associação Brasileira de Engenharia e Ciências Mecânicas (ABCM) | por |
dc.rights | openAccess | por |
dc.subject | Discrete event systems | por |
dc.subject | Plant model | por |
dc.subject | Formal verification | por |
dc.subject | Model-checking | por |
dc.title | Model of mechanism behavior for verification of PLC programs | por |
dc.type | conferencePaper | - |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 550 | por |
oaire.citationEndPage | 559 | por |
oaire.citationIssue | 1 | por |
oaire.citationVolume | 1 | por |
dc.date.updated | 2011-12-09T15:35:15Z | - |
Aparece nas coleções: | DEM - Artigos em revistas de circulação internacional com arbitragem científica |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
SSM_IV_06.pdf | 272,38 kB | Adobe PDF | Ver/Abrir |