Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

  • Valentin BesnardEmail author
  • Matthias BrunEmail author
  • Frédéric JouaultEmail author
  • Ciprian TeodorovEmail author
  • Philippe DhaussyEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11176)


The number and complexity of embedded systems is rising. Consequently, their development requires increased productivity as well as means to ensure quality. Model-based techniques can help achieve both. With classical model-driven development techniques, developers start by building design models before producing actual code. Although various approaches can be used to validate models and code separately, models and code are however separated by a semantic gap. This gap typically makes it hard to link runtime measures (e.g., execution traces) to design models. The approach presented in this paper avoids this semantic gap by making it possible to execute UML design models directly on embedded microcontrollers. Therefore, any runtime measure is directly expressed in terms of the design model. The paper introduces our UML bare-metal (i.e., not requiring an operating system) interpreter. Its use is illustrated on a motivating example, which can be simulated, or debugged, and for which message sequence charts can be generated.


UML execution Model interpretation Embedded systems 



This work is partially funded by Davidson Consulting. The authors especially thank David Olivier for his advice and industrial feedback.


  1. 1.
  2. 2.
    Besnard, V., Brun, M., Dhaussy, P., Jouault, F., Olivier, D., Teodorov, C.: Towards one model interpreter for both design and deployment. In: Proceedings of EXE 2017, Austin, United States, September 2017Google Scholar
  3. 3.
    Bousse, E., Corley, J., Combemale, B., Gray, J., Baudry, B.: supporting efficient and advanced omniscient debugging for xDSMLs. In: Proceedings of SLE 2015, pp. 137–148. ACM, New York (2015)Google Scholar
  4. 4.
    Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., Deantoni, J., Combemale, B.: Execution framework of the GEMOC studio (tool demo). In: Proceedings of SLE 2016, pp. 84–89. ACM, New York (2016)Google Scholar
  5. 5.
    Bousse, E., Leroy, D., Combemale, B., Wimmer, M., Baudry, B.: Omniscient debugging for executable DSLs. J. Syst. Softw. 137, 261–288 (2017)CrossRefGoogle Scholar
  6. 6.
    Charfi Smaoui, A., Mraidha, C., Boulet, P.: An optimized compilation of UML state machines. In: Proceedings of ISORC 2012, Shenzhen, China, April 2012Google Scholar
  7. 7.
    Combemale, B., et al.: A solution to the TTC’15 model execution case using the GEMOC studio. In: 8th Transformation Tool Contest. CEUR, Italy (2015)Google Scholar
  8. 8.
    Corley, J., Eddy, B.P., Gray, J.: Towards efficient and scalabale omniscient debugging for model transformations. In: DSM 2014, pp. 13–18. ACM, New York (2014)Google Scholar
  9. 9.
    Jouault, F., Delatour, J.: Towards fixing sketchy UML models by leveraging textual notations: application to real-time embedded systems. In: Brucker, A.D., Dania, C., Georg, G., Gogolla, M. (eds.) OCL 2014. OCL and Textual Modeling: Applications and Case Studies, Valencia, Spain, vol. 1285, pp. 73–82 (2014)Google Scholar
  10. 10.
    Jouault, F., Teodorov, C., Delatour, J., Le Roux, L., Dhaussy, P.: Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD. Génie logiciel 109 (2014)Google Scholar
  11. 11.
    Lanusse, A., et al.: Papyrus UML: an open source toolset for MDA. In: Proceedings of ECMDA-FA 2009, pp. 1–4 (2009)Google Scholar
  12. 12.
    Mayerhofer, T., Langer, P.: Moliz: a model execution framework for UML models. In: Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards, MW 2012. ACM, New York (2012)Google Scholar
  13. 13.
    OMG: Precise Semantics of UML State Machines, February 2017.
  14. 14.
    OMG: Semantics of a Foundational Subset for Executable UML Models, October 2017.
  15. 15.
    Schattkowsky, T., Engels, G., Forster, A.: A model-based approach for platform-independent binary components with precise timing and fine-grained concurrency. In: Proceedings of HICSS 2007. IEEE Computer Society, USA (2007)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.ERIS, ESEO-TECHAngersFrance
  2. 2.Lab-STICC UMR CNRS 6285, ENSTA BretagneBrestFrance

Personalised recommendations