sinelaboreRT - Generatate efficient source code from UML state diagrams!
sinelaboreRT - Generatate efficient source code from UML state diagrams!
sinelaboreRT was built especially for embedded software developers. It focuses on just one task: Generation of readable and maintainable code from hierarchical UML state machines. With its unique features the tool covers well the requirements of embedded real-time and low power application developers. With its new C++ and C# backend it is also a perfect tool for developers of server or desktop applications.
Just state diagrams - yes of course!
State diagrams are the most important UML diagram type because they allow to model behavior and to generate the complete implementation. In opposite class diagrams only allow to model the static structure. And usually just headers/method bodies can be generated from them.
Therefore sinelaboreRT focusses on code generation from state diagrams. There are many more arguments to use state diagrams in your design. Interested? Read more in this short article.
Key Features:
- Generates C,C++,C#,Ada or Objective-C code
- Can be used with any processor and with or without OS/RTOS
- Code generation especially for embedded real-time systems
- No run-time environment needed
- Fits well in different system designs
(foreground/background, RTOS-based ...)
- Automated robustness checks of UML state-machines
- No gap between design and code
- Supported tools: Cadifra, UModel, Magic Draw,
Enterprise Architect and ArgoUML
- Support for automatic test-case generation
- Simulation in interactive or batch mode.
Now also with interactive and remote
controlled visual mode!
- Optionally generating trace code
- Extensive manual with getting started section
How does it work?
From various UML tools your state-machine model can be directly converted into the selected target language. You can influence the generation process according to your needs. To support you during test a path coverage algorithm can generate test cases for you.

Try the evaluation version right now!

Latest News (No news shown? Click here)



- Model based testing of state
machines
- What every embedded software
engineer should know about
state charts

Copyright © 2008 - 2010 Peter Mueller. All Rights reserved. See Trademarks and Terms of Use.