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

 

Eddie Izzard: UK Comedy Legend Returns

Hailed as one of the foremost stand up comedians of his generation. Star of stage and screen. Tireless supporter of charity. Runner. Political campaigner. Fashion Icon... February 2015, Eddie Izzard will bring his massive FORCE MAJEURE world tour to New Zealand with tickets going on sale at 10am on Tuesday 28th October. More>>

Festival Starts 28 Oct: Improv Fest Makes Up New Show

For any other festival, finding out less than two weeks from showtime that half the cast of a programmed show can’t make it to New Zealand would be a nightmare. Instead, the New Zealand Improv Festival Director Jennifer O’Sullivan saw an opportunity ... More>>

NZ Music Awards Finalists: Lorde, Sol3 Mio Top 2014 Tuis Charge

Lorde has taken the music world by storm during the past year and she co-leads the 2014 Tui charge with five finalist spots. Joining her is newcomer family opera trio, Sol3 Mio. They are followed closely by Ladi6 and David Dallas, both up for four awards each. More>>

From 'Luther' Creator: Major New Zealand Crime Series For BBC

Libertine Pictures and writer Neil Cross have teamed up with leading international TV producer Carnival Films to develop a major new crime series set in Rotorua. Libertine will develop the contemporary drama series with Carnival, producer of internationally-acclaimed British period drama Downton Abbey, for the BBC. More>>

ALSO:

Family Statement: Death Of Ewen Gilmour

“Ewen was a much loved and cherished member of our family, he was a larger than life character and by his very nature was kind, generous and always giving of his time to those who asked for his help." More>>

ALSO:

Auckland: St. Jerome's Laneway Festival - Line-Up Announced

Traversing seven cities and three countries, the festival has well and truly settled into its home in each state. From the grassy knolls and towering silos at home in Auckland, to the sparkling backdrop of the Maribyrnong... More>>

Scoop Review Of Books: No Longer An Island

Simon Nathan reviews 'Zealandia: Our Continent Revealed': The idea that New Zealand is part of a large submerged continent is not new... There was renewed interest in the extent of offshore New Zealand from the 1970s onwards with the start of offshore drilling for oil and gas, and this was given impetus by a UN agreement which allowed countries to claim an Extended Continental Shelf (ECS). More>>

Art: Simon Denny Recreates Kim Dotcom’s Personal Effects

Who owns what? How has the internet changed our relation to the world? These are two of the many questions Simon Denny raises in the latest exhibition at the Adam Art Gallery, opening on Saturday 4 October. More>>

ALSO:

Get More From Scoop

 
 

LATEST HEADLINES

 
 
 
 
Education
Search Scoop  
 
 
Powered by Vodafone
NZ independent news