Zustandsdiagramm

Autor:	Prof. Dr.-Ing. Schneider
Modul:	Praxismodul II
Lehrveranstaltung:	Mechatronik, Informatik Praktikum 2, 2. Semester

Einleitung

Zustandsdiagramme sind ein zentrales Werkzeug der Modellierung in der Informatik und Systemtechnik, um das Verhalten eines Systems über die Zeit hinweg anschaulich darzustellen. Sie beschreiben, in welchen **Zuständen** sich ein System befinden kann und wie es durch **Ereignisse oder Bedingungen** von einem Zustand in einen anderen wechselt.

Typischerweise werden Zustandsdiagramme verwendet, um reaktive Systeme zu modellieren, also Systeme, die auf äußere Eingaben reagieren – etwa Steuerungen, eingebettete Systeme oder Benutzeroberflächen. Dabei steht nicht die Berechnung einzelner Werte im Vordergrund, sondern der Ablauf von Zustandsänderungen.

Ein Zustandsdiagramm besteht im Kern aus **Zuständen**, **Übergängen** und den dazugehörigen **Auslösern (Events)** sowie optionalen **Bedingungen (Guards)** und **Aktionen**. Durch diese Struktur lassen sich komplexe Verhaltenslogiken übersichtlich und nachvollziehbar darstellen.

In der Praxis helfen Zustandsdiagramme dabei, Systeme frühzeitig zu verstehen, Fehler in der Logik zu erkennen und die Implementierung in Programmiersprachen oder Steuerungssystemen gezielt vorzubereiten.

1. Zustandsbeschreibung (State)

• Ein Zustand beschreibt eine stabile Situation eines Systems.
• Ein System bleibt in einem Zustand, bis ein Ereignis einen Übergang auslöst.

Eigenschaften eines Zustands:

• beschreibt „Was gilt gerade?“
• kann interne Variablen enthalten
• kann Aktionen ausführen (Entry / Do / Exit)

Beispiele:

• Warten
• MotorEin
• Fehlerzustand

2. Eingangs- und Ausgangsaktionen (E/A)

Zustände können Aktionen ausführen, wenn sie betreten oder verlassen werden.

Eingangsaktion (Entry Action)

Wird einmal beim Betreten des Zustands ausgeführt.

entry / Aktion

Beispiel

entry / LED = ON
entry / Zähler = 0

Ausgangsaktion (Exit Action)

Wird einmal beim Verlassen des Zustands ausgeführt.

exit / Aktion

Beispiel

exit / Motor stoppen
exit / Daten speichern

Do-Aktion (optional)

Läuft während der Zustand aktiv ist.

do / Aktion

= Beispiel

do / Temperatur messen

3. Zustandsübergänge (Transitions)

Ein Zustandsübergang beschreibt den Wechsel von einem Zustand in einen anderen. Er wird durch ein Ereignis ausgelöst.

Darstellung:

Ereignis / Aktion

oder erweitert:

Ereignis [Bedingung] / Aktion

Beispiel

TasterGedrückt / LED = ON

Bedeutung:
Wenn der Taster gedrückt wird → LED einschalten

4. Bedingungen für Zustandsübergänge (Guards)

Eine Bedingung (Guard) ist eine logische Voraussetzung, die erfüllt sein muss, damit ein Übergang stattfindet.

Schreibweise:

Ereignis [Bedingung]

Beispiel

TasterGedrückt [Temperatur > 50°C] / Alarm = ON

Bedeutung:
Übergang nur, wenn Temperatur größer als 50°C ist

Eigenschaften von Bedingungen:

• sind logische Ausdrücke (true/false)
• werden vor dem Übergang geprüft
• verhindern oder erlauben Übergänge

Demo

Hier ist ein einfaches Beispiel für eine Zustandsmaschine (Finite State Machine, FSM) in der Arduino IDE. Typisch ist das z. B. für LED-Steuerungen oder kleine Abläufe.

Beispiel: LED mit 3 Zuständen

Wir definieren drei Zustände:

• AUS
• AN
• BLINKEN

Umschaltung erfolgt über einen Taster.

// Pin-Definitionen
const int ledPin = 13;
const int buttonPin = 2;

// Zustände definieren
enum State {
  LED_OFF,
  LED_ON,
  LED_BLINK
};

State currentState = LED_OFF;

// für Tasterentprellung
bool lastButtonState = LOW;
unsigned long lastDebounceTime = 0;
const unsigned long debounceDelay = 50;

void setup() {
  pinMode(ledPin, OUTPUT);
  pinMode(buttonPin, INPUT);
  Serial.begin(9600);
}

void loop() {
  handleButton();
  runStateMachine();
}

void handleButton() {
  bool reading = digitalRead(buttonPin);

  if (reading != lastButtonState) {
    lastDebounceTime = millis();
  }

  if ((millis() - lastDebounceTime) > debounceDelay) {
    if (reading == HIGH && lastButtonState == LOW) {
      // Zustand wechseln bei Tastendruck
      switchState();
    }
  }

  lastButtonState = reading;
}

void switchState() {
  if (currentState == LED_OFF) {
    currentState = LED_ON;
  } 
  else if (currentState == LED_ON) {
    currentState = LED_BLINK;
  } 
  else {
    currentState = LED_OFF;
  }

  Serial.print("Neuer Zustand: ");
  Serial.println(currentState);
}

void runStateMachine() {
  switch (currentState) {

    case LED_OFF:
      digitalWrite(ledPin, LOW);
      break;

    case LED_ON:
      digitalWrite(ledPin, HIGH);
      break;

    case LED_BLINK:
      digitalWrite(ledPin, millis() % 500 < 250);
      break;
  }
}

Videos

Mealy Automat - einfache Erklärung & anschauliches Beispiel!

Snack-Automat als Zustandsdiagramm

Tutorials

• Wikipedia: Zustandsdiagramm
• Zustandsdiagramme mit MATLAB^®

→ zurück zum Hauptartikel: Informatik Praktikum 2