system - セーフティ クリティカル システム開発 (C/C++) について学ぶのに最適なリソースは何ですか?

Question

セーフティ クリティカルなシステム開発技術/方法論、特にハードウェアとソフトウェアの両方をカバーする優れたリソース (書籍またはその他) を探しています。私は C/C++ について十分な知識を持っているので、たとえそれが SourceForge などの単なるコードであっても、ブラウズするためのリンクをいただければ幸いです。

ありがとう。

Answer 1

ポッドキャストのSoftware Engineering Radioには、リアルタイム システムやフォールト トレラント システムなどについてのエピソードがあり、非常に参考になりました。それらのエピソードも本への良い言及がありました。