Coverity analyzes 2 million lines of mission-critical flight software for defects on Curiosity Mars Rover

Aug. 24, 2012
SAN FRANCISCO, 24 Aug. 2012. NASA Jet Propulsion Laboratory (JPL) software developers working on the Mars Science Laboratory (MSL) Curiosity rover used Coverity technology to test and ensure the reliability of mission-critical flight software that guided Curiosity’s landing on Mars.

SAN FRANCISCO, 24 Aug. 2012. NASA Jet Propulsion Laboratory (JPL) software developers working on the Mars Science Laboratory (MSL) Curiosity rover used Coverity technology to analyze and ensure the reliability of mission-critical flight software that guided Curiosity’s landing on Mars.

NASA JPL developers needed to find and fix every software defect in the rover’s software before launch. They used Coverity to test more than 2 million lines of code in the software that controls the flight and onboard functions of the Curiosity rover.

“Given the mission-critical nature of Curiosity, the software powering the rover must be reliable and free of software defects. A single defect could mean the difference between success and failure of the $2.5 billion NASA mission and impair its ability to assess the possibility of life on Mars,” admits a company representative.

NASA JPL has used static analysis as a key part of the code review process, from the inception of the NASA Mars Science Laboratory mission, to ensure the success of one of the most complex missions ever undertaken by NASA and the reliability of one of the most complex machines ever sent into space.

"The use of Coverity technology in mission-critical projects with zero tolerance for error is a testament to our unique ability to quickly detect unpredictable and traditionally hard to spot software defects," says Jennifer Johnson, vice president of marketing at Coverity.

The Coverity Static Analysis development testing solution leverages analysis techniques for finding and eliminating code defects early in the software-development life cycle, as the code is being written, when they are the easiest and least expensive to find and fix.

About the Author

Courtney E. Howard | Chief Editor, Intelligent Aerospace

Courtney enjoys writing about all things high-tech in PennWell’s burgeoning Aerospace and Defense Group, which encompasses Intelligent Aerospace and Military & Aerospace Electronics. She’s also a self-proclaimed social-media maven, mil-aero nerd, and avid avionics and space geek. Connect with Courtney at [email protected], @coho on Twitter, on LinkedIn, and on Google+.

Voice your opinion!

To join the conversation, and become an exclusive member of Military Aerospace, create an account today!

https://www.rohde-schwarz.com/us/about/news-press/all-news/fraport-installs-advanced-passenger-scanners-from-rohde-schwarz-at-frankfurt-airport-security-checkpoints-press-release-detailpage_229356-1528961.html
Fraport image.
Photo 250087709 © Audioundwerbung | Dreamstime.com
Photo 250087709 © Audioundwerbung | Dreamstime.com