Mars Rover Software

It has been very interesting following the progress of the Spirit, and recently the Opportunity rovers on Mars.  I had found a link on the software QA and analysis that went into writing secure, stable code for the mission critical systems.  It's a very interesting read, although it is pretty short.