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.