> 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/9-normen-verantwortung-and-zukunft.md). # 9 Normen, Verantwortung & Zukunft ## 9. Normen, Verantwortung & Zukunft Dieses Kapitel beschreibt, **warum formale Modelle wie Selmo über reine Technik hinaus relevant sind**. Es geht nicht darum, Normen zu zitieren oder Gesetze zu ersetzen, sondern darum zu zeigen: > **Wie erklärbares Maschinenverhalten**\ > **Verantwortung, Nachvollziehbarkeit und Zukunftsfähigkeit ermöglicht.** *** ### 9.1 Normen als Anforderung an Nachvollziehbarkeit Moderne Normen im Maschinen- und Anlagenbau fordern nicht nur funktionierende Technik, sondern **nachvollziehbares Verhalten**. Gemeinsam ist ihnen: * Fokus auf Risikoanalyse * Forderung nach begründbaren Sicherheitsannahmen * Nachweis über getroffene Maßnahmen Dabei ist entscheidend: > **Nicht der Code wird geprüft,**\ > **sondern die Argumentation hinter dem Verhalten.** *** ### 9.2 Die Rolle formaler Modelle Formale Modelle erfüllen genau diese Anforderung. Ein formales Modell: * beschreibt Zustände explizit * definiert erlaubtes und verbotenes Verhalten * legt Reaktionen eindeutig fest * ist unabhängig von Implementierungsdetails Damit wird Verhalten: * erklärbar * prüfbar * auditierbar > **Ein formales Modell ist kein Zusatz zur Norm –**\ > **es ist die Grundlage ihrer Erfüllung.** *** ### 9.3 Verantwortung durch Transparenz Mit steigender Automatisierung wächst die Verantwortung: * für Sicherheit * für Verfügbarkeit * für Entscheidungen des Systems Selmo verschiebt Verantwortung: * weg von implizitem Wissen * hin zu expliziten Modellen Durch das Modell ist jederzeit nachvollziehbar: * warum ein Ablauf stoppt * warum eine Bewegung verhindert wird * warum eine Diagnose erscheint > **Transparenz ist die Voraussetzung für Verantwortung.** *** ### 9.4 Haftung und Nachweisbarkeit Im Fehlerfall sind entscheidende Fragen: * Was war der erwartete Zustand? * Welche Bedingung galt? * Warum hat das System so reagiert? Mit impliziter Logik lassen sich diese Fragen nur schwer beantworten. Mit einem formalen Modell: * sind Annahmen dokumentiert * sind Entscheidungen begründet * ist Verhalten rückverfolgbar > **Nachweisbarkeit entsteht nicht im Nachhinein,**\ > **sondern beim Modellieren.** *** ### 9.5 KI, Code & Verantwortung Der Einsatz von KI in der Automatisierung wird zunehmen: * bei Codegenerierung * bei Optimierung * bei Assistenzfunktionen Damit entsteht eine neue Frage: > **Wer trägt Verantwortung für erzeugtes Verhalten?** Selmo trennt diese Ebenen klar: * KI kann Code erzeugen * KI kann Vorschläge machen * **das Modell definiert das erlaubte Verhalten** Das bedeutet: * KI darf umsetzen * KI darf optimieren * KI darf **nicht** entscheiden, was erlaubt ist > **Das Modell begrenzt die KI –**\ > **und macht ihren Einsatz verantwortbar.** *** ### 9.6 Zukunftsfähigkeit durch Modellklarheit Systeme, die erklärbar sind: * lassen sich erweitern * lassen sich prüfen * lassen sich automatisieren * lassen sich verantworten Selmo schafft: * eine stabile Grundlage für neue Technologien * eine klare Grenze zwischen Mensch, Modell und Maschine * eine belastbare Basis für Weiterentwicklung > **Zukunft entsteht nicht durch mehr Code,**\ > **sondern durch bessere Modelle.** *** ### Zusammenfassung Selmo adressiert nicht nur technische Komplexität, sondern strukturelle Anforderungen moderner Automatisierung: * Normen verlangen Nachvollziehbarkeit * Verantwortung verlangt Transparenz * Zukunft verlangt klare Grenzen für Automatisierung und KI > **Selmo ist ein formales Modell**\ > **für erklärbare, verantwortbare Maschinen –**\ > **heute und in Zukunft.** --- # 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/9-normen-verantwortung-and-zukunft.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.