मार्टियन कोड: क्यूरियोसिटी को प्रोग्राम करने के तरीके पर एक व्याख्यान

हॉटडेप 2012 सम्मेलन में, नासा जेट प्रोपल्शन लेबोरेटरी के जेरार्ड होल्ट्जमैन ने क्यूरियोसिटी रोवर के लिए कोड की विश्वसनीयता और शुद्धता सुनिश्चित करने के तरीके पर एक व्याख्यान दिया। एक घंटे के व्याख्यान में बताया गया है कि नासा के प्रोग्रामरों द्वारा किस तकनीक, कोडिंग मानकों और विकास साधनों का उपयोग साढ़े तीन मिलियन लाइनों को अत्यधिक विश्वसनीय कोड लिखने के लिए किया गया था जो कि स्वायत्तता से मंगल की सतह पर क्यूरियोसिटी डालते हैं और अपने सभी प्रणालियों और उपकरणों के संचालन को सुनिश्चित करते हैं।

व्याख्यान usenix.org पर ऑनलाइन देखा जा सकता है, या .mp4 प्रारूप (228 एमबी) में डाउनलोड किया जा सकता है।