# Dokumentation aus dem Modell

### Nachweis & Audit

Dieses Kapitel beschreibt, **wie Dokumentation in Selmo entsteht**\
und warum sie **nicht manuell erstellt oder gepflegt werden muss**.

Dokumentation ist in Selmo:

* kein Zusatzaufwand
* kein separates Dokument
* kein nachträgliches Ergebnis

Sondern:

> **Eine strukturierte Sicht auf das formale Modell.**

***

### Das Grundproblem klassischer Dokumentation

In klassischen Automatisierungsprojekten ist Dokumentation häufig:

* zeitlich nachgelagert
* vom Code entkoppelt
* unvollständig oder veraltet
* schwer nachvollziehbar

Typische Situationen:

* der Code funktioniert, die Doku ist veraltet
* Änderungen werden nicht konsistent nachgezogen
* Verhalten lässt sich nicht eindeutig belegen
* Auditfragen müssen interpretiert werden

Das Problem ist dabei **nicht mangelnde Sorgfalt**,\
sondern das Fehlen einer **gemeinsamen Quelle der Wahrheit**.

***

### Das Modell als einzige Quelle

In Selmo ist das Modell diese Quelle.

Das Modell enthält bereits:

* Ablauf (Sequences, Zustände)
* Struktur (Plant, Hardware-Zonen, Zonen)
* Verhalten (Bit-Control)
* Überwachung (Interlock, CMZ, Checks)
* Reaktionen (Stop, Freigabe, Diagnose)

Damit ist alles vorhanden, was für Dokumentation notwendig ist.

> **Was im Modell beschrieben ist,**\
> **kann dokumentiert werden.**\
> **Was nicht modelliert ist,**\
> **kann nicht dokumentiert werden.**

***

### Welche Dokumentation aus dem Modell entsteht

Aus dem Modell lassen sich automatisch ableiten:

* Ablaufbeschreibungen\
  → Zustände, Übergänge, Sequenzen
* Strukturübersichten\
  → Plant, Hardware-Zonen, Sequences, Zonen
* Sicherheitsargumentationen\
  → Interlocks, CMZ, Plausibilitätschecks
* Diagnosebeschreibungen\
  → Zonen, Erwartungen, Abweichungen
* Bedienkonzepte\
  → Hand- und Automatikbetrieb, HMI-Semantik

Diese Dokumentation ist:

* konsistent
* aktuell
* eindeutig
* vollständig rückverfolgbar

***

### Nachvollziehbarkeit und Audit

Durch das formale Modell ist jederzeit nachvollziehbar:

* welcher Zustand aktiv ist
* welche Bedingungen gelten
* welche Überwachung greift
* warum eine Reaktion erfolgt

Für Audits bedeutet das:

* keine Interpretation von Code
* keine Annahmen über Verhalten
* keine losgelösten Beschreibungen

Stattdessen:

> **Ein explizites, prüfbares Verhaltensmodell.**

***

### Dokumentation und Änderungen

Änderungen erfolgen in Selmo:

* am Modell
* nicht an einzelnen Dokumenten

Das bedeutet:

* jede Änderung ist zentral
* alle Ableitungen bleiben konsistent
* keine divergierenden Dokumentstände

> **Änderung im Modell =**\
> **Änderung in Code, Diagnose und Dokumentation.**

***

### Abgrenzung zu klassischen Dokumenten

Zur Klarstellung:

* Dokumentation ≠ PDF
* Dokumentation ≠ Textbeschreibung
* Dokumentation ≠ Kommentarsammlung

Dokumentation ist:

> **eine formale Darstellung des Modells**\
> **aus unterschiedlichen Blickwinkeln.**

***

### Nutzen der modellbasierten Dokumentation

Durch modellbasierte Dokumentation wird:

* Engineering transparenter
* Betrieb sicherer
* Inbetriebnahme effizienter
* Auditierung einfacher
* Verantwortung belegbar

> **Dokumentation wird vom Pflichtdokument**\
> **zum integralen Bestandteil des Systems.**

***

### Zusammenfassung

Dokumentation in Selmo:

* entsteht automatisch aus dem Modell
* ist immer aktuell
* ist eindeutig nachvollziehbar
* unterstützt Nachweis und Audit

> **Wer das Modell versteht,**\
> **versteht auch die Dokumentation.**
