TY - GEN
T1 - Embedded UML model execution to bridge the gap between design and runtime
AU - Besnard, Valentin
AU - Brun, Matthias
AU - Jouault, Frédéric
AU - Teodorov, Ciprian
AU - Dhaussy, Philippe
N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2018.
PY - 2018/1/1
Y1 - 2018/1/1
N2 - 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.
AB - 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.
KW - Embedded systems
KW - Model interpretation
KW - UML execution
UR - https://www.scopus.com/pages/publications/85058512536
U2 - 10.1007/978-3-030-04771-9_38
DO - 10.1007/978-3-030-04771-9_38
M3 - Conference contribution
AN - SCOPUS:85058512536
SN - 9783030047702
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 519
EP - 528
BT - Software Technologies
A2 - Mazzara, Manuel
A2 - Salaün, Gwen
A2 - Ober, Iulian
PB - Springer Verlag
T2 - International Conference on Software Technologies: Applications and Foundations, STAF 2018
Y2 - 25 June 2018 through 29 June 2018
ER -