Высокий уровень автоматизации управления современными летательными аппаратами (ЛА) обостряет проблему обеспечения безопасности полета, которая находится в прямой зависимости от уровня надежности программного обеспечения, реализованного в системе управления. Одна из самых серьезных опасностей, с которой может столкнуться самолет в процессе пилотирования, как правило, оказывается и самой предсказуемой из-за наличия ошибок даже в самом тщательно протестированном программном обеспечении.
