Navigation

Features

Download (Latest is 3.7.2.2)

Purchase

Manual

Supported UML Tools

Known Issues

Examples on GitHub

History of announcements

Contact

Terms of use

Privacy Statement

UML-Tool specific Intro

Enterprise Architect

Modelio

Metamill

Astah*

How-To

ArgoUML How-To

Enterprise Architect How-To

Astah* How-To

Modelio How-To

Examples

Building a ModbusRTU slave with state machines, activity diagrams and minimal runtime environment

Vending machine with PyTK GUI

Light Controller

PLCOpen Function Block

DCF77 Radio-Clock Decoder

Car Window Lift Controller

Asuro Mobile Robot Programming

Pump Controller

Room Thermostat, example with regions

Need to design on a Unix® like OS?

Wireless temperature sensor

Energia example on GitHub

Designers Toolbox

High-Availability and Safety Systems

Model-based testing of state machines I

Model-based testing of state machines II

Create nice looking state flow diagrams using Mscgen New!

Using State-Machines with a Real-Time Operating System (RTOS)

Using State-Machines in a main-loop system (without RTOS) New!

Event-based versus polling

Article on www.embedded.com State charts can provide you with software quality insurance.

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