"Валерий Аджиев "Мифы о безопасном ПО: уроки знаменитых катастроф" [V]" - читать интересную книгу автора

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

Над такого рода "ответственными" (mission-critical) системами работает
целая отрасль, в которой крутятся очень большие (по-преимуществу,
бюджетные) деньги и где как справедливо принято считать сосредоточено
значительное количество высококвалифицированных программистов и
проектировщиков, надлежащим образом поставлен менеджмент, отлажены процессы
разработки и контроля. И тем не менее, "кое-где... порой..." ПО дает сбой,
и резонанс тогда бывет громкий. Разберем две знаменитых истории, в одной из
которых программистские ошибки привели к беспрецедентным материальным
потерям, в другой к смерти нескольких человек, и попытаемся за этими
частными случаями увидеть некоторые общие проблемы, стоящие сегодня перед
всей программной индустрией.

Катастрофа Ariane 5

4 июня 1996 г. был произведен первый запуск ракеты-носителя Ariane 5
детища и гордости Европейского Сообщества. Уже через неполные 40 сек. все
закончилось взрывом. Автоподрыв 50-метровой ракеты произошел в районе ее
запуска с космодрома во Французской Гвиане. За предшествующие годы ракеты
серии Ariane семь раз терпели аварии, но эта побила все рекорды по
вызванным ею убыткам. Только находившееся на борту научное оборудование
потянуло на пол-миллиарда долларов, не говоря о прочих разноообразных
издержках; а астрономические цифры "упущенной выгоды" от несостоявшихся
коммерческих запусков и потеря репутации надежного перевозчика в очень
конкурентном секторе мировой экономики ("стоимость рынка" к 2000 г. должна
превысить 60 млрд. долл.) с трудом поддаются оценке. ебезынтересно
отметить, что предыдущая модель ракета Ariane 4 успешно запускалась более
100 раз.

Буквально на следующий день Генеральный директор Европейского
Космического Агенства (ESA) и Председатель Правления Французского
ационального Центра по изучению Космоса (CNES) издали распоряжение об
образовании независимой Комиссии по Расследованию обстоятельств и причин
этого чрезвычайного происшествия, в которую вошли известные специалисты и
ученые изо всех заинтересованных европейских стран. Возглавил Комиссию
представитель Французской Академии аук профессор Жак-Луи Лион
(Jacques-Louis Lions).
Кроме того, был сформирован специальный Технический Комитет из
представителей заказчиков и подрядчиков, ответственных за производство и
эксплуатацию ракеты, в чью обязанность было вменено незамедлительно
предоставлять Комиссии всю необходимую информацию.

13 июня 1996 г. Комиссия приступила к работе, а уже 19 июля был