DO-178C
Sivil uçaklardaki yazılımın sertifikalandığı standart; titizlik, kodun arızalanması hâlinde kaç kişinin öleceğine göre ayarlanır.
RTCA ve Avrupa'daki karşılığı EUROCAE, 2011'de onu 1992 tarihli DO-178B'nin halefi olarak yayımladı; Avrupa'da aynı belge ED-12C adını taşır. Yazılıma A'dan E'ye bir seviye atanır. A seviyesi uçağın düşmesine yol açabilecek arızaları, E seviyesi ise güvenliğe hiç etkisi olmayan her şeyi kapsar. Seviye yükseldikçe karşılanması gereken hedef sayısı artar, bunların daha büyük kısmı bağımsız incelemeyi gerektirir.
En çok bilinen şart, A seviyesindeki MC/DC kapsamıdır: her karardaki her koşulun, sonucu tek başına etkilediği gösterilmelidir. Standart hiçbir dil ya da araç dayatmaz; yalnızca gereksinimden koda, koddan teste her şeyin izlenebilir olmasını ister. Evrak işinin çoğu kez programlamadan pahalıya gelmesinin ve Ada, MISRA C ile WCET analizinin burada kendini evinde hissetmesinin nedeni budur.