DO-178C
Стандарт, по которому сертифицируют ПО гражданских самолётов: чем больше людей погибнет при сбое кода, тем строже требования.
Его выпустили в 2011 году американская RTCA и европейская EUROCAE как преемника DO-178B (1992); в Европе тот же документ называется ED-12C. ПО получает уровень от A до E: уровень A — отказ, способный привести к потере самолёта, уровень E — отказ без влияния на безопасность. Чем выше уровень, тем больше целей нужно выполнить и тем больше из них требуют независимой проверки.
Лучше всего известно требование покрытия MC/DC на уровне A: нужно показать, что каждое условие в каждом решении самостоятельно влияет на результат. Языка и инструментов стандарт не предписывает — только сквозную прослеживаемость от требования к коду и к тесту. Поэтому бумажная работа обычно стоит дороже программирования, а Ada, MISRA C и анализ WCET чувствуют себя здесь как дома.