Towards a Model Integration from SysML to MATLAB/Simulink

In system-level design, descriptive system models seem to be insufficient in order to perform a system verification which fulfils various stakeholders’ requirements. This fact is accentuated by the increasing complexity of system engineering projects and, as a consequence, the difficulties to deal with both their coordination and traceability. Even if SysML (System Modeling Language) is considered as a flexible and standard tool for system engineering, using only descriptive models are insufficient for system behavior verifications. To deal with this concern, simulation environments (i.e. MATLAB/Simulink) allow verifying if the system preliminary design satisfies requirements or not. As a consequence, various research works have been centered on combining the potential of both SysML modeling and simulation tools. This paper proposes an integration approach based on metamodeling and model transformations to generate Simulink models from SysML diagrams. This approach is handled by models and modern techniques of MDE (Model-Driven Engineering).

[1]  Abbas Abdulhameed,et al.  An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal , 2014 .

[2]  Frédéric Jouault.  Contribution à l'étude des langages de transformation de modèles , 2006 .

[3]  Jeff A. Estefan,et al.  of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .

[4]  Benoît Combemale.  Approche de métamodélisation pour la simulation et la vérification de modèle - Application à l'ingénierie des procédés. (Metamodeling Approach for Model Simulation and Verification ~ Application to Process Engineering) , 2008 .

[5]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[6]  Tim Weilkiens,et al.  Systems engineering with SysML / UML - modeling, analysis, design , 2007 .

[7]  Christophe Jacquet,et al.  Multi-paradigm semantics for simulating SysML models using SystemC-AMS , 2013, Proceedings of the 2013 Forum on specification and Design Languages (FDL).

[8]  Christiaan J. J. Paredis,et al.  5.5.1 An Overview of the SysML‐Modelica Transformation Specification , 2010 .

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

[10]  Peter A. Fritzson,et al.  Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica , 2011 .

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

[12]  Fabian Mischkalla,et al.  A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis , .

[13]  Dolev Dotan,et al.  Verification of embedded system's specification using collaborative simulation of SysML and simulink models , 2009, 2009 International Conference on Model-Based Systems Engineering.

[14]  Yoichi Hatsutori,et al.  Model based control system design using sysML, simulink, and computer algebra system , 2013 .

[15]  Benoit Combemale,et al.  Ingénierie Dirigée par les Modèles : des concepts à la pratique... , 2012 .

[16]  Christiaan J. J. Paredis,et al.  Multi-view Modeling to Support Embedded Systems Engineering in SysML , 2010, Graph Transformations and Model-Driven Engineering.

[17]  Da He,et al.  Extending UML for Electronic Systems Design: A Code Generation Perspective , 2012 .

[18]  Jean Bézivin,et al.  PROMESSES ET INTERROGATIONS DE L'APPROCHE MDA , 2002 .

[19]  Parham Vasaiely,et al.  Interactive Simulation of SysML Models using Modelica , 2009 .

[20]  J. Banks,et al.  Discrete-Event System Simulation , 1995 .

[21]  Hongman Kim,et al.  Integrated model-based systems engineering (MBSE) applied to the Simulation of a CubeSat mission , 2014, 2014 IEEE Aerospace Conference.

[22]  Adil Anwar,et al.  Metamodeling approach for creating an abstract representation of simulation tools concepts , 2016, 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA).

[23]  Mohd Azizi Abdul Rahman,et al.  Model-Based Development and Simulation for Robotic Systems with SysML , Simulink and Simscape Profiles Regular Paper , 2013 .

[24]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[25]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[26]  Marco Di Natale,et al.  Integrating SysML with Simulink using Open-source Model Transformations , 2011, SIMULTECH.

[27]  Adil Anwar,et al.  Towards an alignment of SysML and simulation tools , 2015, 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA).