1 Warum Selmo?

Problem & Haltung

Ein Executive Summary

Moderne Maschinen sind leistungsfähig, vernetzt und hochautomatisiert. Gleichzeitig wird ihr Verhalten immer schwerer erklärbar.

Der Code funktioniert – aber er beantwortet zentrale Fragen nicht mehr:

• Warum steht die Maschine?

• Was wird gerade erwartet?

• Was darf hier passieren – und warum?

• Wer trägt wofür Verantwortung?

Selmo existiert, um genau diese Fragen formal zu beantworten.

---

Das Kernproblem heutiger Automatisierung

In klassischen Automatisierungsprojekten ist Maschinenlogik:

• implizit im Code verteilt

• vermischt mit Bedienung und Sicherheit

• schwer nachvollziehbar

• kaum prüfbar

Code beschreibt was passiert, aber nicht warum es passieren darf.

Damit wird:

• Diagnose unscharf

• Dokumentation inkonsistent

• Verantwortung diffus

• Haftung schwer argumentierbar

---

Was Selmo anders macht

Selmo verschiebt den Fokus:

vom Code → zum Modell

Statt Befehlen beschreibt Selmo:

• Zustände

• Erwartungen

• Überwachung

• Reaktionen

Maschinenverhalten wird:

• explizit

• vollständig

• deterministisch

• nachvollziehbar

Das Modell wird zur Wahrheit. Code ist nur eine Umsetzung.

---

Was Selmo konkret liefert

Mit Selmo entsteht ein formales Verhaltensmodell, aus dem sich ableiten:

• SPS-Code

• HMI-Strukturen

• Diagnose

• Dokumentation

Nicht separat. Nicht nachträglich. Sondern aus derselben Quelle.

Das Ergebnis:

• konsistentes Verhalten

• automatische, korrekte Diagnose

• eindeutige Zustandsführung

• stabile Dokumentation

---

Warum das entscheidend ist

Selmo macht Maschinen:

• erklärbar → Zustände, Erwartungen und Abweichungen sind eindeutig

• überprüfbar → Verhalten ist formell beschrieben, nicht interpretiert

• verantwortbar → Entscheidungen, Reaktionen und Sicherheitsannahmen sind begründbar

• skalierbar → Komplexität wird strukturiert, nicht verteilt

---

Sicherheit, Betrieb und Verantwortung

Selmo trennt sauber:

• Ablauf (Sequence)

• Technik (Zone)

• Verhalten (Bit-Control)

• Betrieb (Hardware-Zone)

• Integrität (CMZ)

Hand- und Automatikbetrieb sind:

• keine Sonderlogiken

• keine Ausnahmen

• keine Bypässe

Sicherheit ist:

• modelliert

• permanent aktiv

• hierarchisch wirksam

---

Relevanz für Normen und Zukunft

Durch das formale Modell ist jederzeit nachvollziehbar:

• welcher Zustand aktiv war

• welche Bedingungen galten

• warum eine Reaktion erfolgte

Das ist entscheidend für:

• funktionale Sicherheit

• Normenargumentation

• Auditierbarkeit

• Haftung

• Einsatz von KI in der Programmierung

Was modelliert ist, ist erklärbar. Was erklärbar ist, ist verantwortbar.

---

Was Selmo bewusst nicht ist

Selmo ist:

• kein Low-Code-System

• kein SPS-Framework

• kein UI-Konzept

• kein Ersatz für Sicherheits-Hardware

• kein Shortcut für Komplexität

Selmo ersetzt keine Verantwortung. Selmo macht sie sichtbar.

---

Die zentrale Aussage

Selmo ist ein formales Modell für erklärbare Maschinen.

Nicht mehr. Aber auch nicht weniger.

Wenn du das Modell verstehst, verstehst du die Maschine.