Sicherheit geht vor!
Überall, wo Maschinen nicht inhärent sicher konstruiert werden können und mechanische Schutzmaßnahmen allein nicht ausreichen, wird auf eine funktional technische Lösung zurückgegriffen. Kernstück der Funktionalen Sicherheit sind Verifizierung (rechnerischer Nachweis) und Validierung (praktischer Nachweis) von Sicherheitsfunktionen.