In technical standards – for example the Machinery Regulation, ISO 13849 or IEC 61508 – state of the art,
that systems must be safe, traceable and reproducible.
They must be able to explain their behavior under all circumstances.
Selmo naturally meets exactly this requirement:
The behavior is described formally.
Safety logic (interlock, pair check, MXIC) is standardized.
Documentation and HMI are generated automatically.
Every action is secured by feedback.
Thus Selmo is more than a tool – it is the formal implementation of normative requirements into a methodology.
