Die Selmo-Haltung

1.3 Die Selmo-Haltung

Die Selmo-Haltung ist keine Technologieentscheidung und kein Tool-Versprechen.

Sie ist eine bewusste Antwort auf die Probleme moderner Maschinenlogik: implizite Logik, fehlende Nachvollziehbarkeit und nicht belastbare Verantwortung.

---

Modell vor Code

In Selmo ist der Code nicht der Ausgangspunkt.

Der Code ist:

• eine Implementierung

• eine Ableitung

• ein Ergebnis

Das Modell hingegen ist:

• die formale Beschreibung des Verhaltens

• die einzige Quelle der Wahrheit

• unabhängig von Programmiersprache und Plattform

Was nicht modelliert ist, existiert nicht.

Diese Haltung erzwingt:

• explizite Zustände

• klare Erwartungen

• definierte Reaktionen

Der Code folgt dem Modell – nicht umgekehrt.

---

Determinismus

Selmo geht davon aus, dass Maschinenverhalten zu jedem Zeitpunkt eindeutig sein muss.

Das bedeutet:

• die Maschine befindet sich immer in einem klar definierten Zustand

• Erwartungen sind explizit beschrieben

• Reaktionen auf Abweichungen sind festgelegt

Es gibt:

• keine impliziten Übergänge

• keine „ungefähr richtig“-Zustände

• keine situationsabhängige Interpretation

Gleicher Zustand + gleiche Bedingungen führen immer zum gleichen Verhalten.

Determinismus ist dabei keine Einschränkung, sondern die Voraussetzung für:

• Sicherheit

• Automatisierung

• Skalierbarkeit

• Analysefähigkeit

---

Verantwortung & Transparenz

Mit steigender Komplexität steigt auch die Verantwortung:

• für Sicherheit

• für Verfügbarkeit

• für Haftung

• für Nachvollziehbarkeit

Selmo akzeptiert diese Verantwortung bewusst.

Durch das formale Modell ist jederzeit nachvollziehbar:

• welcher Zustand aktiv ist

• welche Erwartungen gelten

• warum eine Reaktion erfolgt

• warum eine Bewegung erlaubt oder verhindert ist

Transparenz entsteht nicht durch Kommentare, sondern durch modellierte Bedeutung.

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

---

Konsequenz der Haltung

Die Selmo-Haltung führt zu klaren Konsequenzen:

• Maschinenlogik wird explizit

• Diagnose entsteht automatisch

• Dokumentation ist konsistent

• Änderungen sind kontrollierbar

• Verantwortung ist begründbar

Diese Haltung ist nicht verhandelbar, denn sie bildet das Fundament aller weiteren Konzepte.

---

Übergang zum Modell

Die Selmo-Haltung beantwortet das Warum.

Die folgenden Kapitel beantworten das Wie:

• wie Maschinen strukturiert werden

• wie Verhalten modelliert wird

• wie Betrieb, Sicherheit und Diagnose daraus entstehen

Erst die Haltung, dann das Modell.