DO-178C
Standarden som programvara i civila flygplan måste certifieras mot, med kravnivåer efter hur många som dör om koden fallerar.
RTCA och europeiska EUROCAE publicerade den 2011 som efterföljare till DO-178B från 1992; i Europa heter samma dokument ED-12C. Programvaran delas in i nivå A till E. Nivå A gäller fel som kan få planet att störta, nivå E sådant som inte påverkar säkerheten alls. Ju högre nivå, desto fler mål ska uppfyllas, och desto fler av dem med oberoende granskning.
Mest känt är kravet på MC/DC-täckning på nivå A: varje villkor i varje beslut ska visas påverka utfallet på egen hand. Standarden föreskriver inget språk eller verktyg, bara att allt ska kunna spåras från krav till kod till test. Det är därför pappersarbetet ofta kostar mer än programmeringen, och därför Ada, MISRA C och WCET-analys känns hemma här.