SinelaboreRT generates readable and maintainable code from hierarchical UML state machines created with Metamill. With its unique features the code-generator covers well the requirements of embedded real-time and low power application developers. With its new C++ and Java backend it is also a perfect tool for developers of server or desktop applications.

Key Features:

• Automated robustness checks before code generation
• No run-time environment needed
• Can be used with any CPU and with or without OS/RTOS
• Code generation especially for embedded real-time and high availability systems.
• Fits well in different system designs (foreground/background, RTOS-based …)
• No gap between design and code
• Support for automatic test-case generation
• Simulation in interactive or batch mode.
• Optionally generating trace code
• Generated code creates no trouble when using static code checkers

The following example shows how the code generator works by means of a simple microwave oven.

Requirements:

• Cooking time can be adjusted from 0s and 60s.
• Cooking starts if the cooking time is > 0s and the door is closed.
• If the door is opened during cooking the microwave generator is switched off. The cooking time stops.
• Cooking continuous if the cooking time is not over and the door is closed again
• Cooking stops if the cooking time is over or the time is adjusted to zero.
• Cooking time and power can be changed at any time.

The sate machine below shows a possible solution.

To generate for example C code just export your model to XMI and call the code generator as follows:

java -jar codegen.jar -p MM -t "ImplementationView:Oven"  -o oven oven.xmi

After checking the model against a set of well-formedness rules (e.g. no double state names, all transitions have an event) the complete state machine code is generated.

Done!

Look into the generated files: oven.c oven.h oven_ext.h

Download a free 30 days evaluation version and test the code-generator and read some of the articles from the Designers Toolbox to get a deep understanding of the various generator features.

Feel free to send us questions if you get stuck.