Катастрофа Ариан 5 — баг на 370 млн из-за 16-битной переменной

Разбор аварии ракеты Ариан 5 в 1996 году. Как фатальная ошибка программирования и переполнение 16-битной переменной привели к взрыву на 37 секунде. Ракета нового поколения была уничтожена из-за попытки конвертировать 64-битное число в 16-битное. Изучаем самую дорогую ошибку в истории разработки программного обеспечения, причины сбоя навигационной системы и почему слепое копирование старого кода приводит к катастрофе. 00:00 — Что заставило совершенную ракету взорваться 00:58 — 36 секунд идеального полета 01:51 — Расследование комиссии ЕКА 03:15 — Фатальная инженерная ошибка в коде 04:27 — Как компьютер перепутал ошибку с углом наклона 05:54 — Почему программисты убрали защиту переменной 08:56 — Формальная верификация кода #ариан5 #ошибкавкоде #программирование #разработкапо #баг #историяit #космос Подписывайтесь на канал, чтобы не пропустить новые разборы технологических катастроф и ошибок в коде.