Obtaining plant models for formal verification tasks from 3D CAD models: which is the best approach?

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 sufficie...

Full description

Bibliographic Details
Main Author: Lobo, Edgar (author)
Other Authors: Fertuzinhos, João (author), Silva, João Pedro Mendonça de Assunção da (author), Machado, José Mendes (author)
Format: conferencePaper
Language:eng
Published: 2013
Subjects:
Safe controllers design
Formal verification
CAD modeling
Mechatronic systems safety
Online Access:http://hdl.handle.net/1822/22910
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/22910

Internet

http://hdl.handle.net/1822/22910

Similar Items