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 >
Recent Posts
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 >
Recently we had a discussion about Test Driven Development. Is it really important or just a buzzword. We agreed quickly: it is not a Buzzword. TDD is a skill. You need to acquire it, you need to practice it, you need to do it. And you can do TDD on statechart models within YAKINDU Statechart Tools – with SCTUnit. Read more >
Recently I heard a radio spot about the Ferris wheel in Vienna. It celebrates its 120th anniversary this year. While thinking about how to model the control of such a Ferris wheel I realized this might be a good example to explain YAKINDU Statechart Tools’ simulation feature to you. Read more >
Composite states are a good means to bring order and structure to a statechart. However, as a statechart grows, it may easily become too big to give a comprehensive overview of the whole model anymore. Let's have a look at how subdiagrams can help you out. Read more >
Did you know you can style your statecharts with YAKINDU Statechart Tools? For example, it might be useful to highlight certain states by color – especially when dealing with large state machines. You can group states by color and point out semantics by coloring states. Or maybe you want to mark statecharts that need to be reworked by color. Therefore it's our "feature of the month". Read more >
In meinem letzten Artikel habe ich euch von Emil erzählt. Er und sein Entwicklerteam kamen mit der Weiterentwicklung in ihrem Projekt nicht mehr weiter. Ihr Modellierungswerkzeug behinderte ihre Arbeit bei der Entwicklung einer selbstregulierenden Steuerung für Ampelsysteme mehr als es sie unterstützte. Weiterlesen >
Neulich traf ich Emil, den erfahrenen Entwickler. Weil er überarbeitet aussah, fragte ich ihn, was denn los sei. Als hätte er darauf gewartet, sprudelte er los: „Es geht nicht mehr, es geht einfach nicht mehr, wir kommen nicht weiter.“ Weiterlesen >
YAKINDU Statechart Tools has a lot of useful features. In this series we present the "feature of the month" that will help you domesticating your maybe exceeding statechart models. Read more >
State machines are used as behavior models. They consist of different so called states. Because the amount of states of a state machine is finite it is called finite state machine (FSM). There are basic types like Mealy and Moore machines and more complex types like Harel and UML statecharts. This article gives a short overview of the common basis and the differences between state machine types. Read more >
