Abstract
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).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Sindico, A., Di Natale, M., Sangiovanni-Vincentelli, A.: An Industrial Application of a System Engineering Process Integrating Model-Driven Architecture and Model Based Design. In: ACM/IEEE 15th MODELS Conference, Innsbruck, Austria
Sangiovanni-Vincentelli, A.: Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design. Proceedings of the IEEE 95(3), 467–506 (2007)
The Object Management Group, http://www.omg.org
Mukerji, J., Miller, J.: Overview and Guide to OMG’s Architecture, http://www.omg.org/cgi-bin/doc?omg/03-06-01
Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, London (1999)
The System Modeling Language, http://www.sysml.org/docs/specs/OMGSysML-v1.1-08-11-01.pdf
Modeling Analysis of Real Time Embedded Systems (MARTE) profile, http://www.omg.org/spec/MARTE/1.0/PDF/
The Eclipse Modeling Framework, http://www.eclipse.org/modeling/emf/
Acceleo, http://www.acceleo.org/pages/home/en
Sindico, A., Di Natale, M., Panci, G.: Integrating SysML With SIMULINK Using Open Source Model Transformations. In: SIMULTECH, pp. 45–56 (2011)
Kienhuis, B., Deprettere, E.F., van der Wolf, P., Vissers, K.: A methodology to design programmable embedded systems - the y-chart approach. In: Deprettere, F., Teich, J., Vassiliadis, S. (eds.) SAMOS 2001. LNCS, vol. 2268, pp. 18–37. Springer, Heidelberg (2002)
Mellor, S.J., Kendall, S., Uhl, A., Weise, D.: MDA Distilled. Addison Wesley Longman Publishing Co. Inc., Redwood City (2004)
Koudri, A., Cuccuru, A., Gerard, S., Terrier, F.: Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 243–257. Springer, Heidelberg (2011)
Wozniak, E., Mraidha, C., Gerard, S., Terrier, F.: A Guidance Framework for the Generation of Implementation Models in the Automotive Domain. In: EUROMICRO-SEAA, pp. 468–476 (2011)
Mosterman, P.J., Vangheluwe, H.: Computer Automated Multi-Paradigm Modeling: An Introduction. Simulation. Transactions of the Society for Modeling and Simulation International 80(9), 433–450 (2004), Special Issue: Grand Challenges for Modeling and Simulation
Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J., Wang, S.: Towards a Science of Cyber-Physical System Integration. Proceedings of the IEEE, Special Issue on Cyber-Physical Systems 100(1), 29–44 (2012)
Vanderperren, Y., Dehaene, W.: From uml/sysml to matlab/simulink: Current state and future perspectives. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Leuven, Belgium (2006)
Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1) (January 2003)
Berry, G., Gonthier, G.: The synchronous programming language ESTEREL: Design, semantics, implementation. Science of Computer Programming 19(2) (1992)
Karsai, G., Maroti, M., Ledeczi, A., Gray, J., Sztipanovits, J.: Composition and cloning in modeling and meta-modeling. IEEE Transactions on Control System Technology (special issue on Computer Automated Multi-Paradigm Modeling) 12, 263–278 (2004)
Balarin, F., Lavagno, L., Passerone, C., Watanabe, Y.: Processes, interfaces and platforms. embedded software modeling in metropolis. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 407–416. Springer, Heidelberg (2002)
Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming Heterogeneity—the Ptolemy Approach. Proceedings of the IEEE 91(2) (January 2003)
de Alfaro, L., Henzinger, T.: Interface automata. In: Proc. of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Vienna, Austria (2001)
Lee, E., Sangiovanni-Vincentelli, A.: A Unified Framework for Comparing Models of Computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems 17(12), 1217–1229 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Di Natale, M., Chirico, F., Sindico, A., Sangiovanni-Vincentelli, A. (2014). An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds) Model-Driven Engineering Languages and Systems. MODELS 2014. Lecture Notes in Computer Science, vol 8767. Springer, Cham. https://doi.org/10.1007/978-3-319-11653-2_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-11653-2_22
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11652-5
Online ISBN: 978-3-319-11653-2
eBook Packages: Computer ScienceComputer Science (R0)