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.
|Practical Model-Based Testing: A Tools Approach from Mark Utting and Bruno Legeard. Chapter 5 discusses “Testing from finite state machines”.|
|“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.