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.
More than bugfixes! We're happy to announce the August releases of YAKINDU Statechart Tools containing several new features!
This article illustrates the basic mechanisms of how to integrate custom Java code with YAKINDU Statechart Tools.
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?
HYPED is one of the top teams taking place in the finals of the SpaceX Hyperloop Pod Competition. Read in this blog how they use YAKINDU Statechart Tools for their Hyperloop tube.
In this article we present a model-checking approach for statecharts with YAKINDU Statechart Tools and the Gamma verification framework to achieve failure safety for safety critical applications.
Using YAKINDU Statechart Tools is an effective way to describe reactive, event-driven systems. In this blog post I want to show you how a custom code generator for the new programming language Eclipse Mita works and how you can use it in your development.
Take a look at how to generate Swift code with YAKINDU Statechart Tools.
The YAKINDU Statechart Tools team is proud to announce the release of YAKINDU Statechart Tools Standard and Professional Edition version 3.2.0 today.
May we introduce to you another YAKINDU Labs project: With SCT µConnect you get microcontroller support in YAKINDU Statechart Tools.
itemis AGAm Brambusch 15Lünen NRW email@example.com