Форма входа
Читем онлайн Мифы о безопасном ПО - уроки знаменитых катастроф - Валерий Аджиев
Шрифт:
-
+
Интервал:
-
+
Закладка:
Сделать
Эпилог
Что касается Therac-25, то после выполненной-таки в 1988 году капитальной ревизии комплекса и коррекции ряда проектных и реализационных решений, ни о каких новых инцидентах не сообщалось.
Первый после аварии запуск Ariane 5 несколько раз откладывался и состоялся 30 октября 1997 г. Между тем, летопись катастроф при запусках ракет продолжала пополняться. Так, в августе 1998 г. взорвались при старте ракета Titan-4 (производства Lockheed Martin), выводившая на орбиту американский шпионский спутник (стоимость аварии оценена в 1.2 млрд. долл.), а неделей позже ракета Delta-3 (производитель Boeing), убытки "всего" 225 млн. долл. В начале сентября та же судьба постигла украинскую ракету Зенит, стартовавшую с Байконура. Виновато ли в этих авариях ПО? Может быть, может быть╬
Литература
1. "Ariane 5: Flight 501 Failure", http://www.eIRSn.esa.it/htdocs/tidc/press/Press96/press33.html
2. J.-M. Jezequel, B. Meyer "Put It in the Contract: The Lessons of Ariane", // Computer, Vol.30, No.2, January 1997, pp.129-130
3. Б. Мейер "Построение надежного объектно-ориентированного ПО. Введение в Контрактное Проектирование", //Открытые Системы, ╧6, 1998
4. K. Garlington "Critique of "Put it in the Contract: The Lessons of Ariane", March 1998 http://www.flash.net/~kennieg/ariane.html
5. B. Nuseibeh "Ariane 5: Who Dunnit?", //IEEE Software, Vol.14, No.3, 1997, pp.15-16
6. N. Leveson, C. Turner "An Investigation of the Therac-25 Accidents", - Computer, Vol.26, N.7, July 1993, p. 18-41
7. N. Leveson "Safeware: System Safety and Computers", Addison-Wesley, 1995
8. "An Assessment of Space Shuttle Flight Software Development processes", - Committee for Review of Ovеrsight Mechanisms for Space Shuttle Flight Software Development Processes, National Research Council, 1993
9. J.-R. Abrial "The B-Book: Assigning Programs to Meanings", //Cambridge University Press, 1996
10. К.Пешио "иклаус Вирт о Культуре Разработки ПО", //Открытые Системы, ╧1(27), 1998, сc.41-44, http://www.osp.ru/os/1998/01/41.htm
11. В. Аджиев "MS: Корпоративная Культура Разработки ПО", //Открытые Системы, ╧1(27), 1998, с.45-51, http://www.osp.ru/os/1998/01/45.htm
На этой странице вы можете бесплатно читать книгу Мифы о безопасном ПО - уроки знаменитых катастроф - Валерий Аджиев бесплатно.
Похожие на Мифы о безопасном ПО - уроки знаменитых катастроф - Валерий Аджиев книги
- Атомная энергетика — что дальше? - М Аджиев - Прочая научная литература
- Адвокат и его участие в разрешении корпоративных споров - Юрий Рахимов - Прочая научная литература
- Приключения маленькой ошибки - l_eonid - Прочая научная литература / Периодические издания / Языкознание
- Дьявол в быту, легендах и литературе Средних веков - Александр Валентинович Амфитеатров - История / Прочая научная литература / Путешествия и география / Прочая религиозная литература
- Что надо знать о мусорных экскретах - Вадим Романов - Прочая научная литература
- Инвестиционная стратегия населения на рынке российских акций - Павел Кравченко - Прочая научная литература
- Миф моногамии, семьи и мужчины: как рождалось мужское господство - Павел Соболев - Прочая научная литература / Психология / Периодические издания / Эротика, Секс
- Практика международного трибунала по морскому праву - Джульетта Абгарян - Прочая научная литература
- Борис Пастернак: По ту сторону поэтики - Борис Гаспаров - Прочая научная литература
- Концепция компьютерной технологии обучения - Вера Красильникова - Прочая научная литература