10 Normenbezug

9.1 Normenbezug

Nachvollziehbarkeit als zentrale Anforderung

Dieses Kapitel beschreibt, wie Selmo normativen Anforderungen begegnet – nicht durch das Abbilden einzelner Normenpunkte, sondern durch eine grundlegend nachvollziehbare Beschreibung von Maschinenverhalten.

Selmo ersetzt keine Norm. Selmo schafft die Voraussetzung, Normen belastbar zu erfüllen.

---

Normen fordern Begründung, nicht Code

Zentrale Normen im Maschinen- und Anlagenbau – etwa im Bereich Maschinensicherheit und funktionale Sicherheit – haben eine gemeinsame Stoßrichtung:

• Risiken müssen identifiziert werden

• Maßnahmen müssen begründet sein

• Verhalten muss nachvollziehbar beschrieben werden

Dabei ist entscheidend:

Nicht der Code wird bewertet, sondern die Argumentation hinter dem Verhalten.

Ein funktionierendes Programm allein liefert dafür keinen ausreichenden Nachweis.

---

Das strukturelle Problem klassischer Nachweise

In klassischen Projekten ist der Normennachweis häufig:

• verteilt über Dokumente

• getrennt von der Steuerungslogik

• schwer mit dem realen Verhalten verknüpfbar

• stark personenabhängig

Typische Situationen:

• Sicherheitsannahmen sind nicht explizit modelliert

• Verhalten ergibt sich implizit aus Code

• Änderungen unterbrechen die Argumentationskette

Das erschwert:

• CE-Konformität

• Auditierbarkeit

• Haftungsargumentation

---

Formale Modelle als Antwort auf Normanforderungen

Selmo adressiert dieses Problem über ein formales Verhaltensmodell.

Ein formales Modell:

• beschreibt Zustände explizit

• definiert erlaubtes und verbotenes Verhalten

• legt Reaktionen eindeutig fest

• ist unabhängig von Implementierungsdetails

Damit wird nachvollziehbar:

• warum ein Zustand existiert

• unter welchen Bedingungen er gültig ist

• welche Reaktion bei Abweichung erfolgt

Das Modell wird zur tragenden Argumentationsbasis.

---

Einordnung typischer Normanforderungen

Ohne einzelne Normen zu zitieren, lässt sich festhalten:

• Risikobetrachtung → Zustände, Bedingungen und Überwachungen sind explizit modelliert

• Funktionale Sicherheit → sicherheitsrelevantes Verhalten ist formal beschrieben und überprüfbar

• Nachvollziehbarkeit → Verhalten ist nicht implizit, sondern erklärbar

• Änderungsbeherrschung → Änderungen erfolgen am Modell und bleiben konsistent

Selmo liefert damit keine Normtexte, sondern eine strukturierte Antwort auf Normanforderungen.

---

Bedeutung für Audit und Bewertung

Für Audits bedeutet ein Selmo-Modell:

• Verhalten kann gezeigt werden, nicht nur erklärt

• Zustände und Reaktionen sind eindeutig

• Sicherheitsannahmen sind nachvollziehbar

• Abweichungen sind formal begründet

Auditoren müssen:

• keine implizite Logik interpretieren

• keinen Code „lesen“

• keine Annahmen rekonstruieren

Das Modell spricht für sich.

---

Abgrenzung

Zur Klarstellung:

• Selmo ist keine Norm

• Selmo ersetzt keine Risikobeurteilung

• Selmo ersetzt keine Sicherheitssteuerung

Selmo:

• strukturiert Verhalten

• macht Annahmen explizit

• unterstützt normgerechte Argumentation

---

Zusammenfassung

Normen verlangen:

• nachvollziehbares Verhalten

• begründete Sicherheitsmaßnahmen

• überprüfbare Entscheidungen

Selmo liefert:

• ein formales Verhaltensmodell

• explizite Zustände und Bedingungen

• eine konsistente Argumentationsbasis

Normenkonformität beginnt nicht beim Dokument, sondern beim Modell.