DO-178C
Lo standard con cui si certifica il software degli aerei civili, con un rigore proporzionato a quante persone muoiono se il codice fallisce.
Pubblicato nel 2011 da RTCA e dall'europea EUROCAE come successore del DO-178B del 1992; in Europa lo stesso documento si chiama ED-12C. Al software viene assegnato un livello da A a E: il livello A riguarda i guasti che potrebbero far cadere l'aereo, il livello E tutto ciò che non ha alcun effetto sulla sicurezza. Più alto è il livello, più obiettivi vanno soddisfatti, e più di essi con revisione indipendente.
La parte più nota è il requisito di copertura MC/DC al livello A: ogni condizione di ogni decisione deve dimostrare di influenzare da sola l'esito. Lo standard non impone alcun linguaggio o strumento, solo che tutto sia tracciabile dal requisito al codice al test. Per questo la documentazione costa di norma più della programmazione, e per questo Ada, MISRA C e l'analisi WCET qui si trovano a casa.