User: Guest  Login
Author(s):
Vogel-Heuser, Birgit; Folmer, Jens; Aicher, Thomas; Mund, Jakob; Rehberger, Sebastian 
Title:
Coupling simulation and model checking to examine selected mechanical constraints of automated production systems 
Abstract:
Modeling complex mechatronic systems containing parts such as mechanics, electronics and software is a major challenge for the engineering of automation production systems. As a result, many modeling languages as well as tools (e.g. petri nets or MATLAB/Simulink) and verification approaches (e.g. testing, simulation or formal verification) that focus on special challenges to model the mechatronic system correctly have already been developed. However, a holistic approach combining the strengths o...    »
 
Book / Congress title:
13th International Conference on Industrial Informatics (INDIN) 
Publisher address:
Cambridge, UK 
Year:
2015 
Month:
July