Ознакомьтесь с нашей политикой обработки персональных данных
23:06 

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

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

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

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

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

@темы: Computer Science

Комментарии
2014-10-02 в 23:40 

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

2014-10-03 в 10:47 

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

2014-10-03 в 11:33 

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

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

2015-04-25 в 01:57 

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

2015-04-25 в 10:33 

Aguinore
один из тех
CD_Eater, вот такого там не помню

Комментирование для вас недоступно.
Для того, чтобы получить возможность комментировать, авторизуйтесь:
 
РегистрацияЗабыли пароль?

ru_programming

главная