desministeriums fuer Wirtschaft und Technologie-
BMWi) within the project “Holistic model-driven de-
velopment for embedded systems in consideration of
diverse hardware architectures” (HolMES). The au-
thors would like to thank Adrian Richter for software
development assistance, as well as Johannes Trageser
and Lars Donner for helpful comments on the HAL
and its integration in MDSE tools.
REFERENCES
ARM Limited (2021a). Cortex Microcontroller Software
Interface Standard (CMSIS) https://developer.arm.
com/tools-and-software/embedded/cmsis (accessed
on 25th March 2021).
ARM Limited (2021b). Mbed OS.
https://os.mbed.com/mbed-os/ (accessed on 11th
March 2021).
Behrmann, G., David, A., and Larsen, K. G. (2004). A Tuto-
rial on Uppaal, pages 200–236. Springer Berlin Hei-
delberg, Berlin, Heidelberg.
Bhanu, G. P., Bai, Y., Tan, S. L., and Chng, E. S. (2009). A
Generic MCU Description Methodology with Depen-
dency Evaluation. In 2009 International Conference
on Signal Processing Systems, pages 565–569.
Brambilla, M., Cabot, J., and Wimmer, M. (2012). Model-
Driven Software Engineering in Practice. Morgan &
Claypool Publishers.
Bunse, C., Gross, H.-G., and Peper, C. (2007). Applying a
model-based approach for embedded system develop-
ment. pages 121–128.
Charette, R. N. (2009). This car runs on code. IEEE spec-
trum, 46(3):3.
Espressif (2021). ESP32. http://esp32.net/ (accessed on
18th March 2021).
Geng, P., Ouyang, M., Li, J., and Xu, L. (2012). Embedded
C Code Generation Platform for Electric Vehicle Con-
troller. Advanced Materials Research, 546-547:778–
783.
Huning, L., Iyenghar, P., and Pulvermueller, E. (2020).
A workflow for automatically generating application-
level safety mechanisms from UML stereotype model
representations. In Proceedings of the 15th Interna-
tional Conference on Evaluation of Novel Approaches
to Software Engineering - Volume 1: ENASE, pages
216–228. INSTICC, SciTePress.
Infineon (2021a). 32-bit AURIX™ Microcontroller
based on TriCore™. https://www.infineon.com/
cms/de/product/microcontroller/32-bit-tricore-
microcontroller/(accessed: 13th January 2021).
Infineon (2021b). Dave.
https://www.infineon.com/dgdl/infineon-
dave introduction-dt-v01 00-
en.pdf?fileid=5546d462636cc8fb01645f681d4713ed
(accessed on 11th March 2021).
Infineon (2021c). XMC4500. https://www.infineon.com/
cms/de/product/microcontroller/32-bit-industrial-
microcontroller-based-on-arm-cortex-m/32-bit-
xmc4000-industrial-microcontroller-arm-cortex-
m4/xmc4500/ (accessed on 19th March 2021).
Kashif, H., Mostafa, M., Shokry, H., and Hammad, S.
(2009). Model-based embedded software develop-
ment flow. In 2009 4th International Design and Test
Workshop (IDT), pages 1–4.
Kim, B., Phan, L. T. X., Sokolsky, O., and Lee, L. (2013).
Platform-dependent code generation for embedded
real-time software. In 2013 International Conference
on Compilers, Architecture and Synthesis for Embed-
ded Systems (CASES), pages 1–10.
Makeblock (2021). mBot.
https://www.makeblock.com/mbot (accessed on
9th March 2021).
MathWorks (2021). Matlab.
https://www.mathworks.com/products/matlab.html
(accessed on 18th March 2021).
Microchip (2021). ATMegaA328-PU. https://www.
microchip.com/wwwproducts/en/ATmega328P
(accessed on 19th March 2021).
modm. (2021). modm: a barebone embedded library gener-
ator. https://modm.io/ (accessed on 16th March 2021).
NXP (2021a). https://www.nxp.com/products/processors-
and-microcontrollers/arm-microcontrollers/general-
purpose-mcus/lpc1700-cortex-m3/512kb-flash-64kb-
sram-ethernet-usb-lqfp100-package:lpc1768fbd100
(accessed on 18th March 2021).
NXP (2021b). MCUXpresso.
https://www.nxp.com/design/software/development-
software/mcuxpresso-software-and-tools-
/mcuxpresso-integrated-development-environment-
ide:mcuxpresso-ide (accessed on 11th March 2021).
Object Management Group (2019). OMG Systems Mod-
eling Language Version 1.6. Technical report, Object
Management Group.
OMG UML (2017). OMG Unified Modeling Language
Version 2.5.1. Technical report, Object Management
Group.
Rhapsody (2020). IBM. Rational Rhapsody Developer.
https://www.ibm.com/us-en/marketplace/uml-tools
(accessed 20th August 2020).
Selic, B. (2008). Personal reflections on automation, pro-
gramming culture, and model-based software engi-
neering. Automated Software Engineering, 15(3-
4):379–391.
ST Microelectronics (2021a). STM32CubeMX.
https://www.st.com/en/development-
tools/stm32cubemx.html (accessed on 11th March
2021).
ST Microelectronics (2021b). STM32F4XX.
https://www.st.com/en/microcontrollers-
microprocessors/stm32f4-series.html (accessed
on 19th March 2021).
Trindade, R., Bulwahn, L., and Ainhauser, C. (2014).
Automatically generated safety mechanisms from
semi-formal software safety requirements. In Bon-
davalli, A. and Di Giandomenico, F., editors, Com-
puter Safety, Reliability, and Security, pages 278–293,
Cham. Springer International Publishing.
Yunfei Bai, Eng Siong Chng, and Gorthi Prashant Bhanu
(2007). An mcu description methodology for ini-
tialization code generation software. In 2007 Inter-
national Conference on Parallel and Distributed Sys-
tems, pages 1–7.
ICSOFT 2021 - 16th International Conference on Software Technologies
244