In many traditional control systems, safety is implemented through additional program parts:
– emergency stop checks,
– interlocks,
– time-based monitoring.
This leads to a patchwork of logic and special cases.
Selmo pursues a different approach:
Safety is not an add-on, it is an inherent result of the formal structure.
As soon as the user defines zones, states and operands, all safety rules are generated automatically:
– every action has feedback,
– every zone knows when it is active,
– the switching logic detects every contradiction.
