El documento describe los requisitos de seguridad y gestión de riesgos aplicados al desarrollo del núcleo operacional de Galileo. Se explica que se ha implementado un riguroso programa de gestión de riesgos que incluye análisis de peligros, FMECA y validación de prestaciones para garantizar la integridad y fiabilidad de los algoritmos de navegación. El objetivo es demostrar que los sistemas cumplen estrictamente los requisitos de precisión, integridad, continuidad y disponibilidad exigidos para aplicaciones de avi

1. Gestión de RAMS e Integridad en el Núcleo Operacional de GALILEO Sistemas Safety-Critical

3. Sobre GMV Capítulo 1

6. Introducción a GALILEO Capítulo 2

10. Requisitos de Prestaciones y Navegación en Galileo Capítulo 3

12. Requisitos de Aviación Civil para GNSS: Precisión Precisión: Para cualquier posición estimada en un lugar específico, la probabilidad de que el error de posición cumpla con la precisión requerida, será de al menos el 95%. ¿Cuántos litros de combustible nos sirven realmente cuando pagamos por 40l? ¿Cómo de preciso es el surtidor?

13. Requisitos de Aviación Civil para GNSS: Integridad Integridad: Probabilidad de que el avión sobrepase los límites de alerta seguros (en posición Vertical u Horizontal) y el sistema de navegación no advierta al usuario en un tiempo inferior al permitido para alertar. Semáforos de tráfico: ¿Realmente confiamos en ellos? Y en el caso de que los semáforos no estén funcionando ¿Cambian a amarillo intermitente?

14. Requisitos de Aviación Civil para GNSS: Continuidad Continuidad: Capacidad del Sistema de Navegación para cumplir su servicio durante todo el tiempo de Operación, con la Precisión e Integridad requeridas. Al comenzar un viaje en coche... ¿llegaremos al destino?

15. Requisitos de Aviación Civil para GNSS: Disponibilidad Disponibilidad: Es la porción del tiempo durante el cual el Sistema de Navegación está listo para ser usado aportando una información fiable a la tripulación, piloto automático o cualquier otro sistema que dirija el vuelo del aparato. ¿Cuánto tiempo está el coche en el garaje?

18. La Problemática Safety de los Algoritmos Capítulo 4

22. Gestión de RAMS Capítulo 5

28. Idea Global: Estrategia RAMS en el IPF.

29. Estrategia de Validación y Pruebas Capítulo 6

30. Estrategia de Validación y Pruebas El objetivo es demostrar que los elementos Safety-Critical de GALILEO satisfacen los requisitos especificados. Verificación y Validación del Software GALILEO SW Standard VALIDACIÓN VALIDACIÓN DE PRESTACIONES VALIDACIÓN DEL SISTEMA (Utiliza escenarios operacionales “realistas”) Integridad Continuidad Disponibilidad Precisión

32. Proceso de Validación de Prestaciones Análisis de Requisitos de Prestaciones: Se acuerda la interpretación con el cliente. Se vinculan los Requisitos de Usuario (URD) con la especificación del Sistema (TSD) Definición de la estrategia de Validación: Tiene que ser discutida y acordada con el Cliente Definición de los Casos de Prueba: Basada en la estrategia acordada. Tiene que ser aprobado por el Cliente en el hito “Test Readiness Review” (TRR). Deben definirse / prepararse / comprarse las herramientas de Validación Ejecución de los casos de prueba: Se presentan en el hito “Qualification Review”. Incluye el análisis estadístico de los resultados. Se presenta el cumplimento de los requisitos de prestaciones.

36. Gracias Amaya Atencia Yépez OSPF / IPF RAMS Manager Email: aatencia@gmv.es Santiago Ledesma IPF PA Manager Email: sledesma@gmv.es www.gmv.com