Please use this identifier to cite or link to this item:

TitleDevelopment of dependable controllers in the context of machines design
Author(s)Machado, José Mendes
Campos, J. Creissac
KeywordsDependable controllers
Machines’ design
Formal verification
Human machine interface
Partial plant models
Issue date2014
JournalLecture Notes in Mechanical Engineering
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
Abstract(s)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.
TypeConference paper
DescriptionProceedings of ICMD 2013
Publisher version
AccessOpen access
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