Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams
MohammadHossein AskariHemmat, Otmane Aı̈t Mohamed, Mounir Boukadoum · 2016
SysML/UML activity diagrams are widely used for the modeling and analysis of complex systems and they have become a de-facto standard for software and embedded systems. Previously in our group, we formalized SysML activity diagrams by developing a calculus called New Activity Calculus (NuAC). In this work, we redefine NuAC terms to support code generation for ARM Cortex-M processors and we present an automated SysML activity diagram to RTX (Keil Real-Time Operating System) code generator that uses mapping rules expressed in NuAC. To demonstrate the capability of the developed tool, we use it for scheduling of a JPEG Encoder on an ARM Cortex-M4 device.