В космонавтике есть выражения, которые лучше не произносить, пока телеметрия не подтверждает успешный выход на орбиту. Одно из таких слов — «триумф», особенно в контексте японского проекта Kairos, который снова не оправдал ожиданий. 5 марта 2026 года проблема возникла не из-за механических сбоев, а благодаря ошибке в коде. Автономная система FTS приняла легкие колебания ракеты за угрозу и решила её ликвидировать. Этот инцидент стал третьим по счету для компании Space One, уже пережившей два аварийных старта.
Проблемы с космическими аппаратами часто возникают из-за неразберихи в программном обеспечении. В 1999 году автоматическая станция Mars Climate Orbiter в результате путаницы с единицами измерения ушла в атмосферу Красной планеты на слишком низкой высоте. Непонимание различных систем измерений стоило ущерба в 327,6 миллионов долларов.
Первый полет европейской ракеты Ariane 5 в июне 1996 года также закончился катастрофой из-за ошибочного переноса программного кода от предыдущей модели, что вызвало критическое переполнение данных и, как следствие, разрушение ракеты.
Современные миссии продолжают сталкиваться с теми же проблемами. Например, в 2019 году CST-100 Starliner от Boeing не смог произвести стыковку с МКС из-за неверного расчета времени, что привело к потерям более 1,5 миллиарда долларов. Важно отметить, что основная причина всех этих сбоев заключается в отсутствии тщательной проверки программных алгоритмов и неполном тестировании. Пришло время для строгой формальной верификации программного обеспечения, чтобы минимизировать риски и избежать катастроф в будущем.