Researcher predicts errors in IT systems

Jan 31, 2013

Imagine if we never had any more computer problems. No more rail travel chaos caused by signal failures, no more accidents, internet banking that is always secure and medical equipment that always works as it should. It would be a dream world. But aren't errors inevitable in computer systems? Won't some things always be overlooked? Not anymore! We no longer have to overlook anything, according to University of Twente PhD candidate Eduardo Zambon of the Centre for Telematics and Information Technology (CTIT). Because with model checking we can remove the faults from the systems, making them error-free. Zambon, originally from Brazil, obtained his PhD on this subject on January 24, 2013.

Model checking is not the same as testing computer systems. With testing, errors can be traced in the systems, but testing is never sufficient to anticipate all possible combinations of errors in advance. With model checking, an advanced of checking computer systems, for example with the use of the GROOVE modelling tool, this is a real possibility. Research in this field has been carried out at the University of Twente for the last ten years. "We want the world to know that we have made great advances in this area, and that the business community, and also the government, can ultimately benefit from our research", says Arend Rensink, Professor of Software Modelling, Transformation and Verification and Eduardo Zambon's thesis supervisor and tutor. "We help programmers on their way, so that soon they will be able to guarantee the reliability of their software."

"You have to realise that can be analysed endlessly: the number of possible scenarios is incalculable. All kinds of things can go wrong, in ways you cannot predict. But if we are always warned in advance of everything that could go wrong, then we can predict the future, so to speak. That might sound like a very grand claim, but with our research it can be achieved. We then actually have the solution before the problem arises, and that is essential for reliable software!"

"To give a few very concrete examples: we can help the national railway company combat signal failures, and even prevent rail accidents. Or take the current problems with the Fyra high speed trains: we could have traced them, because it turns out that merely testing the operating systems is not enough. And the same applies in other areas. The Albert Heijn supermarket chain always places beer orders, but in one particular period, after Carnival, no beer orders arrived. All kinds of things went wrong in their computer system, and this had a direct effect on the company's efficiency. If we had applied our analysis there, we could have removed this 'bug' from the system in advance. That saves an organization a lot of time, money and trouble. So we can safely say that we have developed a predictive model for all areas where computers are used, and we can't wait to apply it to the full in society", according to Eduardo Zambon and Arend Rensink.

Explore further: Computer software accurately predicts student test performance

More information: His dissertation is titled 'Abstract Graph Transformation Theory and Practice.'

add to favorites email to friend print save as pdf

Related Stories

Fully automatic software testing

May 16, 2011

University of Twente researcher Machiel van der Bijl has developed a system that eliminates the need to test software manually. The system not only facilitates quick and accurate software testing, but it will also save software ...

How to break Murphy's Law

Dec 21, 2011

Murphy's Law is a useful scapegoat for human error: "If something can go wrong, it will." But, a new study by researchers in Canada hopes to put paid to this unscientific excuse for errors by showing that the introduction ...

New methods keep bugs out of software for self-driving cars

Jun 21, 2011

Driver assistance technologies, such as adaptive cruise control and automatic braking, promise to someday ease traffic on crowded routes and prevent accidents. Proving that these automated systems will work as intended is ...

Recommended for you

IBM posts lower 1Q earnings amid hardware slump

47 minutes ago

IBM's first-quarter earnings fell and revenue came in below Wall Street's expectations amid an ongoing decline in its hardware business, one that was exasperated by weaker demand in China and emerging markets.

Microsoft CEO is driving data-culture mindset

1 hour ago

(Phys.org) —Microsoft's future strategy: is all about leveraging data, from different sources, coming together using one cohesive Microsoft architecture. Microsoft CEO Satya Nadella on Tuesday, both in ...

User comments : 0

More news stories

Freight train industry to miss safety deadline

The U.S. freight railroad industry says only one-fifth of its track will be equipped with mandatory safety technology to prevent most collisions and derailments by the deadline set by Congress.

Microsoft CEO is driving data-culture mindset

(Phys.org) —Microsoft's future strategy: is all about leveraging data, from different sources, coming together using one cohesive Microsoft architecture. Microsoft CEO Satya Nadella on Tuesday, both in ...

IBM posts lower 1Q earnings amid hardware slump

IBM's first-quarter earnings fell and revenue came in below Wall Street's expectations amid an ongoing decline in its hardware business, one that was exasperated by weaker demand in China and emerging markets.

Down's chromosome cause genome-wide disruption

The extra copy of Chromosome 21 that causes Down's syndrome throws a spanner into the workings of all the other chromosomes as well, said a study published Wednesday that surprised its authors.

Ebola virus in Africa outbreak is a new strain

The Ebola virus that has killed scores of people in Guinea this year is a new strain—evidence that the disease did not spread there from outbreaks in some other African nations, scientists report.