At the HotDep 2012 conference, Gerard Holtzman from NASA's Jet Propulsion Laboratory gave a lecture on how to ensure the reliability and correctness of the code for the Curiosity rover. An hour-long lecture tells you what techniques, coding standards and development tools were used by NASA programmers to write three and a half million lines of super-reliable code that autonomously put Curiosity on the surface of Mars and ensures the operation of all its systems and instruments.
The lecture can be viewed online at usenix.org , or downloaded in .mp4 format (228 MB).