Qual é o melhor recurso para aprender sobre Desenvolvimento de Sistemas Críticos de Segurança (C/C++) [fechado]

Question

Estou procurando localizar um bom recurso (livro ou outro) sobre técnicas/metodologias de desenvolvimento de sistemas críticos de segurança, especialmente algo que cubra hardware e software.Eu tenho um bom conhecimento prático de C/C++, então mesmo que seja apenas código no SourceForge, etc., eu ainda apreciaria um link para ele para navegar.

Obrigado.

Answer 1

O Radio podcast de Engenharia de Software tem alguns episódios que falam sobre por exemplo Em tempo real e criticar sistemas tolerantes, que eu achei muito informativo. Esses episódios também tinha boas referências aos livros.