Basics
Small statecharts, one modelling concept each: hierarchy, orthogonality, history states, events and execution semantics.
Code Generation
Statecharts generated for C, C++, Java, Python and SCXML — single and multi state machine projects.
Testing
Unit-testing statecharts with SCTUnit, with generated tests for C, C++, Java and Python.
Embedded Targets
Generated state machines running on real hardware: Arduino, MSP430, STM32, ESP32 and Raspberry Pi.
Platform & RTOS Integration
Wiring generated code into its environment: interrupts and polling, FreeRTOS and Zephyr.
Applications
Complete example applications — traffic lights, coffee machines, a digital watch — in C, C++, Java, Python and Qt.