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

ROCKS

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

Project website:

Summary

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)