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

Question

我正在寻找有关安全关键系统开发技术/方法的良好资源（书籍或其他），尤其是涵盖硬件和软件的内容。我对 C/C++ 有很好的工作知识，所以即使它只是 SourceForge 等上的代码，我仍然希望有一个链接可以浏览。

谢谢。

Answer 1

播客Software Engineering Radio 有一些情节谈论例如我发现它非常有用的实时和容错系统。这些剧集也很好地参考了书籍。