itemis AG

YAKINDU Statechart Tools Use the power of state machines

YAKINDU Statechart Tools provides an integrated modelling environment for the specification and development of reactive, event-driven systems based on the concept of state machines.

Download now Buy a license

Create state machines of any complexity with ease

YAKINDU Statechart Tools 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.

itemis-yakindu-statechart-tools-editing-125 itemis-yakindu-statechart-tools-editing-subdiagram itemis-yakindu-statechart-tools-editing

Prevent dead ends with build-in live 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 dead ends and references to unknown events. These validation constraints are checked live during editing.

Verify your work: simulate your state machine within the tool instantly

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.

 
 

Generate code for various languages out of the box

YAKINDU Statechart Tools 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.

Save time & effort: use C declarations within the tool directly

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

 
 
What others say

YAKINDU Statechart Tools in academic, education and industry
More from itemis
YAKINDU, Statecharts, Embedded, english

Robot control by YAKINDU Statechart Tools: Leading state machine software supports Club Robotique La Garenne

Time and time again we’re amazed by the various use cases in which YAKINDU Statechart Tools comes into operation. Now, we’d like to present another competition – the French Cup of Robotics at EUROBOT 2018. One of the teams uses YAKINDU Statechart Tools to control their robots.

by Svenja Wendler
Oct 19, 2018
YAKINDU, Statecharts, State Machine, Embedded, english

Searching in state machines with YAKINDU Statechart Tools

The larger the state machine, the greater the need to quickly search for elements, for example, to find a certain state or to find all occurrences of a certain variable or event. YAKINDU Statechart Tools provides this functionality and this blog post shows how to make the most use out of it.
by Thomas Kutz
Oct 11, 2018
Embedded, YAKINDU, Statecharts, english

Taking SCXML to the next level

Although SCXML is widely used, there's a lack of good tool support. If you want SCXML compliant verification, simulation and means to write unit tests, then you should read this blog post on how to take SCXML modeling to the next level with YAKINDU Statechart Tools.
by Andreas Mülder
Aug 29, 2018
More articles statecharts

itemis AG
Am Brambusch 15
Lünen NRW 44536
+49-231-9860-606
info@itemis.com

Follow us
Copyright 2018. All Rights Reserved