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

 

Christchurch: Fixing Town Hall Means Performing Arts Precinct Rethink

Christchurch City Council’s decision to spend $127.5 million fixing the Town Hall means not all the land currently designated for the city’s Performing Arts Precinct is required, Canterbury Earthquake Recovery Minister Gerry Brownlee says. More>>

ALSO:

With Hunters & Collectors: The Rolling Stones Announce New Auckland Date

It’s the news New Zealand has been waiting for. The Rolling Stones today confirmed the rescheduled dates and venues for both the Australian and New Zealand legs of their highly anticipated ’14 On Fire’ tour. Now, Frontier Touring is also delighted ... More>>

ALSO:

Flying Things: Conchords, Pretties Help BATS Fly Home

The launch of BATS theatre’s fundraising campaign has taken off – with a bit of help from their friends. And with friends like theirs… An event last night hosted by Te Radar at Wellington’s latest waterfront venue, Shed 6, featured Fly My Pretties and, in a dream-come-true scenario, Flight of the Conchords. More>>

ALSO:

Environment: Zoo’s Own Wētā Workshop Produces Rare Giants For Release

Following unprecedented breeding and rearing success, Auckland Zoo is today releasing 150 of New Zealand’s largest giant wētā, the wētā punga, onto pest-free Motuora Island in the Hauraki Gulf. A further 150 will be released onto Tiritiri Matangi next month. More>>

Girls On Film: Divergent Hits The Big Screen

n January, Catching Fire (the second film in the Hunger Games series) not only became the biggest US box office success of 2013 : it also became the first film starring a female actor (ie. Jennifer Lawrence) to top the annual domestic earnings chart since The Exorcist, 40 years ago. More>>

ALSO:

Wellington.Scoop: No Travel Sanctions For Russian Billionaire’s Superyacht

On the same day that New Zealand announced travel sanctions against selected Russians, a Russian billionaire’s superyacht berthed in Wellington Harbour. More>>

ALSO:

Mental Health: UC Researchers Believe Robots Can Persuade People To Conform

A team of University of Canterbury (UC) researchers and scientists believe robots can persuade people to conform through group pressure... ``Our results showed that robots can induce conformity but to a significantly lesser degree than humans." More>>

NZ On Air: Local Content Holds Steady At 32% Of Television Schedules

Since 1989 NZ On Air has measured local free-to-air television content. The report compares the schedules of the six national free-to-air channels, to observe trends and changes in the local content landscape. More>>

Arts Fest: 2014 New Zealand Festival A Spectacular Celebration

The New Zealand Festival welcomed the world to Wellington over 24 days (21 Feb – 16 Mar) of arts events across the city. “[current figures show] slight increase on the 110,000 tickets issued in 2012. It’s a great result.” More>>

Get More From Scoop

 

LATEST HEADLINES

 
 
 
 
Education
Search Scoop  
 
 
Powered by Vodafone
NZ independent news