CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet


RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

Cooperation with DFG
Project Number: 
Project Manager: Prof. dr.ir. Boudewijn Haverkort
Faculty Electrical Engineering, Mathematics and Computer Science
Tel.: +31-53-4893766
Email: b.r.h.m.haverkort@ewi.utwente.nl


Today’s society relies increasingly on the correct and timely functioning of a large variety of information and communications technology systems. Can this reliance be justified? Dependability analysis aims to answer this question. Rigorous and systematic dependability analysis (“Dependability Engineering”) must therefore play an important role in the design of such systems. Since many dependability properties are stochastic in nature, stochastic analysis techniques are crucial in developing reliable computer systems.

The ROCKS project will focus on two system classes which are gaining prominence in the world of computing but which are not amenable to classic stochastic analysis techniques. Large scale homogeneous systems, such as wireless sensor networks and gossiping protocols, provide a challenge because standard (compositional) approaches for large systems fail in this case. Safetycritical heterogeneous systems, such as production plants and automotive control systems, on the other hand consist of a number of very different components. The challenge here is to handle the diversity of system modalities. We will study how, given a system configuration or parameter set, the optimal design can be synthesised automatically. Attention will also be given to the study of architectural description languages which are increasingly being used to describe complex systems, but for which analysis techniques are often lacking.

Project duration: April 2009 – March 2012
Project budget: 83.6 k-€ (Dutch part)
Number of person/years:  
Project Coordinator: Radboud Universiteit
Participants: Radboud Universiteit, UT, RWTH Aachen, TU Dresden, Uni Bundeswehr München, Uni Saarbrücken
Project budget CTIT: 52 k-€
Number of person/years CTIT:
Involved groups: Design and Analysis of Communication Systems (DACS), Formal Methods and Tools (FMT)