關於安全關鍵系統開發（C/C++）的最佳學習資源是什麼

Question

我正在尋找一個關於安全關鍵系統開發技術/方法論的好資源（書或其他），特別是將涵蓋硬件和軟件。我對C/C++有一個很好的工作知識，所以即使它只是SourceForge上的代碼，我仍然會欣賞鏈接來進行瀏覽。

謝謝。

Answer 1

該播客Software Engineering Radio有一些情節討論例如，實時和容錯系統，我發現非常豐富。這些情節對書籍也有很好的參考。