The Yakindu Statechart Tools (http://www.statecharts.org) support specification and development of reactive, event driven systems based on the concept of statecharts (aka state machines). State machines are well understood and formal enough to describe behavior unambiguously. The Statechart Tools support editing, validating, simulating state machines and generating code from state machines.
The simulation of a state machine is integrated into the 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.
SCT provide code generators for C, C++ and Java as target languages.
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.