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

Question

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

谢谢。

Answer 1

播客 软件工程广播 有一些情节谈论例如我发现实时和容错系统的信息非常丰富。这些剧集也很好地参考了书籍。