SysML-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronics

Model-based systems engineering (MBSE) is becoming a promising solution for the design of mechatronic systems with the increasing of complexity. To facilitate system design engineers to express their various behavioral requirements, a uniform behavior modeling approach is proposed based on SysML. A set of new constructs are proposed which compose the uniform behavior modeling profile. Based on the profile, the hybrid behavior of the mechatronic system can be uniformly represented in a multi-view and hierarchical way. Moreover, the language- and tool-dependent simulation related information is also described based on SysML as the complement part of the uniform behavior model, which can be transformed to different simulation platforms based on the triple graph grammar (TGG). In this way, the system-level design of the mechatronic system is simulated and verified automatically in the early design stage. Finally, the method is implemented and an example is given to illustrate the whole process.

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

[2]  Alexander Königs,et al.  Model transformation with triple graph grammars , 2005 .

[3]  Skander Turki,et al.  A SysML extension for Bond Graphs support , 2005 .

[4]  Christiaan J. J. Paredis,et al.  Using OMG’S SYSML to support simulation , 2008, 2008 Winter Simulation Conference.

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

[6]  Christiaan J. J. Paredis,et al.  System-level model integration of design and simulation for mechatronic systems based on SysML , 2011 .

[7]  H. S. Osborne,et al.  The international electrotechnical commission , 1953, Electrical Engineering.

[8]  Christiaan J. J. Paredis,et al.  Integration of System-Level Design and Analysis Models of Mechatronic System Behavior Based on SysML and Simscape , 2010 .

[9]  Paolo Bottoni,et al.  Workshop on Graph Transformation and Visual Modeling Techniques , 2002, ICGT.

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

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

[12]  Holger Giese,et al.  Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML , 2004, MDAFA.

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

[14]  Adrian Pop,et al.  Towards Unified System Modeling with the ModelicaML UML Profile , 2007, EOOLT.

[15]  Gabor Karsai,et al.  Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations , 2004, GT-VMT@ETAPS.

[16]  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.

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

[18]  Vom Fachbereich Model Integration and Transformation - A Triple Graph Grammar-based QVT Implementation , 2009 .

[19]  Christoph Nytsch-Geusen The use of the UML within the modelling process of Modelica-models , 2007, EOOLT.

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

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

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