Diese drei Standardmechanismen – PairCheck, MXIC und Monitoring – ergänzen die Grundoperanten S und I.
Gemeinsam schaffen sie ein System, das ohne Zusatzlogik auskommt:
S sorgt für Ablaufsteuerung,
I für Sicherheit,
M für Diagnose,
PairCheck für Konsistenz,
MXIC für sichere Handbedienung.
Damit ist Selmo nicht nur ein Ablaufmodell, sondern zugleich ein Sicherheits- und Diagnosesystem.
Alle Mechanismen sind automatisch in der Laufzeit aktiv, unabhängig davon, ob der Programmierer daran gedacht hat.
