Надёжность ПО

[G-Shadow]

Существует ли литература по разработке ПО повышенной надёжности (не знаю, как точно называются). Обычно это системы управления всякими штуками, типа медицины, авиации, космоса, атомных станций и портативных генераторов чёрных дыр

Интересует разработка под микроконтроллеры и SoC (а не десктопы и сервера). Аппаратные аспекты, вроде дублирования функций итд, интересуют мало, за исключением внешнего контроля одних аппаратных модулей с ПО другими модулями - это интересно.

Интересует именно литература, а не стандарты. Что-то в стиле Code Complete и аналогичных книг вроде "Профессиональный STL или C++": с правилами (возможно на основе стандартов), примерами, объяснениями причин, этапами итд.

Язык - Английский или Русский. Пока что не нашёл вообще ничего: только стандарты или обзорные статьи.

@темы: Computer Science

Comments

[Aguinore]

я не уверен, стандарт это или литература, но мне на глаза попадался всеобъемлющий документ НАСА'вских программистов, могу поискать ссылку. Там несколько сотен страниц было

[G-Shadow]

Если не трудно, буду благодарен. Вообще я вчера находил какие-то стандарты NASA, ещё там упоминались военные американские типа RSA-MIL-чтототам-8. Но всё же стандарты читать несколько нудно.

[Юрий Рэйн]

Ради любопытства нашлось название книги (но увы только название):
Галатенко В.А., Вьюкова Н.И, Самборский С.В., Трифонов С.И. «Программирование в среде VxWorks»

Вообще, возможно, это у них идёт в основном через "оффлайновые" курсы и те самые стандарты.
Читал, что код для авиации в основном дописывается, нежели пишется "с нуля". А в целом - тестирование и отказ от того, что может вести себя непредсказуемо (т.е.от продвинутых плюшек С и С++).

[CD_Eater]

Aguinore, это где они панически боятся использования в программах циклов while? )))

[Aguinore]

CD_Eater, вот такого там не помню