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

 

Gordon Campbell: Classics - Tales From Moominvalley
Can’t speak for the reading end of it but the Moomins ( or maybe the story about Margaret Wise Brown) were the most enjoyable subject to think about and write about during these whole first 50 issues of Werewolf. For that reason – and because the Moomins always reward re-reading – I’ve decided to reprint it. The only added element is a link to an interesting hour long documentary about Tove Jansson. More>>

ALSO:

Repping In The Pacific: All Blacks And Manu Samoa To Play Historic Apia Test

The All Blacks will play Manu Samoa in Apia on Wednesday 8 July next year as part of both teams’ preparations for Rugby World Cup 2015. More>>

ALSO:

Monarchy: Duke And Duchess Of Cambridge Are Expecting Second Child

Their Royal Highnesses The Duke and Duchess of Cambridge are very pleased to announce that The Duchess of Cambridge is expecting their second child. More>>

ALSO:

2015: Elton John Plans Wellington Show

After nine years, Elton John and his band will return to Westpac Stadium, Wellington for one spectacular concert! The November 21, 2015 concert will feature iconic hits and classic album tracks from throughout his incredible five-decade career... More>>

Book Awards: Jill Trevelyan's Story Of Peter McLeavey Is Book Of The Year

The story of Wellington art dealer Peter McLeavey and his gallery has won the prestigious New Zealand Post Book of the Year 2014 in a glittering ceremony in Wellington. More>>

ALSO:

Scoop Review Of Books: King Richard

Simon Nathan reviews 'Richard Seddon, King of God’s Own': My father grew up in Wellington during Seddon’s premiership... I can recall him standing under the Seddon statue in the grounds of parliament and telling me that Seddon had more backbone than Sid Holland and all his cabinet colleagues put together.. More>>

8 October: Miley Cyrus Bangerz Tour Coming To Auckland!

Dainty Group announced today that global superstar Miley Cyrus will bring her BANGERZ TOUR to New Zealand in October this year. This will be Miley’s first ever visit to New Zealand and there will only be one Auckland show before she takes her tour to Australia. More>>

ALSO:

Music: Lorde NZ Tour Confirmed In Four Major Cities!

In what will be her first ever New Zealand headline tour, Frontier Touring and Brent Eccles Entertainment are stoked to bring you four epic shows across the country! The all ages concerts take place late October/ early November in Christchurch, Dunedin, Wellington and Auckland. More>>

ALSO:

Get More From Scoop

 
 

LATEST HEADLINES

 
 
 
 
Education
Search Scoop  
 
 
Powered by Vodafone
NZ independent news