Das Grundproblem heutiger Maschinenlogik
1.2 Das Kernproblem heutiger Maschinenlogik
Das zentrale Problem moderner Maschinensteuerungen ist nicht fehlende Technik und auch nicht mangelnde Programmierkompetenz.
Das Kernproblem ist, dass Maschinenlogik heute überwiegend implizit existiert.
Implizite Logik
In klassischen Steuerungen entsteht Logik:
verteilt über viele Code-Stellen
als Kombination aus Bedingungen, Verknüpfungen und Seiteneffekten
häufig abhängig von Reihenfolge und Kontext
Zustände der Maschine sind dabei:
nicht explizit definiert
nicht formell beschrieben
nur indirekt aus dem Code ableitbar
Das bedeutet:
Die Maschine „weiß“, was sie tut – aber niemand kann es eindeutig nachlesen.
Logik existiert, aber sie ist nicht sichtbar.
Code ≠ Dokumentation
Traditionell gilt:
„Der Code ist die Dokumentation.“
In einfachen Systemen mag das zutreffen. In komplexen Maschinen führt diese Annahme jedoch zu einem Bruch.
Typische Symptome:
Dokumentation beschreibt einen Idealzustand
der Code entwickelt sich weiter
Abweichungen werden nicht nachgezogen
Kommentare erklären wie, aber nicht warum
Der Code zeigt:
aktuelle Signalverknüpfungen
Implementierungsdetails
Er zeigt nicht:
welche Zustände vorgesehen sind
welche Bedingungen zwingend gelten
welches Verhalten erwartet wird
Code beschreibt Umsetzung – nicht Bedeutung.
Fehlende Nachvollziehbarkeit
Aus impliziter Logik und fehlender formaler Dokumentation entsteht ein grundlegendes Nachvollziehbarkeitsproblem.
Typische Fragen lassen sich nur schwer beantworten:
In welchem Zustand befindet sich die Maschine gerade?
Warum wartet sie?
Was fehlt für den nächsten Schritt?
Warum wird eine Bewegung verhindert?
Welche Bedingung hat gerade Vorrang?
Antworten darauf:
sind personenabhängig
erfordern Erfahrung oder Codekenntnis
sind im Fehlerfall oft nicht eindeutig
Das hat konkrete Folgen:
Diagnose wird unscharf
Änderungen werden riskant
Sicherheit wird schwer argumentierbar
Verantwortung lässt sich kaum belegen
Das eigentliche Defizit
Das eigentliche Defizit ist nicht der Code.
Das Defizit ist:
das Fehlen eines expliziten, formalen Modells für das erwartete Maschinenverhalten.
Solange Verhalten nur implizit existiert:
kann es nicht überprüft werden
kann es nicht automatisch diagnostiziert werden
kann es nicht belastbar dokumentiert werden
Übergang zur Haltung
Die Konsequenz aus diesem Befund ist klar:
Maschinenlogik muss sichtbar, eindeutig und prüfbar werden.
Diese Forderung ist der Ausgangspunkt der Selmo-Haltung.
Zuletzt aktualisiert
War das hilfreich?