Statechart Tools

The Yakindu development tools are a tool kit for model based development and the statechart tools are the first module 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 actual 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.

The statechart tools and the user guide are available in the download area.