YAKINDU Statechart Tools (SCT) – state machine tool

itemis-yakindu-statechart-tools-editing-125

itemis-yakindu-statechart-tools-editing-subdiagram

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.

Code generation

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.

What others say

YAKINDU Statechart Tools in academic, education and industry

“I like YAKINDU Statechart Tools a lot, especially the fact that it is simple and direct, and it 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

“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

“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

“We are excited about the overview and easy integration the YAKINDU Statechart Tools provides us with. Across our platform, complex functionalities are now simple charts, and straight forward to interact with.”

Martin Kolding Andersen
Test, Software and Support Engineer at SerEnergy A/S

YAKINDU, Statecharts, Embedded, State Machine

Rolling the dice – part 2: Controlling the state machine externally

This article illustrates the basic mechanisms of how to integrate custom Java code with YAKINDU Statechart Tools.

YAKINDU, Statecharts, Embedded, english

Rolling the dice – part 1: Calling Java methods from state machines

YAKINDU Statechart Tools provide a versatile way for modeling and testing finite-state machines. But what if you want to combine your state machine with some “outside” functionality? Or, what if you want to integrate your statechart as a component into another application?

YAKINDU, Statecharts, Embedded, State Machine, english

Formal Verification of Statechart Networks

Imagine you have developed a spacecraft that is super-safe, because following the trends, you have applied model-based design and testing. All components modeled by statecharts, tested, implemented by automatically generated code, what can go wrong?

YAKINDU Statechart Tools Use the power of state machines

Editing

Validation

Simulation

Code generation

Deep C-Integration

YAKINDU Statechart Tools in academic, education and industry

Rolling the dice – part 2: Controlling the state machine externally

Rolling the dice – part 1: Calling Java methods from state machines

Formal Verification of Statechart Networks

YAKINDU Statechart Tools Use the power of state machines

Editing

Validation

Simulation

Code generation

Deep C-Integration

YAKINDU Statechart Tools in academic, education and industry

Rolling the dice – part 2: Controlling the state machine externally

Rolling the dice – part 1: Calling Java methods from state machines

Formal Verification of Statechart Networks

Follow us