DO-178C
De norm waartegen software in burgervliegtuigen wordt gecertificeerd, met een striktheid die meegroeit met het aantal doden als de code faalt.
RTCA en het Europese EUROCAE publiceerden de norm in 2011 als opvolger van DO-178B uit 1992; in Europa heet hetzelfde document ED-12C. Software krijgt een niveau van A tot en met E. Niveau A dekt storingen die het toestel kunnen laten neerstorten, niveau E alles zonder gevolgen voor de veiligheid. Hoe hoger het niveau, hoe meer doelen moeten worden gehaald, en hoe meer daarvan met onafhankelijke beoordeling.
Het bekendst is de MC/DC-dekkingseis op niveau A: van elke voorwaarde in elke beslissing moet zijn aangetoond dat ze op zichzelf de uitkomst beïnvloedt. De norm schrijft geen taal of tool voor, wel dat alles traceerbaar is van eis naar code naar test. Daarom kost het papierwerk vaak meer dan het programmeren, en voelen Ada, MISRA C en WCET-analyse zich hier thuis.