yakindu_statechart_tools__modelling_state_machine_small.png
EDITING

SCT features an intuitive combination of graphical and textual notation for modelling state diagrams. 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.

yakindu_statechart_tools__validation_small.png
VALIDATION

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.

yakindu statechart tools_simulation.gif
SIMULATION

The simulation of state machine models allows the dynamic semantics to be checked. Also breakpoints can be set on transitions and states. Using conditional expressions allows for a more fine-grained control of the simulation run. Additionally the execution state of a simulation can be stored as a snapshot, which comprises all active and variable states. They can be restored any time to avoid repetitive manual debugging steps and thereby saving time.

yakindu_statechart_tools_code_generation.png
CODE GENERATION

SCT includes code generators for state machines in 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.

yakindu_statechart_tools_deep_c_integration.png
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.

LATEST BLOG POSTS

RESOURCES
YAKINDU Statechart Tools Online Documentation
View Video Tutorial
YAKINDU Statechart Tools in Academic and education
  • Professor David Harel

    “I like the YAKINDU Statechart Tool a lot, especially the fact that it is simple and direct, and is not burdened with some of the more advanced, expensive and heavy features of other professional Statechart tools.”

    Professor David Harel
    Vice President Israel Academy of Sciences and Humanities

    Photo: CC BY 2.0
  • Professor Tom Mens

    “YAKINDU Statechart Tools is a sophisticated tool that corresponds to the state of the art in model driven software development.”

    Professor Tom Mens
    Full professor at University of Mons (UMons) in Belgium
  • Professor Burkhard Igel

    “I am very pleased to hear compliments from my colleagues about YAKINDU Statechart Tools and actually I feel the same when using it with my students.”

    Professor Burkhard Igel
    Head of Supervisory Board itemis AG
Find out who is using the tool successfully