> 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/4-struktur-der-maschine-statisch/bit-control.md). # Bit Control ### 1. Warum braucht es Bit-Control? In klassischen Steuerungsprogrammen entsteht Verhalten implizit: * Bedingungen sind über den Code verteilt * Erwartungen an Signale sind nicht vollständig beschrieben * Überwachung erfolgt punktuell oder ereignisgetrieben * Diagnose entsteht nachträglich Damit bleibt eine zentrale Frage unbeantwortet: **Was darf, muss oder ist egal – in genau diesem Zustand der Maschine?** Bit-Control existiert, um diese Frage **explizit, vollständig und formal** zu beantworten. *** ### 2. Was ist Bit-Control? **Bit-Control** beschreibt das **erwartete und erlaubte Verhalten jeder Zone in jedem Zustand einer Sequence**. Es ist: * kein Programmcode * keine Sicherheitsfunktion * keine Abfrage * kein Ereignis Sondern: > **Ein formaler Verhaltensvertrag zwischen Zustand und Zone.** *** ### 3. Grundprinzip von Bit-Control Das Prinzip ist einfach und strikt: * Eine Sequence befindet sich in genau **einem Zustand** * Jede Zone hat in diesem Zustand **eine definierte Bedeutung** * Diese Bedeutung wird **explizit festgelegt** Damit gilt: > **Kein Zustand ohne Bewertung.**\ > **Keine Zone ohne Bedeutung.** Das Ergebnis ist: * vollständige Zustandsbeschreibung * permanente Überwachung * deterministisches Verhalten *** ### 4. Die Bit-Control-Matrix Bit-Control wird formal als **Kreuztabelle** dargestellt: * **Spalten** → Zustände der Sequence * **Zeilen** → Zonen * **Zellen** → Operanden (`0`, `S`, `i`) Diese Matrix ist: * **das Modell**, nicht die Implementierung * vollständig * eindeutig * maschinen- und menschenlesbar > Die Bit-Control-Matrix beschreibt das gesamte logische Verhalten einer Sequence. *** ### 5. Die Operanden #### 5.1 `0` – Don’t Care **Bedeutung:** * Die Zone ist in diesem Zustand **nicht relevant** * Es wird nichts erwartet * Es wird nichts geprüft * Es erfolgt keine Reaktion **Zweck:** * klare Entkopplung * fokussierte Modelle * Vermeidung unnötiger Abhängigkeiten *** #### 5.2 `S` – Sequence Check **Bedeutung:** * In diesem Zustand wird **ein Verhalten erwartet** * Das System: * setzt ggf. einen Output * wartet auf eine definierte Rückmeldung * Sobald die Erwartung erfüllt ist: * gilt der Zustand als erfüllt * der Übergang kann erfolgen **Zweck:** * Ablaufsteuerung * Bedienerführung * deterministische Progression > `S` beschreibt **Fortschritt**, nicht Sicherheit. *** #### 5.3 `i` – Interlock **Bedeutung:** * Die Bedingung **muss erfüllt sein** * Bei Abweichung: * sofortiger Verlust der Automatikfreigabe * Stop der Sequence * automatische Diagnose **Zweck:** * Schutz des Ablaufs * Verhinderung unzulässiger Zustandskombinationen > `i` schützt den **logischen Ablauf**, nicht die Maschine als Ganzes. *** ### 6. Bit-Control und Verhalten im Betrieb Bit-Control wirkt: * kontinuierlich * zustandsabhängig * unabhängig vom Betriebsmodus Unterschiede: * `S` → führt und wartet * `i` → überwacht und schützt * `0` → ignoriert bewusst > Bit-Control bewertet **immer den aktuellen Modellzustand**, nicht Ereignisse. *** ### 7. Bit-Control im Automatikbetrieb Im Automatikbetrieb gilt: * Die Automatikfreigabe ist Voraussetzung * Bit-Control überwacht permanent * Bei erfülltem `S`: * Zustand wird abgeschlossen * Übergang erfolgt automatisch * Bei Abweichung eines `i`: * sofortiger Abbruch * Entzug der Automatikfreigabe * Diagnose wird automatisch erzeugt Es ist **keine zusätzliche Fehlerlogik notwendig**. *** ### 8. Bit-Control im Handbetrieb Auch im Handbetrieb gilt: * Zustände bleiben gültig * Bit-Control bleibt aktiv * Überwachung bleibt wirksam Der Unterschied: * Der Bediener beeinflusst Zonen manuell * Ziel ist die **Erfüllung der aktuellen Zustandsbedingungen** Ein `i` wirkt weiterhin als Schutz: * keine unzulässige Bewegung * keine Umgehung der Logik > Handbetrieb ist **keine Ausnahme**, sondern dieselbe Logik mit anderer Einflussquelle. *** ### 9. Abgrenzung zu anderen Überwachungen Zur Klarstellung: * Bit-Control ≠ **CMZ**\ → CMZ wirkt zustandsunabhängig * Bit-Control ≠ **MXIC**\ → MXIC regelt manuelle Aktionen * Bit-Control ≠ **Sicherheits-Hardware**\ → Bit-Control ersetzt keine Not-Halt-Kette Bit-Control schützt den **Ablauf im Modell**, nicht die physikalische Sicherheit allein. *** ### 10. Typische Fehler bei Bit-Control Häufige Fehler sind: * `i` inflationär einsetzen * `S` als Sicherheitsersatz missbrauchen * Zonen ohne klare Bedeutung * Zustände nicht vollständig bewerten * implizite Annahmen statt expliziter Operanden Eine gute Faustregel: > **Wenn du erklären musst, warum etwas so ist, fehlt ein Operand.** *** ### 11. Warum Bit-Control der Kern von Selmo ist Bit-Control ermöglicht: * vollständige Verhaltensbeschreibung * automatische, korrekte Diagnose * klare Zustandslogik * normfähige Argumentation * formale Grundlage für KI-Unterstützung Oder anders gesagt: > **Bit-Control macht Maschinenverhalten erklärbar.** *** ### 12. Zusammenfassung Bit-Control ist: * der formale Verhaltenskern von Selmo * explizit, vollständig und deterministisch * unabhängig von Implementierung und UI * Grundlage für Ablauf, Diagnose und Sicherheit > **Ohne Bit-Control gibt es kein überprüfbares Maschinenmodell.** --- # 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/4-struktur-der-maschine-statisch/bit-control.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.