Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36462
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Machado, José Mendes | por |
dc.contributor.author | Campos, J. Creissac | por |
dc.date.accessioned | 2015-07-28T10:41:38Z | - |
dc.date.available | 2015-07-28T10:41:38Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | Machado 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.isbn | 9783319052021 | por |
dc.identifier.issn | 2195-4356 | - |
dc.identifier.uri | https://hdl.handle.net/1822/36462 | - |
dc.description | Proceedings of ICMD 2013 | por |
dc.description.abstract | In 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.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.subject | Dependable controllers | por |
dc.subject | Machines’ design | por |
dc.subject | Formal verification | por |
dc.subject | Human machine interface | por |
dc.subject | Partial plant models | por |
dc.title | Development of dependable controllers in the context of machines design | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007%2F978-3-319-05203-8_18 | por |
dc.comments | 1428 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 125 | por |
oaire.citationEndPage | 131 | por |
oaire.citationConferencePlace | Czech Republic | por |
oaire.citationTitle | Lecture Notes in Mechanical Engineering | por |
oaire.citationVolume | 16 | por |
dc.identifier.doi | 10.1007/978-3-319-05203-8_18 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Mechanical Engineering | por |
sdum.conferencePublication | Lecture Notes in Mechanical Engineering | por |
Aparece nas coleções: |