Yakindu SCT

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 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).

...