Comprobación y validación de los programas informáticos de control de procesos de seguridad para los EPR

Contexto y objetivos

En el marco de las investigaciones para los EPR de varias páginas francesas, un centro de servicios MCA de 10 personas se ocupa de la comprobación y validación de los programas informáticos de control comando de seguridad.

Realización / Actividades

Validación funcional (pruebas F) :

• F-1: Validación de los módulos I+C «unitarios»:
  modelado independiente, realizado por el equipo V&V según las mismas exigencias funcionales de los equipos de desarrollo;
  identificación y creación de escenarios de prueba;
  resultados obtenidos mediante simulación de escenarios de pruebas comparadas con los resultados obtenidos mediante simulación en el sistema real (TXS);
  análisis de las diferencias;
  exigencias de cobertura realizada por las pruebas para los sistemas F1A (sistema de protección)
• F-2: validación de las funciones I+C (integración de los módulos)
• F-3: validación de las respuestas en condiciones desfavorables de funcionamiento

Validación tecnológica (prueba T)

• T-5: prueba de rendimiento:
  carga CPU;
  tiempos de respuesta de las funciones I+C;
  tiempos de respuesta de los controles manuales y visualización;
• T-6-S: validación de las funciones de mantenimiento a través de Service Unit (sistema de mantenimiento).

Entregables / Resultados

• Transformación de una prestación de tipo asistencia técnica en un centro de servicio
• Todos los estudios se valoran y realizan con una tarifa fija.