Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
References
Papyrus: Moka overview. https://wiki.eclipse.org/Papyrus/UserGuide/ModelExecution
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 2017
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)
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)
Bousse, E., Leroy, D., Combemale, B., Wimmer, M., Baudry, B.: Omniscient debugging for executable DSLs. J. Syst. Softw. 137, 261–288 (2017)
Charfi Smaoui, A., Mraidha, C., Boulet, P.: An optimized compilation of UML state machines. In: Proceedings of ISORC 2012, Shenzhen, China, April 2012
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)
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)
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)
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)
Lanusse, A., et al.: Papyrus UML: an open source toolset for MDA. In: Proceedings of ECMDA-FA 2009, pp. 1–4 (2009)
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)
OMG: Precise Semantics of UML State Machines, February 2017. https://www.omg.org/spec/PSSM/1.0/Beta1/PDF
OMG: Semantics of a Foundational Subset for Executable UML Models, October 2017. https://www.omg.org/spec/FUML/1.3/PDF
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)
Acknowledgments
This work is partially funded by Davidson Consulting. The authors especially thank David Olivier for his advice and industrial feedback.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Besnard, V., Brun, M., Jouault, F., Teodorov, C., Dhaussy, P. (2018). Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. In: Mazzara, M., Ober, I., Salaün, G. (eds) Software Technologies: Applications and Foundations. STAF 2018. Lecture Notes in Computer Science(), vol 11176. Springer, Cham. https://doi.org/10.1007/978-3-030-04771-9_38
Download citation
DOI: https://doi.org/10.1007/978-3-030-04771-9_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-04770-2
Online ISBN: 978-3-030-04771-9
eBook Packages: Computer ScienceComputer Science (R0)