Project Details
Projekt Print View

RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)

Subject Area Theoretical Computer Science
Term from 2009 to 2014
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 133365105
 
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. The seven applying research groups each have a proven record in neighbouring research areas. Their cooperation, supported by this project, can thus be expected to lead to synergetic effects, which will bring the development of Dependability engineering a large step forw-ard.
DFG Programme Research Grants
International Connection Netherlands
Participating Persons Dr. Marcus Größer; Dr. David N. Jansen
Ehemaliger Antragsteller Dr. Henrik Bohnenkamp, until 4/2011
 
 

Additional Information

Textvergrößerung und Kontrastanpassung