> For the complete documentation index, see [llms.txt](https://infosys.selmotech.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://infosys.selmotech.com/selmo-documentation/9-normen-verantwortung-and-zukunft/10-normenbezug.md). # 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.** --- # 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://infosys.selmotech.com/selmo-documentation/9-normen-verantwortung-and-zukunft/10-normenbezug.md?ask=&goal= ``` `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.