Simulation Of SysML State Machines Using Modelica

With the increasingly large size of modern systems engineering, a variety of increasingly complex problems are also presented. Model is a simplification of reality, with different models to describe the expected structure and behavior of the system, as well as functional and non-functional, static and dynamic, and so on.SysML is an object-oriented system modeling language, modeling on the structure and behavior of various types of physical resources, as well as people and software, and expressing the structure and behavior of the system. SysML state machines is an important tool for describing the behavior of the system.The simulation is an experiment performed on a computable models. In the design phase of the system, simulating the system based on the behavioral models, the dynamic design problems can be found in advance, so as to effectively prevent irreversible damage occurred in the late system implementation. Thus there is an urgent demand for simulation. Modelica is a modeling language to support dynamic simulation, with corresponding supporting tools such as Dymola, which support automatic simulation.In the model-based system design environment, model and simulation allows system designers to evaluate and predict the behavior of the system optional program in the absence of demand for physical prototypes. The paper is based on SysML state machines, studying the model-based transformation to achieve the simulation of SysML state machines with the help of Modelica and Dymola, so as to better achieve the design and test of systems, the main research includes:1、A transformation method based on metamodel between SysML state machines and Modelica state machines is proposed. Based on model transformation thinking, this paper presents a simplified SysML SMD metamodel, as well as a Modelica SMD metamodel, and designs the mapping rules between metamodels. Based on mapping rules, performing a transformation algorithm between metamodels by ATL, on this basis, we transform SysML state machines model into Modelica state machines model.2、A simulation method implementing the simulation of SysML state machines by Dymola supporting the simulation of Modelica state machines is proposed. For there may be some problems in the system design process, performing the simulation of Modelica text which is transformed from SysML state machines by Dymola, we can get variables analysis charts and states analysis charts, so as to determine whether to meet expectations.3、A prototype tool to achieve and a case study. Based on the model transformation process, we achieve a prototype tool SysML2Modelica, which is released in the form of Eclipse plug-ins, transforming the xmi document corresponding to the SysML state machines model into the xmi document corresponding to our custom metamodel with the help of ATL, and achieving the transformation between two models with the Eclipse Model to Model Transformation Tool ATL, finally transforming the Modelica state machines model into the Modelica text With the Eclipse Model to Text tool; By a vehicle’s adaptive cruise control system, the effectiveness of the model-based simulation method proposed and the tool are shown.