Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36462
Título: | Development of dependable controllers in the context of machines design |
Autor(es): | Machado, José Mendes Campos, J. Creissac |
Palavras-chave: | Dependable controllers Machines’ design Formal verification Human machine interface Partial plant models |
Data: | 2014 |
Editora: | Springer |
Revista: | Lecture Notes in Mechanical Engineering |
Citação: | 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 |
Resumo(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. |
Tipo: | Artigo em ata de conferência |
Descrição: | Proceedings of ICMD 2013 |
URI: | https://hdl.handle.net/1822/36462 |
ISBN: | 9783319052021 |
DOI: | 10.1007/978-3-319-05203-8_18 |
ISSN: | 2195-4356 |
Versão da editora: | http://link.springer.com/chapter/10.1007%2F978-3-319-05203-8_18 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |