NASA JPL selects Coverity to find defects in 2 million lines of mission-critical flight software on Curiosity rover

NASA JPL
NASA JPL MARS Curiosity rover

SAN FRANCISCO, 27 Aug. 2012. NASA Jet Propulsion Laboratory (JPL) software developers working on the Mars Science Laboratory (MSL) Curiosity rover chose Coverity software technology to detect defects in mission-critical flight software responsible for guiding Curiosity’s landing on Mars.

NASA JPL developers needed to find every software defect in the Curiosity rover’s software before launch. They used Coverity technology to analyze 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,” says a spokesperson.

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.

Follow Military & Aerospace Electronics and Avionics Intelligence news updates on Twitter.

Rover

Easily post a comment below using your Linkedin, Twitter, Google or Facebook account.


The Innovation That Matters™ Quiz

Innovation is one of the key drivers in the Defense industry. View this short video of Leon Woo, VP of Engineering at Mercury Systems, on the role of innovation. Then, answer 3 simple questions correctly to be entered into a drawing to win an Eddie Bauer fleece jacket!

CONGRATULATIONS TO OUR TWO MOST RECENT WINNERS. "Nick from SPARWAR" and "Bridget from AOC."


Featured Slideshow

Evolution of the American soldier

The American soldier has come a long way since the beginning of the Republic 237 years ago. While uniforms for early soldiers were based on cost and utility, soldiers' clothing eventually considered ballistic protection, increasing storage space, protection from poison gas and other contaminants.

Wire News provided by   

Most Popular Articles

Webcasts

On Demand Webcasts

Engineering the VPX high-speed data path for physical and signal integrity

Join Arrow Electronics and TE Connectivity, for an overview webinar of the standards, technologies and trends involving VITA and TE.

Design Strategy Considerations for DO-178C Certified Multi-core Systems

Join Wind River to learn how system architecture and design choices can minimize your DO-178C certification challenges.

Sponsored by:

Flying, Sailing or Driving - The Rugged, Embedded Intel-based Server that goes where you need it!Flying Sailing or Driving

Leveraging the power of server-class processors is no longer relegated to the confines of data centers. Through several innovations, Mercury Systems has ruggedized Intel’s server-class chips for deployment. ...
Sponsored by:

social activity

All Access Sponsors


Mil & Aero Magazine

February 2014
Volume 25, Issue 2
file

Download Our Apps



iPhone

iPad

Android

Follow Us On...



Newsletters

Military & Aerospace Electronics

Weekly newsletter covering technical content, breaking news and product information
SUBSCRIBE

Defense Executive

Monthly newsletter covering business news and strategic insights for executive managers
SUBSCRIBE

Embedded Computing Report

Monthly newsletter covering news on embedded computing in aerospace, defense and industrial-rugged applications
SUBSCRIBE

Unmanned Vehicles

Monthly newsletter covering news updates for designers of unmanned vehicles
SUBSCRIBE