How to create robust system models with YAKINDU Statechart Tools and verification tools

With statecharts, we can model behavioral systems like machines, robots, mobile apps and more. For safety critical applications it is necessary that they are failure safe. We need to ensure this with absolute certainty. YAKINDU Statechart Tools’ configurability can help to achieve this, for example by combining it with a model checking tool or otherwise integrating it into existing toolchains. Read more >

Using Eclipse Mita with YAKINDU Statechart Tools

Using YAKINDU Statechart Tools is an effective way to describe reactive, event-driven systems. As part of my master thesis I took YAKINDU Statechart Tools and implemented a custom code generator for the new programming language Eclipse Mita. In this blog post I want to show you how it works and how you can use it in your development. Read more >

YAKINDU Statechart Tools March release – new and noteworthy

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 new version: Read more >

Swift Code Generation with YAKINDU Statechart Tools

Swift is a programming languages made by Apple, mostly for their iOS and MacOS ecosystem, to replace Objective-C. However, using the official port, a stripped-down version of Swift can also be used under Linux, although it is lacking, for example, graphical libraries that are bound to Apple systems. Cross-compiling iOS or MacOS apps is therefore still not possible, due to missing ports of the required libraries. Working with Swift on Windows is only possible with an unofficial port and may or may not work properly. Read more >

YAKINDU Statechart Tools January release – new and noteworthy

We released YAKINDU Statechart Tools Standard and Professional Edition version 3.2.0 today! In the last three months, the YAKINDU team fixed 66 Standard Edition and 28 Professional Edition issues. Apart from several bug fixes, we added some great new features: Read more >

SCT µConnect – microcontroller support in YAKINDU Statechart Tools

By default, statechart models in YAKINDU Statechart Tools are platform-agnostic. There are  no assumptions made about any target platform. Thus the code is platform-independent, and the generated C or C++ code can be used on any microcontroller.  Read more >

Tune your Pinewood Car with YAKINDU Statechart Tools

YAKINDU Statechart Tools have a wide range of use: They are used in academic and commercial contexts – and even in spare time. Let’s take a look at a project of one YAKINDU Statechart Tools user. Scott Dixon realized a light control for his son’s Pinewood Car. Read more >

Using YAKINDU Statechart Tools for exploring system simulator models in Dynamic Probabilistic Safety Assessment

Dynamic Probabilistic Safety Assessment (DPSA) is an important and viable means to analyze, understand, and thus mitigate risks associated with operating nuclear power plants. This article explains how YAKINDU Statechart Tools help to set up realistic accident models, which allow software used in DPSA, like MAAP5 and RAVEN, to generate all possible accident scenarios as a so-called Dynamic Event Tree (DET). Read more >

Python code generation with YAKINDU Statechart Tools

Maybe you read about the TypeScript code generator here before? Well, let’s talk about a real scripting language that you might have missed in our YAKINDU Statechart Tools code generation options: Python. The Python code generator is implemented and available as a beta version in YAKINDU Labs – and of course it needs review from some enthusiastic Python coders. So you’re invited to give it a try! Read more >

Interactive 3D Visualization and Simulation with State Machines

The simulation of behavior models, for instance using YAKINDU Statechart Tools, is an important feature for evolutionary, model-based software development. Imagine that you can see the simulation of the behavior model side-by-side with the behavior of the system at the same time. How would it be if you could interactively change the behavior model, properties of the system or the environment of the system during simulations to explore different solutions? Read more >

COMMENTS

Popular posts