11
Los datos de seguridad funcional del subsistema de entrada SensaGuard son:
Los datos de seguridad funcional del subsistema lógico del GSR DI son:
Los datos de seguridad funcional del subsistema de salida 100S son:
La función de seguridad de paro de emergencia puede modelarse de la siguiente manera: