SDEA model

1.3 The SDEA model

Selmo uses a SDEA (Selmo Deterministic Ending Automaton). This means:

• The process is formulated in states stated.

• Transitions occur only when conditions are met.

• Each zone knows its expected behavior:

  • 0 → not relevant

  • S → expected reaction or action

  • I → interlock, mandatory required state

→ This makes every reaction traceable, testable and documentable.