Aseguramiento de software aeronáutico (DO-178C) — certificación

DO-178C (ED-12C en Europa) es la guía aceptada para la garantía de certificación de software en sistemas y equipos aerotransportados. Las autoridades de aviación (FAA, EASA) evalúan la garantía del software con respecto a este documento durante la certificación de tipo. En su centro está el nivel de software (DAL — Design Assurance Level): cinco niveles de A a E, fijados por el efecto que tendría un fallo de software en la seguridad del vuelo, que cambia directamente el número de objetivos que deben cumplirse.

• Desarrolladores de software de aviónica
• Fabricantes de sistemas de control de vuelo, control de motores y navegación.
• Desarrolladores de sistemas de cabina y software de entretenimiento a bordo
• Desarrolladores de software para sistemas de aviones no tripulados
• Empresas que actúan como proveedores de software aeroespacial.

El documento no es directamente un texto legal; las autoridades de aviación lo reconocen como un medio aceptable de cumplimiento. Es prácticamente obligatorio para el software dentro del alcance de la certificación de aeronavegabilidad. El resultado no es un 'certificado DO-178C': el software se evalúa como parte de la certificación del sistema al que pertenece y se presenta evidencia de conformidad a la autoridad de certificación.

• Deducir el nivel de software (DAL A-E) a partir de la evaluación de seguridad del sistema
• El proceso de planificación: el PSAC, el plan de desarrollo de software, el plan de verificación, el plan de gestión de la configuración, el plan de aseguramiento de la calidad.
• Procesos de desarrollo de software: definición de requisitos, diseño, codificación, integración.
• El proceso de verificación: pruebas basadas en requisitos, pruebas de bajo nivel, pruebas de integración
• Análisis de cobertura estructural: cobertura de declaraciones para DAL C, cobertura de decisiones para DAL B, MC/DC para DAL A
• Trazabilidad: desde los requisitos del sistema hasta el código y los casos de prueba.
• Gestión de configuración e informes de problemas.
• Aseguramiento de la calidad del software y revisión de la conformidad (auditorías SOI)
• Cualificación de herramientas de desarrollo de software (DO-330)
• Tecnologías complementarias: desarrollo basado en modelos (DO-331), tecnología orientada a objetos (DO-332), métodos formales (DO-333)
• Enlace de certificación y Resumen de logros de software (SAS)

1. 1Aplicación y descripción del productoSe determina la familia de productos, lista de modelos, especificaciones técnicas y mercado objetivo. La norma aplicable y la ruta de certificación quedan claras en este paso.
2. 2Revisión de expediente técnicoSe examinan los documentos de diseño, la lista de materiales, los certificados de componentes críticos y las instrucciones de uso.
3. 3Pruebas de productosSe realizan los ensayos que exige la norma correspondiente. El informe de prueba es la base fundamental para la decisión de certificación.
4. 4Auditoría de fábricaSi el esquema lo requiere, se verifica en sitio la continuidad de la fabricación y el control de producción en fábrica (FPC).
5. 5Expedición del Certificado y MarcadoUna vez verificada la conformidad, se emite el certificado; Se aplican las reglas de marcado del producto y embalaje.
6. 6Auditorías de seguimientoDependiendo del esquema, se realizan auditorías periódicas de fábrica y/o pruebas de seguimiento de muestras tomadas del mercado.

El período de validez varía según el esquema: algunos certificados de productos son indefinidos y dependen de auditorías periódicas de fábrica, mientras que algunos esquemas (por ejemplo, marcas de mercado de países) requieren una renovación anual o por envío. Cada cambio de diseño del producto requiere la revisión del certificado.

• La lista de modelos y variantes de productos.
• Dibujos técnicos, diagramas y lista de materiales.
• Certificados para componentes críticos.
• Las instrucciones de uso y una etiqueta de muestra.
• Informes de prueba existentes, si los hubiera
• Detalles del sitio de producción
• PSAC — Plan para los aspectos de certificación del software
• Los planes de desarrollo de software, verificación, gestión de configuración y aseguramiento de la calidad.
• Requisitos de software y descripciones de diseño.
• Matrices de trazabilidad
• Casos de prueba, procedimientos y resultados.
• Informes de análisis de cobertura estructural.
• Informes de problemas e índice de configuración.
• SAS — Resumen de logros de software

No existe un precio de lista fijo; el coste se calcula según las siguientes variables y se proporciona por escrito en el presupuesto.

• El número de modelos y variantes de la familia de productos.
• El alcance de la prueba que requiere la norma aplicable.
• Si se requiere una auditoría de fábrica
• El número de mercados objetivo y si cada uno requiere pruebas por separado.
• Si se pueden aceptar los informes de prueba existentes

La certificación del producto se realiza bajo ISO/IEC 17065; Las pruebas que forman la base de la certificación se llevan a cabo en laboratorios con acreditación ISO/IEC 17025. Los dos ámbitos están separados. El reconocimiento entre organismos de acreditación se proporciona a través de acuerdos IAF e ILAC.

El alcance en el que se puede ofrecer este esquema varía según su producto y actividad; se confirma por escrito en la etapa de presupuesto.

• NADCAPAcreditación de Procesos Especiales
• DO-254Garantía de hardware aeroespacial
• DO-160Calificación de Condiciones Ambientales
• AS9100Gestión de calidad aeroespacial
• AS9110Gestión de calidad del mantenimiento aeroespacial
• AS9120Gestión de Calidad de Distribución Aeroespacial
• EN 9100Gestión de calidad aeroespacial
• EN 9110Gestión de calidad del mantenimiento aeroespacial