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:3nov2013

Initial pseudo-states can end in a choice state now

In the current released version of sinelabore it is only possible to connect an initial pseudo-state to a normal state (hierarchical or flat). In some situations is is desirable to decide at runtime which state should be active initially when entering the state machine or a hierarchical state.

For that purpose it is now possible to connect the initial pseudo-state to a choice state which then points to the real initial state. This is possible

  • on the root level of a state machine diagram
  • in hierarchical states
  • in regions
  • in sub-machines

This adds a lot of new possibilities to design state diagrams.

This new feature requires a lot of coding internal in the generator backends and other parts of the code. Therefore this feature is only available in the CX backend initially. Also some other features of the code generator can't be used at the moment if “init to choice transitions” are used. Not available is:

  • test case generation
  • simulation / editing using the built in editor
  • robustness checks (partly)

More backends and the missing features will be added step by step depending on your feedback.

Please send me a note if you want to test the new beta. Feedback is highly welcome!

How do you like this article?
 stars  from 5 votes

Leave your comments

Enter your comment. Wiki syntax is allowed:
118 +1 = ?
 
wiki/news/3nov2013.txt · Last modified: 2013/11/03 20:48 by pmueller