Advertisement

Software & Systems Modeling

, Volume 17, Issue 1, pp 11–33 | Cite as

A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components

  • Marco Di Natale
  • David Perillo
  • Francesco Chirico
  • Andrea Sindico
  • Alberto Sangiovanni-Vincentelli
Special Section Paper

Abstract

This paper presents the MDE process in use at Elettronica SpA (ELT) for the development of complex embedded systems integrating software and firmware. The process is based on the adoption of SysML as the system-level modeling language and the use of Simulink for the refinement of selected subsystems. Implementations are generated automatically for both the software (C++ code) and firmware parts, and communication adapters are automatically generated from SysML using a dedicated profile and open-source tools for modeling and code generation. The process starts from a SysML system model, developed according to the platform-based design 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++. An implementation for Simulink models is generated as software code or firmware on FPGA. 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). In addition, it provides for the automatic generation of connectors for system-level simulation and of test harnesses and mockups to ease the integration and verification stage. We provide early results on the time savings obtained by using these technologies in the development process.

Keywords

System engineering Model-driven architecture Model-based design Platform-based design Automatic code generation 

References

  1. 1.
    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, AustriaGoogle Scholar
  2. 2.
    Mukerji, J.,Miller, J.: Overview and Guide to OMG’s Architecture.http://www.omg.org/cgi-bin/doc?omg/03-06-01
  3. 3.
    Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, London (1999)MATHGoogle Scholar
  4. 4.
    Sangiovanni-Vincentelli, A.: Quo vadis, SLD? Reasoning about the trends and challenges of system level design. Proc. IEEE 95(3), 4679–506 (2007)Google Scholar
  5. 5.
    Di Natale, M., Chirico, F., Sindico, A., Sangiovanni-Vincentelli, A.: An MDA approach for the generation of communication adapters integrating SW and FW components from Simulink. In: Proceedings of the Models Conference 2014, Valencia (2014)Google Scholar
  6. 6.
    The Papyrus project web page. (2015). https://eclipse.org/papyrus/
  7. 7.
    The Acceleo project. https://www.eclipse.org/acceleo/
  8. 8.
  9. 9.
  10. 10.
    Modeling and Analysis of Real Time Embedded Systems (MARTE) profile. http://www.omg.org/spec/MARTE/1.0/PDF/
  11. 11.
    Sindico, A., Di Natale, M., Panci, G.: Integrating SysML with SIMULINK using open source model transformations. In: SIMULTECH, 2011, pp. 45–56 (2011)Google Scholar
  12. 12.
    Kienhuis, B., Deprettere, E.F., van Der Wolf, P., Vissers, K.A.: A methodology to design programmable embedded systems—the y-chart approach. In: Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation—SAMOS, pp. 18–37. Springer, London (2002)Google Scholar
  13. 13.
    The AUTOSAR standard. https://www.autosar.org/
  14. 14.
    The Object Management Group. http://www.omg.org
  15. 15.
    Mellor, S.J., Kendall, S., Uhl, A., Weise, D.: MDADistilled Addison Wesley Longman Publishing Co. MDA Distilled Inc., Redwood City (2004)Google Scholar
  16. 16.
    Wozniak, E., Mraidha, C., Gerard, S., Terrier, F.: A guidance framework for the generation of implementation models in the automotive domain. In: EUROMICRO-SEAA, 2011, pp. 468–476 (2011)Google Scholar
  17. 17.
    Koudri, A., Cuccuru, A., Gerard, S., Terrier, F.: Designing heterogeneous component based systems: evaluation of MARTE standard and enhancement proposal. In: Proceedings of the MODELS Conference 2011, pp. 243–257 (2011)Google Scholar
  18. 18.
    The EAST-ADL Association.: Consortium web page (2015). http://www.east-adl.info/
  19. 19.
    The DoD Architecture Framework Version 2.02. (2015). http://dodcio.defense.gov/Portals/0/Documents/DODAF/DoDAF_v2-02_web.pdf
  20. 20.
    IEEE Standard SystemC Language Reference Manual. IEEE Computer Society, 1666–2005, 31 (2006)Google Scholar
  21. 21.
    Schirmeister, F., Meindl, M., Krolikoski, S.: IP Authoring and Integration for HW/SW Co-design and reuse: Lessons Learned. In: The 9th Electronic Design Processes Workshop, Monterey, CA (2002)Google Scholar
  22. 22.
    Vanderperren, Y., Dehaene, Y.: From UML/SysML to Matlab/Simulink: current state and future perspectives. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE ’06 Leuven, BelgiumGoogle Scholar
  23. 23.
    Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64–83 (2003)CrossRefGoogle Scholar
  24. 24.
    Berry, G., Gonthier, G.: The synchronous programming language ESTEREL: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992)CrossRefMATHGoogle Scholar
  25. 25.
    Karsai, G., Maroti, M., Ledeczi, A., Gray, J., Sztipanovits, J.: Composition and cloning in modeling and meta-modeling. IEEE Trans. Control Syst. Technol. (special issue on Computer Automated Multi-Paradigm Modeling 12, 263–278 (2004)Google Scholar
  26. 26.
    Balarin, F., Lavagno, L., Passerone, C., Watanabe, Y.: Processes, interfaces and platforms. Embedded software modeling in metropolis. In: Proceedings of the Second International Conference on Embedded Software, ser. EMSOFT ’02. Springer, London, pp. 407–416 (2002)Google Scholar
  27. 27.
    Mohanty, S., Prasanna, V. K.: A model-based extensible framework for efficient application design using FPGA. ACM Trans. Des. Autom. Electron. Syst 12(2), Article 13, Publication date: (April 2007)Google Scholar
  28. 28.
    Areno, M., Eames, B., Dasu. A.: An automated Micro-architecture design tool for FPGAs. In: Proceedings of the 2007 Reconfigurable Summer Systems Institute (RSSI), pp. 1–10 (2007)Google Scholar
  29. 29.
    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. In: Proceedings of the IEEE, Special Issue on Cyber-Physical Systems, 100(1), 29–44 (2012)Google Scholar
  30. 30.
    Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simulation 80(9), 433–450. In: Transactions of the Society for Modeling and Simulation International, September 2004. Special Issue: Grand Challenges for Modeling and Simulation (2004)Google Scholar
  31. 31.
    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. Proc. IEEE 91(2) 127–144 (2003)Google Scholar
  32. 32.
    de Alfaro, L., Henzinger, T.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Vienna, Austria (2001)Google Scholar
  33. 33.
    Lee, E., Sangiovanni-Vincentelli, A.: A unified framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(12), 1217–1229 (1998)Google Scholar
  34. 34.
    Scaife, N., Sofronis, C., Caspi, P., Tripakis, S., Maraninchi, F.: Defining and translating a “safe” subset of Simulink/Stateflow into Lustre. In: 4th ACM International Conference on Embedded Software (EMSOFT’04), Pisa, Italy, September 2004Google Scholar
  35. 35.
    Wang, Guoqiang, Di Natale, Marco, Sangiovanni-Vincentelli, Alberto L.: Optimal synthesis of communication procedures in real-time synchronous reactive models. IEEE Trans. Ind. Inform. 6(4), 729–743 (2010)CrossRefGoogle Scholar
  36. 36.
    Hemingway, G., Neema, H., Nine, H., Sztipanovits, J.: Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simulation. SAGE J. (2012)Google Scholar
  37. 37.
    Functional Mockup Interface standard. (2015). https://www.fmi-standard.org/
  38. 38.
    Windriver: Simics Full System Simulator. Product web page (2015). http://www.windriver.com/products/simics/
  39. 39.
    The Wireshark project web page. (2015). https://www.wireshark.org/
  40. 40.
    Bordeleau, F.: Future of MBE/MDE/MDD in the Industry Open Source is the Only Solution! In: Keynote Speech at the MODELS 2014 Conference, Valencia (2014). http://models2014.webs.upv.es/index2_htm_files/Keynote2.pdf
  41. 41.
    The Topcased project web page. (2015). https://www.polarsys.org/topcased
  42. 42.
    The Eclipse Modeling Framework. http://www.eclipse.org/modeling/emf/
  43. 43.
    Di Natale, M., Pappalardo, V.: Buffer optimization in multitaskimplementations of simulink models. ACM Trans. Embed.Comput. Syst. 7(3), 1–32 (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Marco Di Natale
    • 1
  • David Perillo
    • 2
  • Francesco Chirico
    • 2
  • Andrea Sindico
    • 2
  • Alberto Sangiovanni-Vincentelli
    • 3
  1. 1.Scuola Superiore S. Anna, TeCIP institutePisaItaly
  2. 2.Elettronica S.p.A.RomeItaly
  3. 3.University of California at BerkeleyBerkeleyUSA

Personalised recommendations