Существует ли литература по разработке ПО повышенной надёжности (не знаю, как точно называются). Обычно это системы управления всякими штуками, типа медицины, авиации, космоса, атомных станций и портативных генераторов чёрных дыр
Интересует разработка под микроконтроллеры и SoC (а не десктопы и сервера). Аппаратные аспекты, вроде дублирования функций итд, интересуют мало, за исключением внешнего контроля одних аппаратных модулей с ПО другими модулями - это интересно.
Интересует именно литература, а не стандарты. Что-то в стиле Code Complete и аналогичных книг вроде "Профессиональный STL или C++": с правилами (возможно на основе стандартов), примерами, объяснениями причин, этапами итд.
Язык - Английский или Русский. Пока что не нашёл вообще ничего: только стандарты или обзорные статьи.