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

Question

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

谢谢。

Answer 1

该播客Software Engineering Radio有一些情节讨论例如，实时和容错系统，我发现非常丰富。这些情节对书籍也有很好的参考。