system - 学习安全关键系统开发 (C/C++) 的最佳资源是什么

Question

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

谢谢。

Answer 1

播客软件工程电台有一些关于实时和容错系统的剧集，我发现它们非常有用。这些情节也很好地参考了书籍。