Integrating SysML with Simulink using Open-source Model Transformations

The realization of an integrated and automated modelling flow and tool framework joining OMG (i.e. UML, SysML, etc.) and Mathworks (i.e. Matlab, Simulink, etc.) models and technologies is a very attractive perspective because of the possibility of complementing their capabilities and strenghts. In this paper we describe our project for an integrated flow and our initial results, consisting of a transformation workflow to automatically generate Simulink models from SysML models and viceversa. Our proposed process is compliant with the OMG Model Driven Architecture. The transformations have been realized using the TopCased open-source modeling tool the Acceleo model-to-text generator.

[1]  Pedro Merino,et al.  Applying MDE Methodologies to Design Communication Protocols for Distributed Systems , 2007, First International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'07).

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

[3]  Luciano Lavagno,et al.  Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis , 2002, EMSOFT.

[4]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[5]  Pieter J. Mosterman.  Model-Based Design of Embedded Systems , 2007, 2007 IEEE International Conference on Microelectronic Systems Education (MSE'07).

[6]  Toby J. Teorey,et al.  The Unified Modeling Language (UML) , 2006 .

[7]  Ivo Bolsens,et al.  Proceedings of the conference on Design, Automation & Test in Europe , 2000 .

[8]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[9]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[10]  Gabor Karsai,et al.  Composition and cloning in modeling and meta-modeling , 2004, IEEE Transactions on Control Systems Technology.

[11]  Ketil Stølen,et al.  What is model driven architecture , 2003 .

[12]  Ed F. Deprettere,et al.  A Methodology to Design Programmable Embedded Systems - The Y-Chart Approach , 2001, Embedded Processor Design Challenges.

[13]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[14]  Alberto L. Sangiovanni-Vincentelli,et al.  Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design , 2007, Proceedings of the IEEE.

[15]  Sergei A. Vakin,et al.  Fundamentals of Electronic Warfare , 2000 .

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