Today we (the itemis Yakindu team) published the first version (M01) of the YAKINDU 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 with the debug perspective of Eclipse and uses the Yakindu Statechart Diagram Editor to visualize the execution of the state machine by highlighting active state and 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. The screenshot shows a simulation session in action.
This version includes a C-code generator. Generators for other target languages like Java and PLCs will follow in the next version. This will be published end of march.
You can download the plugins as well as the user guide from the Yakindu website. Of course there is also an Eclipse update site where new versions of the tools will be published. Please take a look at the user guide for details on using the tools. We hope that you like the statechart tools and we highly appreciate any feedback.