Graphical HierarchicalFSM Languages
Multitude of commercial and non-commercial variants:
- StateCharts, BetterCharts, SpeedCharts, …
Easy to use for control-dominated systems
Simulation (animated), SW and HW synthesis
Extended with arithmetics
Original StateCharts have problems with instantaneous reaction (micro-steps):
- behavior is implementation-dependent
- not a truly synchronous language!!!!