Качество программного обеспечения обвинили в крушении Airbus

После фатальной катастрофы военно-транспортного самолета A400M на прошлой неделе Airbus обратился к своим военным заказчикам с просьбой провести проверку программного обеспечения электронного блока управления (ЭБУ) двигателей.

Крушение, в результате которого погибли четыре члена испанской испытательной команды, произошло 9 мая вскоре после вылета из Севильи во время предпродажного испытательного полета.

Согласно Der Speigel, которая ссылается на расследование, проведенное Группой по расследованию авиационных происшествий с военными самолетами, и информацию из кругов Airbus, вскоре после начала испытаний три двигателя получили противоречивые приказы от компьютеров, а затем отключили питание. Пилоты попытались вернуться в аэропорт, но полностью потеряли управление, столкнулись с линией электропередачи, разбились в поле и почти полностью сгорели.

Airbus выпустил предупреждение с просьбой к военно-воздушным силам проверить электронный блок управления других самолетов A400M из-за возможной аномалии в работе турбовинтовых двигателей самолета.

Однако, как сообщает Reuters со ссылкой на «одного человека, знакомого с выводами»:

Предварительные данные, собранные до сих пор, по всей видимости, указывают на проблему «качества», а не на фундаментальный недостаток конструкции.

Как писал Майк Джеймс в связи с недавней директивой Федерального управления гражданской авиации США, касающейся потенциальной проблемы целочисленного переполнения в Boeing 787 Dreamliner:

Неизбежное проникновение программного обеспечения в инженерное дело несет с собой проблему ошибок. Инженеры по встраиваемым компьютерным системам имеют долгую историю попыток найти способы сделать программное обеспечение доказуемо правильным. Языки, используемые для управления процессами, как правило, однозадачны, как и их операционные системы, и обычно проводится множество проверок оборудования, чтобы убедиться, что ничего серьезного не может пойти не так.

Этот сбой демонстрирует как огромную задачу по тестированию всех мыслимых вещей, так и последствия невыполнения этого требования.