Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/36462

Full metadata record
DC FieldValueLanguage
dc.contributor.authorMachado, José Mendespor
dc.contributor.authorCampos, J. Creissacpor
dc.date.accessioned2015-07-28T10:41:38Z-
dc.date.available2015-07-28T10:41:38Z-
dc.date.issued2014-
dc.identifier.citationMachado J., Campos J.C. (2014) Development of Dependable Controllers in the Context of Machines Design. In: Ševĉik L., Lepšík P., Petrů M., Mašín I., Martonka R. (eds) Modern Methods of Construction Design. Lecture Notes in Mechanical Engineering. Springer, Cham-
dc.identifier.isbn9783319052021por
dc.identifier.issn2195-4356-
dc.identifier.urihttp://hdl.handle.net/1822/36462-
dc.descriptionProceedings of ICMD 2013por
dc.description.abstractIn the domain of machines' design, one of the most important issues to solve is related with the controller's design, mainly, guaranteeing that the machine will behave as expected. In order to achieve a dependable controller, some steps can be considered, such as the formalization of its specification - before being translated to the program that will be inserted in the controller device - and the respective analysis and verification. Nowadays, some formal analysis techniques, such as formal verification, are used to achieve this purpose. The dependability of a controller, however, is impacted by its execution context. This paper proposes an approach for the formal verification of the specification of mechatronic system's controllers, which considers, on the formal verification tasks, the behavior of the plant and the behavior of the Human Machine Interface of the Mechatronic system. Some conclusions are extrapolated for other systems of the same kind.por
dc.language.isoengpor
dc.publisherSpringerpor
dc.rightsopenAccesspor
dc.subjectDependable controllerspor
dc.subjectMachines’ designpor
dc.subjectFormal verificationpor
dc.subjectHuman machine interfacepor
dc.subjectPartial plant modelspor
dc.titleDevelopment of dependable controllers in the context of machines designpor
dc.typeconferencePaperpor
dc.peerreviewedyespor
dc.relation.publisherversionhttp://link.springer.com/chapter/10.1007%2F978-3-319-05203-8_18por
dc.comments1428por
sdum.publicationstatuspublishedpor
oaire.citationStartPage125por
oaire.citationEndPage131por
oaire.citationConferencePlaceCzech Republicpor
oaire.citationTitleLecture Notes in Mechanical Engineeringpor
oaire.citationVolume16por
dc.identifier.doi10.1007/978-3-319-05203-8_18por
dc.subject.wosScience & Technologypor
sdum.journalLecture Notes in Mechanical Engineeringpor
sdum.conferencePublicationLecture Notes in Mechanical Engineeringpor
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)

Files in This Item:
File SizeFormat 
1428.pdf105,99 kBAdobe PDFView/Open

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