User: Guest  Login
Title:

Coupling simulation and model checking to examine selected mechanical constraints of automated production systems

Author(s):
Vogel-Heuser, Birgit; Folmer, Jens; Aicher, Thomas; Mund, Jakob; Rehberger, Sebastian
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
 BibTeX