Education Policy | Post Primary | Preschool | Primary | Tertiary | Search

 


New programming language could create a safer world

Dr David
Pearce

MEDIA RELEASE

9 January 2013
____________________________________________________

New programming language could create a safer world

Research underway at Victoria University into a new programming language has the potential to prevent future software failures in safety-critical systems.

Infamous examples of software failures include the Therac-25 disaster, where a computer-operated radiation therapy machine gave patients lethal doses; and an enormous power outage in the United States in 2003, which led to around 45 million people being without electricity for up to two days.

In New Zealand, software glitches have caused a bank to mistakenly gift its customers unlimited overdraft access (TSB, 2012); a security system to open what should have been a closed supermarket (Mill St Pak ‘n Save in Hamilton, 2011); and broadband meters to incorrectly calculate usage (Telecom, 2011).

Dr David Pearce, from Victoria’s School of Engineering and Computer Science, has designed a programming language that uses automated mathematical and logical reasoning to check computer software decisions are correct.
“Currently, the most widely accepted way of eliminating software errors is through extensive testing. But as systems become increasingly complex this cannot always guarantee the absence of errors, because in large systems it simply isn’t feasible to test every possible input,” he says.

“Software is becoming more and more ubiquitous—it’s involved in all sorts of things we do in the modern world. As software engineers we need to find ways of making sure we eliminate as many errors as we possibly can.”

Dr Pearce has been developing the programming language, Whiley, since 2009 and in 2011 received a Marsden Fast-Start grant to further its progression.

Dr Pearce sees Whiley having applications for everyday software programs, as well as highly-specialised software for systems where people’s safety is paramount, such as modern cars, which now typically run on close to 100 million lines of computer code.

“Certain mistakes are common in computer programs, for example overflow errors, where a number is simply too large for the computer to handle,” he says.

“Whiley has the potential to ensure that scenarios like this can be avoided in the future, by testing the logic of the program in advance.”

ENDS

© Scoop Media

 
 
 
 
 
Culture Headlines | Health Headlines | Education Headlines

 

Anniversaries: Vivid Memories Four Years After Christchurch Quake

Four years ago, an earthquake that would change the lives of thousands shook Christchurch at 12.51 p.m. More>>

ALSO:

Environment 'n' Conservation: Slash Meets Tāne The Tuatara

Rock and Roll superstar and former Guns 'n' Roses guitarist Slash visited Zealandia Ecosanctuary along with collaborating band Myles Kennedy and the Conspirators. More>>

Foo Fighters: Exclusive Show In Support Of Music Foundation

Frontier Touring has today announced that the Foo Fighters will play a last minute intimate and exclusive benefit show at the Auckland Town Hall this Friday February 20 with all profits going to The New Zealand Music Foundation. More>>

ALSO:

Canterbury Quakes: Feedback Sought On Short-Listed Memorial Designs

Six short-listed designs for the Canterbury Earthquake Memorial have been released for public input... The Memorial will honour the victims of Canterbury’s earthquakes and acknowledge the suffering of all those who lived through them as well as the heroism of those who participated in the rescue and recovery operations. More>>

ALSO:

Celia Lashlie: Legacy Will Live On

Social justice advocate Celia Lashlie leaves a legacy that will continue to have a positive impact on the lives of New Zealanders for years to come, Labour Leader Andrew Little says. “Celia was a powerful voice for reason, sense and compassion. Her work, particularly with teenage boys, was ground-breaking." More>>

ALSO:

Obituary: Sad Farewell To PPTA Activist Robin Duff

Duff has been a long-time fixture of the association... Most recently Duff has been working hard to support Canterbury teachers through the quakes that devastated the region. More>>

ALSO:

Poroporoaki: Dr Apirana Tuahae Kaukapakapa Mahuika

Papa Api was a man of many great gifts and occupied a long list of roles including priest, teacher, scholar, politician, and leader. Chair of Te Runanganui o Ngati Porou, and a rangatira of his iwi... More>>

ALSO:

Get More From Scoop

 
 

LATEST HEADLINES

 
 
 
 
Education
Search Scoop  
 
 
Powered by Vodafone
NZ independent news