Benutzer: Gast  Login
Titel:

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

Autor(en):
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...     »
Kongress- / Buchtitel:
13th International Conference on Industrial Informatics (INDIN)
Verlagsort:
Cambridge, UK
Jahr:
2015
Monat:
July
 BibTeX