System-level model integration of design and simulation for mechatronic systems based on SysML

Abstract The design of a mechatronic system (MTS) is not a trivial task due to the complexity of the systems. The evaluation of various design scenarios for the given requirements of a specific MTS is also difficult. Currently, model-based systems engineering (MBSE) and the modeling language SysML provide a novel means for the systematic design of MTSs. However, the specific requirements of MTS behavior modeling, i.e., continuous dynamics or even discrete/continuous hybrid behavior modeling, and automatic simulation and evaluation of the behavior models, are not supported by SysML which intends to create descriptive static design models. Therefore, extension should be made for SysML to support detailed hybrid behavior modeling and the transformation between hybrid models in SysML and executable simulation models in certain simulation environment. For this study, a meta-model based method is proposed to integrate the system design and simulation models of MTSs. First, a set of stereotypes is defined to facilitate the designer to explicitly model hybrid dynamic behavior based on SysML. The necessary simulation information is also formalized in SysML to support an analysis of the system dynamic behavior with the aid of simulations. Finally, the SysML-based system dynamic behavior, and the related simulation information are integrated with the platform-specific simulation model through a bidirectional model transformation approach based on a triple graph grammar (TGG), which facilitates the automatic model consistency and traceability between system design and simulation. The proposed method is implemented and illustrated by using an Inverted Pendulum System (IPS).

[1]  Jan Peleska,et al.  The HybridUML profile for UML 2.0 , 2005, International Journal on Software Tools for Technology Transfer.

[2]  Jim Steel,et al.  MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. , 2005 .

[3]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[4]  Christiaan J. J. Paredis,et al.  Modeling Continuous System Dynamics in SysML , 2007 .

[5]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[6]  Devdas Shetty,et al.  Mechatronics system design , 1997 .

[7]  Jerry Fisher,et al.  From the Editor: Model-Based Systems Engineering: A New Paradigm , 1998 .

[8]  Christiaan J. J. Paredis,et al.  Integrating Models and Simulations of Continuous Dynamics Into SysML , 2012, J. Comput. Inf. Sci. Eng..

[9]  Wim Dehaene,et al.  From UML/SysML to Matlab/Simulink: Current State and Future Perspectives , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[10]  Andy Schürr,et al.  TiE - A Tool Integration Environment , 2009 .

[11]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[12]  Alexander Königs,et al.  Model integration and transformation: a triple graph grammar-based QVT implementation , 2008 .

[13]  Tobias Rötschke,et al.  Metamodel-based tool integration with moflon , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[14]  Vijay Kumar,et al.  Hierarchical modeling and analysis of embedded systems , 2003, Proc. IEEE.