Аджиев Валерий

Книги автора Аджиев Валерий читать онлайн бесплатно или скачать в формате fb2, html, txt.
Закладки

Без серии

Мифы о безопасном ПО: уроки знаменитых катастроф

Причины и истоки аварии Прежде всего проследим, откуда взялось первоначальное требование на продолжение выполнения операции регулировки после взлета ракеты. Оказывается, оно было заложено более чем за 10 лет до рокового события, когда проектировались еще ранние модели серии Ariane. При некотором (весьма маловероятном!) развитии событий взлет мог быть отменен буквально за несколько секунд до старта, например в промежутке H0-9 сек., когда на IR запускался «полетный режим», и H0-5 сек., когда выдавалась …

Читать книгу

Мифы о безопасном ПО - уроки знаменитых катастроф

Осталось добавить, что всю эту цепь событий удалось полностью воспроизвести с помощью компьютерного моделирования, что вкупе с материалами других исследований и экспериментов позволило заключить; причины и обстоятельства катастрофы полностью выявлены. Причины и истоки аварии Прежде всего проследим, откуда взялось первоначальное требование на продолжение выполнения операции регулировки после взлета ракеты. Оказывается, оно было заложено более чем за 10 лет до рокового события, когда проектировались …

Читать книгу