Разработка надежного ПО @НАСА
Из ленты: ekr’s blog
# Строгий стандарт кодирования
— Правила основаны на анализе прошлых дефектов
— Автоматическая проверка на стандарт при сборке
# Обязательный внутренний курс сертификации
— Риски
— Defensive Programming
— Экзамен
# Code review
# Concurrency correctness
— http://spinroot.com
# Unit & integration tests
# Резервирование
— Не аппаратное, именно программное
— Упрощенная версия ПО для режима сбоя
(from ekr’s blog)