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

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

What is the best resource for learning about Safety Critical Systems Development (C/C++)

我正在寻找有关安全关键系统开发技术/方法的好资源(书籍或其他书籍),尤其是涵盖硬件和软件的内容。 我对C / C ++具有良好的工作知识,因此,即使只是SourceForge等上的代码,我仍然希望能够找到它的链接才能进行浏览。

谢谢。


播客软件工程电台有一些情节,例如 我发现实时和容错系统非常有用。 这些情节也很好地引用了书籍。


推荐阅读