火星コード：好奇心をプログラムする方法に関する講義

HotDep 2012カンファレンスで、NASA Jet Propulsion LaboratoryのGerard HoltzmanがCuriosityローバーのコードの信頼性と正確性を確保する方法について講演しました。 1時間の講義では、NASAプログラマーがどのような技術、コーディング標準、および開発ツールを使用して、Mariosの表面にCuriosityを自律的に植え付け、そのすべてのシステムとデバイスの動作を保証する300万行の超信頼性の高いコードを書くのかを説明します。



講義は、 usenix.orgでオンラインで表示するか、.mp4形式（228 Mb）でダウンロードできます 。