YAKINDU Statechart Tools (SCT) is an open source tool for the specification and development of reactive, event-based systems using state machines.
It consists of a graphical tool for editing and provides validation, simulation, and code generators for different target platforms. The tools are provided as Eclipse-plugins and integrate tightly into the IDE (Yakindu SCT Website).
KIELER | YAKINDU | ||
---|---|---|---|
Transition | YAKINDU: There is only one type for transitions KIELER: Strong Abort, Week Abort, Normal Termination | ||
Initial State | YAKINDU: Initials State are pseudo states. The Initial State may not be a Composite State. An initial state can only have one outgoing transition and no incoming. | ||
Final State | YAKINDU: Final States are pseudo states. The Final State may not be a Composite State | ||
State | |||
Composite State | |||
History | YAKINDU:
KIELER: A History is a attribute of a Transition | ||
Synchronization | |||
Choise |
KIELER | YAKINDU | |
---|---|---|
Interface declaration |
Two steps are required to adapt the Yakindu SCT Editor to the SyncCharts syntax: