SDEA Modell

1.3 Das SDEA-Modell

Selmo verwendet ein SDEA (Selmo Deterministic Ending Automat). Das bedeutet:

• Der Ablauf wird in Zuständen formuliert.

• Übergänge erfolgen nur, wenn Bedingungen erfüllt sind.

• Jede Zone kennt ihr erwartetes Verhalten:

  • 0 → nicht relevant

  • S → erwartete Reaktion oder Aktion

  • I → Interlock, zwingend erforderlicher Zustand

→ Dadurch ist jede Reaktion nachvollziehbar, testbar und dokumentierbar.