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.

URL: https://svn.hshl.de/svn/Informatikpraktikum_1/trunk/Arduino/ArduinoLibOrdner/AlphaBot/examples/E40_Zustandsmaschine/E40_Zustandsmaschine.ino

E40_Zustandsmaschine.ino 

const int ledPin = 13;
const int buttonPin = 2;

enum State {
  LED_OFF,  // LED ist aus
  LED_ON,   // LED ist dauerhaft an
  LED_BLINK // LED blinkt
}; // Zustände

State state = LED_OFF; // LED ist aus

// Taster
bool lastButton = LOW;
unsigned long debounceTime = 0;
const unsigned long debounceDelay = 50;

// Blink-Timer
unsigned long lastBlinkTime = 0;
bool ledState = LOW;

void setup() {
  pinMode(ledPin, OUTPUT);
  pinMode(buttonPin, INPUT);
}
void loop() {

  // =========================
  // 1. EINGANGSAKTIONEN (E)
  // =========================
  bool button = digitalRead(buttonPin);

  if (button != lastButton) {
    debounceTime = millis();
  }

  bool buttonPressed = false;

  if ((millis() - debounceTime) > debounceDelay) {
    if (button == HIGH && lastButton == LOW) {
      buttonPressed = true;
    }
  }

  lastButton = button;

  // =========================
  // 2. ZUSTANDSMASCHINE
  // =========================
  switch (state) {

    // =========================
    case LED_OFF:
      // AUSGANGSAKTION (A)
      digitalWrite(ledPin, LOW);

      // ZUSTANDSÜBERGANG
      if (buttonPressed) {
        state = LED_ON;
      }
      break;

    // =========================
    case LED_ON:
      // AUSGANGSAKTION (A)
      digitalWrite(ledPin, HIGH);

      // ZUSTANDSÜBERGANG
      if (buttonPressed) {
        state = LED_BLINK;
      }
      break;

    // =========================
    case LED_BLINK:
      // E/A: Blinklogik (Output Action)
      if (millis() - lastBlinkTime > 500) {
        lastBlinkTime = millis();
        ledState = !ledState;
        digitalWrite(ledPin, ledState);
      }

      // ZUSTANDSÜBERGANG
      if (buttonPressed) {
        state = LED_OFF;
      }
      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