了解安全关键系统开发 (C/C++) 的最佳资源是什么

Question

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

谢谢。

Answer 1

播客软件工程广播有一些关于实时和容错系统的节目，我发现这些节目内容非常丰富。这些剧集也很好地参考了书籍。