Здравствуйте, Gaperton, Вы писали:

G>Здравствуйте, Pzz, Вы писали:

Pzz>>А сколько стоит разработка софта с использованием авиационного процесса, в статье говорится?

G>Наверняка нет — да и к чему такие мелочи. Ждем продолжения, про разработку уберсупернадежного софта, на основе рекомендаций разработчикам управляющего ПО ядерных реакторов .

Если я не ошибаюсь, в ядерной промышленности на западе в каких-то ее областях так же используется DO-178B/C. Еще его можно найти в медицине. Для самого верхнего уровня критичности ( уровень "А") этот стандарт требует обеспечения вероятности отказа меньше 10-9. ( На этом уровне, например, сам компилятор должен быть сертифицирован согласно DO-178B/C под уровень "А").