El estado de cumplimiento de los objetivos y actividades del ciclo de vida definidos en RTCA DO-178C para el desarrollo de software aeronáutico, demostrado mediante documentación, resultados de verificación, planificación y artefactos de proceso suficientes para la certificación en el Design Assurance Level (DAL) asignado.

Principio

Aplicar los objetivos de la norma (planificación, requisitos, diseño, codificación, verificación, configuración, aseguramiento de la calidad y coordinación de certificación) escalados al DAL del software; producir evidencia objetiva (trazabilidad, revisiones, resultados de pruebas, métricas de cobertura y cualificación de herramientas) que muestre que cada objetivo está satisfecho.

Demostración

Un elemento de software asignado a DAL A implementa sus documentos de planificación (PSAC, SDP, SQAP), traza requisitos del sistema a requisitos de software y código fuente, ejecuta análisis de cobertura estructural y pruebas de verificación demostrando MC/DC cuando se requiere, y registra evidencia de cualificación de herramientas automatizadas usadas.

Aplicación incorrecta

Afirmar conformidad con casillas marcadas sin producir artefactos coherentes, asignar incorrectamente el DAL (subclasificar software crítico), depender de pruebas informales en lugar de verificación basada en requisitos, o usar herramientas no cualificadas que producen resultados no verificables.

Consecuencia

La conformidad correcta con DO-178C genera un paquete de garantía de software verificable aceptable para las autoridades de certificación, reduce fallos residuales del software y proporciona una base defendible para el crédito de certificación y la aprobación operativa.

Inversión

La no conformidad puede requerir verificación adicional, rediseño, actividades de recertificación o restricciones operativas y puede poner en riesgo la certificación de tipo o vías de certificación suplementarias.

Límite

Se aplica específicamente a la garantía de desarrollo de software aeronáutico; la garantía de diseño de hardware está cubierta por DO-254, y ciertos métodos basados en modelos, orientados a objetos o formales están tratados por los suplementos DO-331/DO-332/DO-333 y la guía de cualificación de herramientas DO-330 que interactúan con los objetivos de DO-178C.

Tensión semántica

Existe tensión entre interpretar DO-178C como pasos prescriptivos frente a un esquema basado en objetivos y evidencia: los programas deben equilibrar la fidelidad del proceso con la demostración objetiva, evitando sustituir documentación por actividades reales de verificación.

Síntesis

La conformidad con DO-178C es el cumplimiento demostrado de actividades de aseguramiento de software basadas en objetivos, escaladas según la criticidad del software, mediante planificación trazable, desarrollo y verificación disciplinados y herramientas cualificadas para crear un paquete de evidencia certificable.