SinelaboreRT Header Logo


It's better when it's simple!

User Tools

Site Tools


Tool Landing Pages


Designers Toolbox


Integrated state-chart editor with auto-layout

Focus on modeling and not on moving states around to create a nice looking diagram! Syntax aware text fields offer a comfortable way to specify actions, guards etc. When the diagram passed the model checker it can be directly simulated. Connect the diagram to the real hardware to monitor the state machine in action.

There are better ways to model state machines than using spread sheets!

In the past different μC manufacturers have published application notes about the benefit of using state machines for the design of embedded software. An example is the application note SLAA402 from Texas Instruments (TI). It suggests to generate source code based on a spread sheet table. Nowadays several affordable UML modeling tools are available supporting the efficient design of state machines in a graphical way. SinelaboreRT generates production quality source code from state diagrams created with many different UML tools. Give it a try!

Latest Changes


Screenshots of the Simulator using Regions

The following screenshots show the simulator simulating the microwave oven example as available in the examples folder. States marked in red are active at the moment. Transitions marked in blue can be triggered from the active states. The output window shows the executed code (i.e. the entry/do/exit code you added to the state diagram). The simulator has to be called as shown below. I assume your shell prompt is located in the microwave_ea9_using_regions_c folder. Make sure you have Graphviz installed and in codegen.cfg configuration file the correct path to the dot.exe is set (e.g. DotPath=“C:\\Program Files\\Graphviz2.22\\bin\\dot.exe” for Windows or DotPath=/usr/local/bin/dot if you are on OS X)

java -Djava.ext.dirs=../../bin/ -jar ../../bin/codegen.jar -E -p EA -t "Model:implementation:oven" -o oven  oven.xml

After startup and reset of the simulation

After some time of cooking and then opening the door (pause)

After oven has counted down to zero and waiting the cook to open the door.

A demo of the code generator is available for download. Give it a try!

wiki/news/26feb2013.txt · Last modified: 2013/03/01 20:13 by pmueller