YAKINDU is a tool kit for model based development and the statechart tools are the first modules
provided by this project. The tools apply the concept of state machines that are well understood and
formal enough to describe behaviour unambiguously. The statechart tools support editing, validating,
simulating state machines and generating code from state machines. The tools are provided as
Eclipse-plugins and integrate tightly into the IDE.
The simulation of a state machine is integrated into the YAKINDU state machine Diagram Editor
and provides visual highlighting of the active state and the current transition. Additionally, the user
can interact with the simulation by sending triggers to or by changing variable values within the
simulator to drive the state machine (Yakindu SCT Website).