EDITING

Edit models with YAKINDU Statechart Tools.

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

Validate models with YAKINDU Statechart Tools.

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

Simulate models with YAKINDU Statechart Tools.

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

Code Generation for Java, C and C++ out of the box.

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.

Deep C Integration

C declarations from header files can be directly accessed in a state machine model. This includes custom types, like structs, unions and enumerations as well as functions and variables. The generated code directly includes the used header files.

Simulation Breakpoints

Breakpoints can be set on transitions and states. If a breakpoint is reached, the simulation engine suspends before the transition or the state is executed. Using conditional expressions allows for a more fine-grained control of the simulation run.

Simulation Snapshots

The execution state of a simulation can be stored as a snapshot. A snapshot comprises all active states as well as variable values. Simulation snapshots can be restored at any time to avoid repetitive manual debugging steps and thereby saving time.

Support

YAKINDU Statechart Tools Professional Support

The Professional Edition of YAKINDU Statechart Tools comes with professional support. Using the mail support function in the tool ensures that user feedback is directly sent to the right track. Our help desk is always looking forward to incoming requests.

Try Statechart Tools Pro Features
LATEST BLOG POSTS

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

Companies and institutions working with YAKINDU Statechart Tools.

Kostal
Dräger
KSB Pumpen
Budapest university of technology and economics
Universität Mons
Weizmann Institute