> 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/7-sicherheit-and-uberwachung/pair-check-and-weitere-checks.md). # Pair-Check & weitere Checks ### Physikalische Plausibilität Neben Interlocks (`i`) und CMZ existieren weitere Überwachungsmechanismen, die nicht den Ablauf steuern und nicht die Systemintegrität absichern, sondern die **physikalische Plausibilität von Zuständen überwachen**. Diese Checks sorgen dafür, dass **unmögliche oder widersprüchliche Zustände** erkannt und eindeutig diagnostiziert werden. *** ### Ziel physikalischer Plausibilitätschecks Plausibilitätschecks beantworten die Frage: > **Kann dieser Signalzustand in der realen Welt überhaupt existieren?** Sie dienen dazu: * fehlerhafte Sensorik zu erkennen * Verdrahtungsfehler aufzudecken * mechanische Defekte sichtbar zu machen * implizite Annahmen explizit zu prüfen Dabei gilt: > **Ein physikalisch unmöglicher Zustand**\ > **ist immer ein Fehler – unabhängig vom Ablauf.** *** ### Pair-Check #### Grundprinzip Der **Pair-Check** überwacht **zusammengehörige Signale**,\ deren gleichzeitiges Auftreten physikalisch nicht möglich ist. Typische Beispiele: * Zylinder **Endlage vorne** und **Endlage hinten** gleichzeitig aktiv * Ventil **auf** und **zu** gleichzeitig gemeldet * Achse **Position erreicht links** und **rechts** gleichzeitig Diese Signale werden als **Paar** definiert. *** #### Verhalten des Pair-Checks Wenn ein unmöglicher Zustand erkannt wird: * der Ablauf wird nicht fortgesetzt * der Zustand wird als fehlerhaft erkannt * eine **eindeutige Diagnose** wird erzeugt Der Pair-Check: * interpretiert nichts * korrigiert nichts * entscheidet nicht über den Ablauf > **Er stellt lediglich fest,**\ > **dass die Realität dem Modell widerspricht.** *** ### Pair-Check im Modellkontext Der Pair-Check ist: * an **Zonen** gebunden * unabhängig vom aktuellen Zustand * nicht zustandsabhängig wie ein Interlock * nicht systemweit wie eine CMZ Er ergänzt damit: * Interlock → logische Konsistenz * CMZ → Systemintegrität * Pair-Check → **physikalische Plausibilität** *** ### Weitere Plausibilitätschecks Neben dem Pair-Check können weitere Checks definiert werden, z. B.: #### Bear-Check Überwachung, dass ein Bearbeitungsprozess nur unter physikalisch sinnvollen Bedingungen stattfindet. Beispiele: * Bearbeitung nur bei erreichter Position * Bearbeitung nur bei aktivem Werkzeug * Bearbeitung nicht bei Stillstand des Mediums *** #### Konsistenz-Checks Überwachung logischer Zusammenhänge zwischen Signalen. Beispiele: * Rückmeldung ohne vorherige Ansteuerung * Zustandsänderung ohne mögliche Ursache * Signalwechsel außerhalb physikalischer Zeitgrenzen *** ### Automatische Diagnose Alle Plausibilitätschecks erzeugen **automatisch Diagnose**. Diese Diagnose: * verweist auf die betroffene Zone * beschreibt den widersprüchlichen Zustand * ist unabhängig vom Bediener * ist nicht interpretationsabhängig Es gibt: * keine Sammelmeldungen * keine manuelle Fehlerzuordnung * keine stillschweigenden Korrekturen > **Die Diagnose benennt den unmöglichen Zustand –**\ > **nicht eine vermutete Ursache.** *** ### Abgrenzung zu anderen Sicherheitsmechanismen Zur klaren Einordnung: * **Pair-Check & weitere Checks** * prüfen physikalische Plausibilität * wirken unabhängig vom Ablauf * erzeugen Diagnose * **Interlock (`i`)** * prüft Ablaufbedingungen * wirkt zustandsabhängig * **CMZ** * schützt Systemintegrität * verhindert jede Bewegung Plausibilitätschecks: * ersetzen keine Sicherheit * ersetzen keine Interlocks * ersetzen keine CMZ Sie **ergänzen** das Modell um überprüfbare Realität. *** ### Typische Fehler im Umgang mit Plausibilitätschecks Häufige Fehler sind: * Plausibilitätschecks als Ablaufsteuerung nutzen * fehlende Checks durch Logik kompensieren * unmögliche Zustände tolerieren * Diagnose unterdrücken oder zusammenfassen Faustregel: > **Was physikalisch unmöglich ist,**\ > **darf im Modell nicht stillschweigend akzeptiert werden.** *** ### Zusammenfassung Pair-Check & weitere Plausibilitätschecks: * erkennen unmögliche Zustände * machen physikalische Widersprüche sichtbar * erzeugen automatische, eindeutige Diagnose * erhöhen Robustheit und Erklärbarkeit > **Plausibilitätschecks sorgen dafür,**\ > **dass das Modell zur Realität passt –**\ > **oder die Abweichung klar benannt wird.** --- # 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/7-sicherheit-and-uberwachung/pair-check-and-weitere-checks.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.