6.1 Warum Sicherheit ein Strukturthema ist

In vielen klassischen Steuerungen wird Sicherheit durch zusätzliche Programmteile realisiert: – Not-Aus-Abfragen, – gegenseitige Verriegelungen, – zeitgesteuerte Überwachungen.

Das führt zu einem Flickenteppich aus Logik und Sonderfällen. Selmo verfolgt einen anderen Ansatz: Sicherheit ist kein Zusatz, sie ist ein inhärentes Ergebnis der formalen Struktur.

Sobald der Anwender Zonen, Zustände und Operanten definiert, entstehen alle Sicherheitsregeln automatisch: – jede Aktion besitzt ein Feedback, – jede Zone weiß, wann sie aktiv ist, – das Schaltwerk erkennt jeden Widerspruch.