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.
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.
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.
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?
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.
We released YAKINDU Statechart Tools Standard and Professional Edition version 3.3.0 today! In the last three months, our team closed 126 issues in total. Here are the new and noteworthy changes in the our new version.
itemis AGAm Brambusch 15Lünen NRW email@example.com