Subscribe / Unsubscribe Enewsletters | Login | Register

Pencil Banner

Strathclyde University makes planes, nuclear reactors and spacecraft bug free

Antony Savvas | May 15, 2013
Calamitous computer glitches, such as those that led to the loss of NASA's £82 million Mars Climate Orbiter Spacecraft, could be prevented thanks to research by University of Strathclyde academics, says the university.

Ghani believes there is a lucrative potential market for the research, which will also benefit from the input of experts from Microsoft and the Universities of Edinburgh and Copenhagen.

He said, "If we can make program verification cheaper, it will become a major selling point for safety-critical software, such as flight navigation systems. Once one company starts guaranteeing 100 percent accuracy in its products, others will immediately have to play catch-up."

 

Previous Page  1  2 

Sign up for Computerworld eNewsletters.