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

 

Theatre: Ralph McCubbin Howell Wins 2014 Bruce Mason Award

The Bruce Mason Playwriting Award was presented to Ralph McCubbin Howell at the Playmarket Accolades in Wellington on 23 November 2014. More>>

ALSO:

One Good Tern: Fairy Tern Crowned NZ Seabird Of The Year

The fairy tern and the Fiji petrel traded the lead in the poll several times. But a late surge saw it come out on top with 1882 votes. The Fiji petrel won 1801 votes, and 563 people voted for the little blue penguin. More>>

Music Awards: Lorde Reigns Supreme

Following a hugely successful year locally and internationally, Lorde has done it again taking out no less than six Tuis at the 49th annual Vodafone New Zealand Music Awards. More>>

ALSO:

EPMU: Fourth Pike River Anniversary

Representatives of the Engineering, Printing and Manufacturing Union are proud to stand with the Pike River families to mark four years since 29 men lost their lives. More>>

ALSO:

'Kindara': Unusual Ginger Coloured Kiwi Chick Released To Taupo Creche

A cute little kiwi chick with an unusual ginger tinge to its feathers has just been released to Wairakei Golf & Sanctuary Kiwi Creche in Taupo after hatching at Rainbow Springs' Kiwi Encounter. More>>

Werewolf: The Complicatist : Bob Dylan Himself, And By Others

Bob Dylan is about to release a six CD version of the entire Basement Tapes sessions he recorded with the Band 40 years ago. To mark the occasion, I’ve rustled together some favourite cover versions of Dylan songs, and a few lesser-known tracks by the great man. More>>

ALSO:

Werewolf: Gone Girl : The Trouble With Amy

Philip Matthews: Three words to describe the David Fincher film Gone Girl: cynical, topical and ridiculous. Ridiculous isn’t a negative. More>>

ALSO:

11/11: Armistice Day Peace Vigils

On Armistice Day 2014, the second in the series of peace vigils that will take place three times each year during the World War One centenary will be held in Hokianga, Whangarei, Auckland, Tauranga, Otaki, Lower Hutt, Wellington and Takaka. More>>

ALSO:

Get More From Scoop

 
 

LATEST HEADLINES

 
 
 
 
Education
Search Scoop  
 
 
Powered by Vodafone
NZ independent news