YAKINDU Statechart Tools
User Guide

What is a State Machine?

A state machine is a behavior model. It consists of different so called states. Because the amount of states of a state machine is finite it is called finite state machine (FSM). There are basic types like Mealy and Moore machines and more complex types like Harel and UML statecharts. This introduction gives a short overview of the common basis and the differences between state machine types.

What are YAKINDU Statechart Tools?

YAKINDU Statechart Tools (YAKINDU SCT) is a modular toolkit for developing, simulating, and generating executable finite-state machines (FSM) or simply state machines.

Installing YAKINDU Statechart Tools

In order to start working with YAKINDU Statechart Tools, you have to install the software on your computer. We are assuming you have downloaded the software package and stored it somewhere on your machine.

Editing statecharts

This section explains how you can edit statecharts using YAKINDU Statechart Tools.

Simulating statecharts

Simulating a statechart model means to execute it, raise events manually, have time-based and other events being triggered automatically, and observe the model’s behavior.

Deep C/C++ Integration: Integrating your C/C++ source code with your state machines

The Deep C/C++ Integration feature allows using C/C++ types, variables, and operations directly within the statechart model.

SCXML Domain

YAKINDU Statechart Tools Professional Edition comes with an SCXML domain which allows to generate SCXML code from your statechart, as well as to simulate and test it in a way that is compliant to the SCXML execution semantics.

Statechart language reference

The statechart language is used to describe statecharts. It consists both of graphical and of textual elements.

Generating state machine code

Ultimately, you will need your state machine not only as a nice graphical statechart model. This chapter explains how to generate it as executable code.

Test-driven statechart development with SCTUnit

Learn more about test-driven statechart modelling and how to use SCTUnit to develop your statechart model step by step using a test-driven approach.

Searching and navigating in statecharts

YAKINDU Statechart Tools support you in quickly finding model elements and navigating to them.

Release Notes

A list of new and noteworthy features as well as bugs we have tackled down in the particular releases.