EDITING

modeling_small.png

SCT features 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 simply fascinating.

VALIDATION

validation_small.png

The validation of state machines includes syntax and semantic checks of the full model. Examples of built in validation rules are the detection of unreachable states, dead ends and references to unknown events. These validation constraints are checked live during editing.

SIMULATION

simulation_small.png

The simulation of state machine models allows the dynamic semantics to be checked. Active states are directly highlighted in the statechart editor and a dedicated simulation perspective features access to execution controls, inspection and setting variables, as well as raising events.

CODE GENERATION

generation_small.png

SCT includes code generators for Java, C and C++ out of the box. The code generators follow a code-only approach and do not rely on any additional runtime library. The generated code provides a well-defined interface and can be integrated easily with any client code.

LATEST BLOG POSTS
Filter by:

RESOURCES
Get YAKINDU Statechart Tools Professional Edition
View Video Tutorial
YAKINDU Statechart Tools Online Documentation
YAKINDU Statechart Tools Partner