UT Researcher: less software errors by applying modern risk models




Mark Timmer will be at the University of Twente PhD for his research into model checking. It will be computer modeled and then automatically checked for errors. This concept would be some bugs with mathematical certainty may occur.

Koeltoren kerncentrale bij nacht At the University of Twente Timmer and other students do research into methods to reduce errors in software emissions. It is among other things looked at so-called Markov machines, a mathematical probability model. Can be quantitative aspects in the application of model checking included, such as certain periods of time and is determined by opportunities behavior. Via this model

Timmer has focused in particular on improving an extension of the model checking technology with modern probability models play an important role. For example, there can be more accurately modeled, and for example, it is possible to indicate that a particular part becomes after an x-number of hours of use is defective during testing.

According to Timmer complex systems will be better tested for errors, something especially critical in sensitive systems in nuclear power plants or missiles. Timmer will be on September 13 on his PhD research on model checking.


In: Technology & Gadgets Asked By: [18460 Red Star Level]

Answer this Question

You must be Logged In to post an Answer.

Not a member yet? Sign Up Now »

Star Points Scale

Earn points for Asking and Answering Questions!

Grey Sta Levelr [1 - 25 Grey Star Level]
Green Star Level [26 - 50 Green Star Level]
Blue Star Level [51 - 500 Blue Star Level]
Orange Star Level [501 - 5000 Orange Star Level]
Red Star Level [5001 - 25000 Red Star Level]
Black Star Level [25001+ Black Star Level]