En säkerhetsfunktion är en mening: händelse → krav. Den definierar sensor, logik och aktuator som en enhet med ett prestandakrav.