Svenja Wendler

Svenja Wendler is IT consultant for itemis AG in Lünen. She is working in model based software development, validation and project organization.
Svenja Wendler

Recent Posts

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 >

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 >

Test driven development with YAKINDU Statechart Tools’ SCTUnit

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 >

How to simulate a statechart model with YAKINDU Statechart Tools

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 >

Structuring your statecharts with subdiagrams

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 >

Style your statecharts with YAKINDU Statechart Tools

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 >

Welches Werkzeug brauche ich für die Modellierung mit Zustandsautomaten?

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 >

Brauchen auch Werkzeugketten ein Refactoring?

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 >

Refactor your statechart models

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 >

A brief overview of state machine types

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 >


Popular posts