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


Known Issues

The following issues are known right know.

ID Issue Comment Date when found Fixed in
70 The validation handler does not work with regions right now fixed - 3.5
71 Simulation in the built-in simulator does not work correctly in all cases. Fix planned 21.2.2013 3.11
71 Sub-machines can't be used within regions in EA. It seems to be a limitation of EA that sub-machines can't be located (even if it looks like graphically) in regions - 15.8.2013 -
72 C# is not supported anymore in the latest version. But it was supported earlier. For priority reasons the C# backend was stopped. But it will come back in one of the next releases. - 3.3
78 The exit code of states inside a region which is inside a region again is not executed open issue, needs analysis 8. Okt. 2013 3.4
- Graphviz 2.34 has an issue and can't be used with the internal editor and simulator Use the latest beta of Graphviz instead 8. Okt. 2013 -
124 Transition from an init state to a choice pseudo state in a state with children did not create compilable code in C++, Java and C# Fixed in upcoming version 01.12.2016 3.7.1
wiki/issues/known_issues.txt · Last modified: 2017/01/02 20:41 by pmueller