Стандарты DO-178B и DO-178C
Стандарты «The Software Considerations in Airborne Systems and Equipment Certification», известные также как RTCA DO-178B, применяются при сертификации авиационных систем. Как и следует ожидать от столь критичных систем, надёжность программного обеспечения должна быть гарантирована. Руководством для этого служит DO-178B. Стандарты были опубликованы Radio Technical Commission for Aeronautics (RTCA) в сотрудничестве и совместной работе с European Organisation for Civil Aviation Equipment (EUROCAE): DO-178B — в 1992 году, DO-178C — в 2011 году. DO-178C — обновлённая версия DO-178B. Поскольку их содержание почти идентично, далее они будут именоваться DO-178. По линии RTCA стандарты известны как DO-178B в США и как ED-12B в Европе. Обе организации взаимно признают сертификаты друг друга.
Стандарты DO-178 дают более высокие надёжность и стабильность, повторное использование, меньшую стоимость жизненного цикла, меньшие затраты на сопровождение и более быстрое подтверждение соответствия ПО.
Согласно руководству DO-178, каждому авиационному ПО должен быть присвоен уровень гарантии проектирования (DAL), исходя из последствий отказа системы. Уровень E означает «нет влияния на безопасность», а высший уровень A — «катастрофические» последствия. Стандарты задают различные процессные цели, зависящие от уровня ПО.