> For the complete documentation index, see [llms.txt](https://selmotech.gitbook.io/selmo-solution/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://selmotech.gitbook.io/selmo-solution/selmo-documentation/1-warum-selmo.md).

# 1 Warum Selmo?

### 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.


---

# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter:

```
GET https://selmotech.gitbook.io/selmo-solution/selmo-documentation/1-warum-selmo.md?ask=<question>&goal=<endgoal>
```

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal.

The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.