Benutzer: Gast  Login
Autor(en):
Vogel-Heuser, Birgit; Folmer, Jens; Aicher, Thomas; Mund, Jakob; Rehberger, Sebastian 
Titel:
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...    »
 
Kongress- / Buchtitel:
13th International Conference on Industrial Informatics (INDIN) 
Verlagsort:
Cambridge, UK 
Jahr:
2015 
Monat:
July