An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink

We present the tools, metamodels and code generation techniques in use at Elettronica SpA for the development of communication adapters for software and firmware systems from heterogeneous models. The process start from a SysML system model, developed according to the platform-based design (PBD) paradigm, in which a functional model of the system is paired to a model of the execution platform. Subsystems are refined as Simulink models or hand coded in C++. In turn, Simulink models are implemented as software code or firmware on FPGA, and an automatic generation of the implementation is obtained. Based on the SysML system architecture specification, our framework drives the generation of Simulink models with consistent interfaces, allows the automatic generation of the communication code among all subsystems (including the HW-FW interface code).

[1]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

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

[3]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

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

[5]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[6]  Axel Uhl,et al.  MDA Distilled , 2004 .

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

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

[9]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[10]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[11]  Sébastien Gérard,et al.  A Guidance Framework for the Generation of Implementation Models in the Automotive Domain , 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.

[12]  Alberto Sangiovanni-Vincentelli,et al.  An Industrial Application of a System Engineering Process Integrating Model-Driven Architecture and Model Based Design , 2012, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems.

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

[14]  Sébastien Gérard,et al.  Designing heterogeneous component based systems: evaluation of MARTE standard and enhancement proposal , 2011, MODELS'11.

[15]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

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

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

[18]  Fabio Paternò.  Model-Based Design and Evaluation of Interactive Applications , 2000 .