State Machines module
Allows you to design, model, and implement complex control and scheduling applications using the statecharts notation.
You can simulate statecharts in Xcos or generate embedded C code from statecharts (this feature requires Equalis Coder and Embedded Coder module).
Statecharts is a popular visual formalism for specifying reactive systems which was introduced by D. Harel.
It extends conventional state transition diagrams with the notions of a hierarchy, concurrency, and communication which make it well suited for describing event-driven behaviors.