. 24/7 Space News .
NASA Software Checker Finds Computer Bugs Automatically

on the case since 1960
Moffett Field (SPX) Jul 09, 2004
NASA scientists are developing a software 'checker program' to find 'bugs' in spacecraft computer code more quickly and accurately to improve space mission safety.

Ever since a moth crawled into an early electro-mechanical computer in 1945 and caused a problem, or 'bug,' that halted the machine, programmers have been plagued by glitches in new software.

Making software work properly costs developers about half their budgets and delays software release. Because some bugs could cause spacecraft to fail or malfunction, NASA scientists developed 'C' Global Surveyor (CGS) software to check flight software for errors swiftly and automatically.

"Eliminating bugs is important for NASA, because even simple software bugs can lead to the loss of a mission," said Guillaume Brat, a researcher at NASA's Ames Research Center, located in California's Silicon Valley. "With CGS, we detect what can interrupt the program, what can cause the program to crash," Brat added.

Computer software that drives space missions contains many thousands of lines of computer code. Programmers have had to check this code manually, a time-consuming and expensive task.

Preliminary tests of the CGS software checker included evaluation of code from previous space missions, including Deep Space 1 that flew in 1999, the Mars Pathfinder mission and parts of the Mars Exploration Rover (MER) code, which were written in 'C' computer language.

During the tests, CGS software took only 25 minutes to check hundreds of thousands of lines of spacecraft computer code. CGS checks all flight software commands, and then reports back, listing code that is bug-free, code that has bugs and code that needs more checking by other means, according to Arnaud Venet, a computer scientist at NASA Ames who also is working on the CGS project.

Computer scientists at NASA Ames hope that a later version of CGS will help programmers automatically check software to be written for the 2009 Mars Science Laboratory Mission. That code will be written in 'C++' computer language. A preliminary version of C++ CGS is slated to be ready for testing by September 2005, according to Venet.

A major purpose of CGS software checker is to enable NASA to produce spacecraft software much faster, according to Venet. "You make the computer work for you instead of spending hours doing it. Saving a substantial amount of money will be a bonus," Venet stated.

"The CGS software tool also can detect errors that occur in unexpected situations that haven't been even imagined during validations of the mission software," Venet said. "CGS software conducts robust mathematical proofs to arrive at its answers," he added.

Related Links
Ames
SpaceDaily
Search SpaceDaily
Subscribe To SpaceDaily Express

NASA Software Unites Incompatible Computer Databanks
Moffett Field (SPX) Jun 23, 2004
NASA scientists recently developed a software framework that unites normally incompatible computer data management systems to improve performance and increase efficiency.



Thanks for being here;
We need your help. The SpaceDaily news network continues to grow but revenues have never been harder to maintain.

With the rise of Ad Blockers, and Facebook - our traditional revenue sources via quality network advertising continues to decline. And unlike so many other news sites, we don't have a paywall - with those annoying usernames and passwords.

Our news coverage takes time and effort to publish 365 days a year.

If you find our news sites informative and useful then please consider becoming a regular supporter or for now make a one off contribution.
SpaceDaily Contributor
$5 Billed Once


credit card or paypal
SpaceDaily Monthly Supporter
$5 Billed Monthly


paypal only














The content herein, unless otherwise known to be public domain, are Copyright 1995-2016 - Space Media Network. All websites are published in Australia and are solely subject to Australian law and governed by Fair Use principals for news reporting and research purposes. AFP, UPI and IANS news wire stories are copyright Agence France-Presse, United Press International and Indo-Asia News Service. ESA news reports are copyright European Space Agency. All NASA sourced material is public domain. Additional copyrights may apply in whole or part to other bona fide parties. Advertising does not imply endorsement, agreement or approval of any opinions, statements or information provided by Space Media Network on any Web page published or hosted by Space Media Network. Privacy Statement All images and articles appearing on Space Media Network have been edited or digitally altered in some way. Any requests to remove copyright material will be acted upon in a timely and appropriate manner. Any attempt to extort money from Space Media Network will be ignored and reported to Australian Law Enforcement Agencies as a potential case of financial fraud involving the use of a telephonic carriage device or postal service.