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

 

NZ on Air: More Funding For TV Captions To Increase Access

More funding for TV captions to increase access NZ On Air has increased funding to provide more captions and audio description on television programmes for the hearing and sight impaired. More>>

Music: So Laid Back Country China Album Release

On Friday night, So Laid Back Country China held a gig at Meow for the release of their new album With Knees of Honey in Goodbye Canyon. I briefly spoke with Harriet lead vocals, keyboard) and Michael (lead vocals, guitar) before the gig More>>

Art: Wellington Region Celebrates Matariki

Eight Wellington museums and galleries have joined forces to present a major programme of exhibitions and events to celebrate Matariki 2015, the Māori New Year. The Wellington Matariki Festival will host more than 60 free events and activities between Saturday ... More>>

Wellington: TEDxWellingtonWomen Speakers Unveiled

The lineup is announced today for the highly anticipated upcoming event TEDxWellingtonWomen. Speakers include local women and men who have lived extraordinary lives and have ideas worth spreading. More>>

Culture: RNZB Showcases NZ Artists With Two World Premieres

The Royal New Zealand Ballet’s mixed bill Salute - Remembering WW1 which opens on 22 May will showcase the talents of New Zealand artists working at the top of their field. More>>


Books: Witi Ihimaera To Address ‘State Of NZ Literature’at Festival

6 May 2015 MEDIA RELEASE Witi Ihimaera to Address ‘State of NZ Literature’ at Dunedin Writers and Readers Festival The New Zealand Book Council has chosen the 2015 Dunedin Writers and Readers Festival as the stage for its annual address, which ... More>>

Culture: Historic Māori Portraits Travel To The Czech Republic

Image credit: Gottfried Lindauer, Wahanui Reihana Te Huatare, oil on canvas, Auckland Art Gallery Toi o Tāmaki, gift of Mr H E Partridge, 1915 More>>

Art: Something Felt, Something Shared - Enjoy

Gabrielle Amodeo, Ruby Joy Eade, Clare McLean, Kalya Ward Curated by Emma Ng May 7 – 30, 2015 Opening: Wednesday May 6, 5.30pm Strange frequencies are channelled through personal narratives and poetic placeholders in Something felt, something ... More>>

Culture: Pukeahu Park ANZAC Day Commemoration 2015

Pukeahu Park ANZAC Day Commemoration 2015 Images from New Zealand Defence Force Click for big version A bugler plays The Last Post Click for big version A View from the top of the Carillion Click for big version Faces old and young Click for big ... More>>

Television: MediaWorks Announces Dancing With The Stars Hosts

MediaWorks and BBC Worldwide ANZ are delighted to announce host Dominic Bowden alongside co-host Sharyn Casey for the hit series Dancing with the Stars. More>>

Get More From Scoop

 
 

LATEST HEADLINES

 
 
 
 
Education
Search Scoop  
 
 
Powered by Vodafone
NZ independent news