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

谢谢。

解决方案

回答

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