Mars Curiosity Rover Searches for Signs of Life with the Help of GrammaTech

(Ithaca, New York/USA, 4 September 2012)

After its eight month journey, NASA´s Mars Curiosity Rover completed a spectacular landing. Due to the time required for messages to travel from Mars to Earth and back, the landing procedure was completely controlled by software. To boost the reliability of the software, NASA used advanced static analysis.
For the two years leading up to the launch, NASA focused on developing mission critical, zero-defect software. Every single line of code was analyzed and scrubbed using advanced static analysis tools, including CodeSonar® from GrammaTech. "NASA´s Jet Propulsion Laboratory used CodeSonar to check for bugs in the Curiosity software on a nightly basis," said Michael McDougall, senior scientist at GrammaTech, who worked closely with NASA. (Photo: NASA)  further information