Антон Громов: особенности разработки ПО для космических аппаратов

«Яркий пример - Боинг Starliner. Корабль запускался без экипажа. Это был тестовый полет со стыковкой с МКС. Перед тем, как корабль отделяется от верхней ступени ракеты-носителя, он должен спросить у ракеты “сколько времени?“, чтобы понимать, на каком конкретном этапе времени он находится. Корабль обратился к ячейки памяти в компьютере верхней ступени по неверному адресу и получил какую-то белиберду. Он решил, что уже он уже давно выдал все маневры, какие надо и подлетает к МКС. Из-за этого он оказался на нерасчетной орбите и стыковка с МКС была сорвана, как и задача испытательного полета» «Допустим прибор на вашем космическом аппарате имеет какую-то команду, которую можно выдать раз в месяц и он поменяет некие настройки. Вы ее протестировали и все в порядке. Вам может не прийти в голову, проверить, что будет, если эту команду подавать в этот прибор тысячу раз в секунду» «Если у вас компьютер стоит сотни тысяч долларов, то у вас их будет всего несколько на организацию. И если вы написали какой-то код, вам ну