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.