Современные системы противоракетной обороны включают разнообразные типы оружия – от электромагнитного и микроволнового до кинетического и пучкового. Эти технологии позволяют поражать ракеты и боеголовки на разных участках траектории, но требуют сложных средств обнаружения, наведения и управления огнём, а также решений по концентрированию энергии и защите компьютеров от космических помех.
Может показаться, что с передачей функций управления оружием от человека к компьютеру надежность системы в целом возрастает. Это не совсем так.
Возрастает быстродействие и точность системы, но не возрастает её надёжность, поскольку программированием современных компьютеров занимаются люди. К тому же жизненно важные для человека как биологического вида функции нашего мозга зарезервированы в нём с огромной избыточностью (понятие о гуманности или материнский инстинкт не исчезают даже при полной потере памяти), но при программировании компьютера такая избыточность никогда не используется.
Программное обеспечение космической системы ПРО будет содержать от 10 до 100 млн строк (в терминах языка Фортран). В то время как для повышения надёжности материальной части компьютера существуют специальные методы (дублирование элементов, самоконтроль, корректирующие коды), для повышения надежности математического обеспечения есть лишь один способ – полномасштабные испытания во всех возможных ситуациях.
Ясно, что такие испытания для системы ПРО невозможны: чтобы узнать поведение противника, необходимо начать войну. Практически подобные испытания невозможны даже для более скромных систем, поэтому ошибки программирования обходятся иногда очень дорого.
Достаточно вспомнить обстоятельства гибели английского эсминца «Шеффилд» во время фолклендского конфликта. Согласно одному из сообщений об этом случае, установленные на корабле радиолокационные системы обнаружения были запрограммированы таким образом, что ракеты типа «Экзосет» они принимали за свои, поскольку такие ракеты состояли на вооружении в Великобритании.
Не менее поучителен пример гибели межпланетного аппарата Mars Climate Orbiter (NASA, 1999), слишком углубившегося в атмосферу Марса при проведении аэродинамического торможения: причиной этого послужила ошибка интернациональной команды программистов, использовавших в одной части программы в качестве единицы длины километры, в другой – мили. А из последних поучительных событий можно вспомнить жесткое прилунение «Луны-25» (Роскосмос, 2023), которое также объясняется ошибкой программирования.