学习安全关键系统开发（C / C ++）的最佳资源是什么？

Question

我希望找到一个关于安全关键系统开发技术/方法的好资源（书或其他），特别是涵盖硬件和软件的东西。我对C / C ++有很好的工作知识，所以即使它只是SourceForge上的代码等，我仍然会欣赏它的链接进行浏览。

感谢。

Answer 1

播客Software Engineering Radio有一些剧集可以谈论，例如：实时和容错系统，我发现非常有用。那些剧集也很好地引用了书籍。