К этому:
Интересно, каково работать программерам, разрабатывающим софт для авионики, и тестировщикам. Это ж как надо вылизывать код, чтобы однажды, прекрасной ночью, в облаках, пилоты вместо авиагоризонта ВНЕЗАПНО не увидели сообщение о критической ошибке. Вот наверное у тех ребят яйца и нервы - стальные. Ну и недюжинный ум. Да и руки из правильного места растут.
____________________________________________
Не знаю как для авионики, но ПО для космических кораблей итп. разрабатывают 3-4 независимые фирмы. Т.е. Реально на таком корабле работает софт, где каждый его модуль дублируется 3-4 раза разными разработчиками. Если какой-нибудь модуль перестает работать - программа автоматически переключается на модуль других разработчиков.
Спасибо моему преподавателю по инженерии программирования :)
P.S. Простите за грамматические ошибки, сам не русский.