Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/18102

Registo completo
Campo DCValorIdioma
dc.contributor.authorMachado, José Mendes-
dc.contributor.authorDenis, Bruno-
dc.contributor.authorLesage, Jean-Jacques-
dc.contributor.authorFaure, Jean-Marc-
dc.contributor.authorSilva, Jaime F. da-
dc.date.accessioned2012-03-26T15:06:26Z-
dc.date.available2012-03-26T15:06:26Z-
dc.date.issued2004-
dc.identifier.citationABCM Symposium Series in Mechatronics-
dc.identifier.isbn85-857699-20-3-
dc.identifier.urihttps://hdl.handle.net/1822/18102-
dc.description.abstractMore 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.isoporpor
dc.publisherAssociação Brasileira de Engenharia e Ciências Mecânicas (ABCM)por
dc.rightsopenAccesspor
dc.subjectDiscrete event systemspor
dc.subjectPlant modelpor
dc.subjectFormal verificationpor
dc.subjectModel-checkingpor
dc.titleModel of mechanism behavior for verification of PLC programspor
dc.typeconferencePaper-
dc.peerreviewedyespor
sdum.publicationstatuspublishedpor
oaire.citationStartPage550por
oaire.citationEndPage559por
oaire.citationIssue1por
oaire.citationVolume1por
dc.date.updated2011-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 TamanhoFormato 
SSM_IV_06.pdf272,38 kBAdobe PDFVer/Abrir

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID