Was ist Selmo?

Selmo ist ein modellbasierter Standard zur Beschreibung des Verhaltens von Maschinen und Anlagen.

Im Zentrum steht nicht der Code, sondern:

• Zustände

• Erwartungen

• Überwachung

• Reaktionen

Aus diesem Modell entstehen:

• SPS-Code

• HMI-Strukturen

• Diagnose

• Dokumentation

Nicht getrennt, nicht nachträglich – sondern aus derselben Quelle.

---

Was Selmo nicht ist

Zur Klarstellung:

Selmo ist nicht:

• ein SPS-Programmierstandard

• ein Framework mit Best-Practice-Bausteinen

• ein KI-Autopilot für Maschinen

• ein Ersatz für Sicherheitssteuerungen

• ein UI- oder HMI-Konzept

Selmo ersetzt keine Verantwortung. Es macht Verantwortung sichtbar.

---

Warum Selmo existiert

Moderne Maschinen sind:

• komplex

• hochautomatisiert

• rechtlich relevant

• sicherheitskritisch

Gleichzeitig ist ihre Logik oft:

• implizit

• verteilt im Code

• schwer erklärbar

• kaum überprüfbar

Das führt zu einem grundlegenden Problem:

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

Selmo existiert, um dieses „Warum“ formal zu beantworten.

---

Die Grundhaltung von Selmo

Selmo basiert auf wenigen, aber strikten Prinzipien:

Modell vor Code

Code ist eine Implementierung. Das Modell ist die Wahrheit.

Explizit statt implizit

Was relevant ist, wird modelliert. Was nicht modelliert ist, existiert nicht.

Determinismus

Zu jedem Zeitpunkt ist klar:

• welcher Zustand aktiv ist

• was erwartet wird

• wie reagiert wird

Verhalten statt Signale

Signale sind physikalisch. Verhalten ist funktional.

Verantwortung durch Nachvollziehbarkeit

Was erklärbar ist, ist überprüfbar. Was überprüfbar ist, ist verantwortbar.

---

Wie diese Dokumentation aufgebaut ist

Diese Dokumentation folgt zwei Denkpfaden:

Analytisch – vom Problem her

Warum klassische Maschinenlogik an Grenzen stößt und welche Anforderungen daraus entstehen.

Synthetisch – zum Modell hin

Wie Selmo Maschinen strukturiert:

• Plant

• Hardware-Zone

• Sequence

• Zone

• Bit-Control

• CMZ

Jeder Inhalt existiert nur einmal. Querverweise ersetzen Wiederholungen.

---

Ein letzter Gedanke

Selmo macht Maschinen nicht einfacher. Es macht sie klarer.

Klarheit ist anstrengend. Aber sie ist die Voraussetzung für:

• Sicherheit

• Skalierbarkeit

• Verantwortung

• Vertrauen

Selmo zwingt zur Klarheit – damit Maschinen erklärbar bleiben.