Полный текст
Цена опечатки: как баги уничтожают ракеты и людейСамые разрушительные сбои в истории — это не сложные атаки хакеров, а банальные ошибки в логике. Пропущенная ячейка в таблице деления стоила Intel 475 миллионов долларов. Переполнение 16-битного буфера взорвало «Ариан-5», а путаница в единицах измерения сожгла марсианский зонд NASA.Иногда стремление сэкономить на аппаратных блокировках перекладывает ответственность на софт. Но одна гонка состояний или неверная обработка датчика способны превратить медицинский аппарат Therac-25 или Boeing 737 MAX в неуправляемое оружие.Проанализируем технические детали и код, стоявший за громкими техногенными катастрофами.