SinelaboreRT Header Logo

SinelaboreRT

It's better when it's simple!

User Tools

Site Tools


Sidebar

Tool Landing Pages

Examples

Designers Toolbox

How-To

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

PageDateUserTags
Generate efficient source code from UML state diagrams and activity diagrams! 2017/04/23 11:02 Peter Mueller  
Navigation 2017/04/23 10:55 Peter Mueller  
wiki:news:10sep2013

Creating complex state machines

The sinelabore code generator allows the generation of state machine code from quite complex state machines.

Nevertheless there are users who want to generate code from even more complex models. Especially if you used specialized state machine modeling tools before and now want to switch to general purpose UML tools this is for you.

Examples for features not possible before are states in regions that contain regions again (region in region1). Or models with sub-machines in regions. Both is shown in the figure below.

Have fun!

How do you like this article?
 stars  from 3 votes
1)
Regions are well supported from the code-generator. But simulation and test-case generation is not yet possible. For more details have a look in the manual.

Leave your comments

Enter your comment. Wiki syntax is allowed:
31 -4᠎ = ?
 
wiki/news/10sep2013.txt · Last modified: 2013/09/21 19:12 by pmueller