Validación del software de seguridad
Verificación funcional y normativa de las funciones de seguridad en PLC y sistemas programables
La validación del software de seguridad transforma las especificaciones en evidencias documentadas
En los sistemas de automatización industrial, el desarrollo del software de seguridad no es suficiente para garantizar que las funciones safety operen correctamente en las condiciones reales de uso. Los errores de implementación, las incoherencias entre los requisitos y las lógicas programadas o la ausencia de trazabilidad pueden comprometer la conformidad normativa y la fiabilidad general del sistema. La validación del software de seguridad permite verificar de forma estructurada que las funciones de seguridad han sido diseñadas, implementadas y probadas conforme a las normativas aplicables.
En qué situaciones es necesaria
El servicio es indicado cuando:
- Existen funciones de seguridad gestionadas por PLC o relés safety;
- Se requiere el cumplimiento de las normas EN ISO 13849, EN IEC 62061 o IEC 61508;
- Hay que verificar la coherencia entre la evaluación de riesgos, las especificaciones y el software implementado;
- Es necesario disponer de evidencias objetivas para conformidad, auditorías o marcado CE.
Cómo se realiza la actividad
La validación se lleva a cabo según un enfoque metodológico estructurado basado en el V-model, e incluye las siguientes fases:
- Análisis de los requisitos de seguridad: revisión de los requisitos funcionales de las funciones de seguridad, identificación de los niveles requeridos (PLr o SIL) y verificación de la trazabilidad entre la evaluación de riesgos, las especificaciones y la implementación del software.
- Verificación preliminar del software: análisis de las lógicas programadas (Ladder, FBD, ST), verificación de la correcta parametrización del hardware de seguridad, control del uso de bibliotecas certificadas y de la correcta implementación de las funciones de seguridad previstas.
- Control del ciclo de vida del software: verificación de la gestión de versiones, la trazabilidad de los cambios y la alineación del ciclo de vida del software con las prácticas y requisitos de las normas de referencia.
- Pruebas, simulaciones y ensayos funcionales: ejecución de ensayos funcionales in situ, verificación de la instalación de los dispositivos de seguridad, prueba de las lógicas de enclavamiento, verificación de los tiempos de parada y pruebas de robustez, incluida la correcta gestión de fallos y reinicios.
Qué entregamos
- Informe de verificación preliminar con indicación de los eventuales cambios necesarios antes de las pruebas in situ;
- Informe de validación completo, que incluye listas de verificación normativas y actas de prueba;
- Evidencia documentada de las eventuales no conformidades y recomendaciones para su resolución.
