SinelaboreRT Header Logo

SinelaboreRT

It's better when it's simple!

User Tools

Site Tools


Sidebar

Modelling-Tool specific Intro

Language Backends

Getting started

How-To

Examples

Designers Toolbox

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

other_resources

Interesting readings

On this page you find interesting resources that might help you to become a better embedded software engineer.

Send us links to interesting material if you think it should appear here.

Books

Image of book Practical Model-Based Testing: A Tools Approach Practical Model-Based Testing: A Tools Approach from Mark Utting and Bruno Legeard. Chapter 5 discusses “Testing from finite state machines”.

Image of book Test-Driven Development for Embedded C “Test-Driven Development for Embedded C” from James W. Grenning. It teaches you how to use the unit testing frameworks Unity and CppUTest to test embedded software. This book does not explicitly discuss state machine testing. Read a review here.

Reports where state-machines are used in practise

  • NASA: Read this interesting article on “UML Statechart Autocoding for the Mars Science Lab (MSL) Mission”. This article describes how NASA generates flight code automatically from a state machine diagram. The generated code has been part of Curiosity’s flight software since launch, and continues to run onboard today. They describe how their generated code looks like and shares the lessons they learned. Link to the article.
This website uses cookies. By using the website, you agree with storing cookies on your computer. Also you acknowledge that you have read and understand our Privacy Policy. If you do not agree leave the website.More information about cookies

Leave your comments

Enter your comment:
 
other_resources.txt · Last modified: 2021/06/08 22:27 by pmueller