the free to use, open source toolkit yakindu statechart tools (sct) provides an integrated modeling environment for the specification and development of reactive, eventdriven systems based on the concept of statecharts.
editingyakindu statechart tools (sct) feature an intuitive combination of graphical and textual notation. while states, transitions, and state hierarchies are graphical elements, all declarations and actions are specified using a textual notation. the usability of the statechart editor is optimized for working with these statecharts.
validationthe validation of statecharts includes syntax and semantic checks of the complete state chart. examples of validations are the detection of unreachable states, dead ends, and references to unknown events. these validation constraints are live checked during editing.
simulationin addition to the structural validation, checking the dynamic semantics is crucial. it is not possible to determine the correctness of a statechart just by visual examination. thus, the user must be able to execute the statecharts he is working on. the integrated statechart simulation engine addresses these needs. the user can execute statecharts directly within the modeling environment. active states are directly highlighted in the statechart editor and a dedicated simulation perspective features access to execution controls (start, stop, pause, resume), inspection and setting variables, as well as raising events.
code generationyakindu statechart tools (sct) includes code generators for java, c and c++. the code generators follow a ‘codeonly’ approach and do not rely on any additional runtime library. the generated code provides a welldefined interface and can be integrated easily with any client code. the generated code is also readable and structured in such a way that allows for very effici
