Browse the whole documentation.
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.
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.
This section explains how you can edit statecharts using YAKINDU Statechart Tools.
The Deep C/C++ Integration feature allows using C/C++ types, variables, and operations directly within the statechart model.
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.
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.
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.