En säkerhetsfunktion har trigger, säkerhetslogik, säker åtgärd och verifiering — SF01: öppnad lucka ska ta bort farlig rörelse.