Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/22910
Título: | Obtaining plant models for formal verification tasks from 3D CAD models: which is the best approach? |
Autor(es): | Lobo, Edgar Fertuzinhos, João Mendonca, Joao Pedro Machado, José Mendes |
Palavras-chave: | Safe controllers design Formal verification CAD modeling Mechatronic systems safety |
Data: | 2013 |
Editora: | Trans Tech Publications Inc |
Revista: | Advanced Materials Research |
Resumo(s): | The use of analysis techniques for industrial controller’s analysis, such as Simulation and Formal Verification, is sometimes complex on industrial context. This complexity is due to the fact that such techniques require sometimes big investment in highly qualified human resources that have sufficient theoretical knowledge in those domains. This paper aims, mainly, to show that it is possible to improve the implementation and industrial using of such techniques, by facilitating their application. As any mechatronic system needs to be modeled by using CAD models, these models could be used, in a systematic way, by these companies in order to increase the use of such techniques for the analysis of industrial controllers. For this purpose, it is discussed, in the paper, the best way to systematize these procedures, and this paper describes, only, the first step of a complex process and promotes a discussion of the main difficulties that can be found and a possibility for handle those difficulties is presented. A case study is presented in order to illustrate how to obtain a plant model for formal verification purposes from an original 3D CAD model. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/22910 |
ISBN: | 978-3-03785-583-6 |
DOI: | 10.4028/www.scientific.net/AMR.630.283 |
ISSN: | 1022-6680 |
Arbitragem científica: | yes |
Acesso: | Acesso restrito UMinho |
Aparece nas coleções: | DEM - Publicações em actas de encontros científicos / Papers in conference proceedings |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
manufacturing_12 - FINAL.pdf Acesso restrito! | 190,96 kB | Adobe PDF | Ver/Abrir |