DO-178C
La norma frente a la que se certifica el software de los aviones civiles, con un rigor proporcional a cuánta gente muere si el código falla.
RTCA y la europea EUROCAE la publicaron en 2011 como sucesora de DO-178B, de 1992; en Europa el mismo documento se llama ED-12C. El software se clasifica en niveles de la A a la E. El nivel A cubre fallos que podrían derribar el avión; el E, lo que no tiene efecto alguno sobre la seguridad. Cuanto más alto el nivel, más objetivos hay que cumplir, y más de ellos con revisión independiente.
Lo más conocido es la exigencia de cobertura MC/DC en el nivel A: hay que demostrar que cada condición de cada decisión afecta por sí sola al resultado. La norma no impone lenguaje ni herramienta, solo que todo sea trazable del requisito al código y del código a la prueba. Por eso el papeleo suele costar más que la programación, y por eso Ada, MISRA C y el análisis WCET se sienten aquí como en casa.