Dependability Analysis of Critical infrastuctures

Description of research

More and more, our society and economy rely on the well-operation of, often hidden, Information and Communication Technology (ICT) infrastructures. These ICT infrastructures play an ever-increasing role in other critical infrastructures, such as the power grid and water and gas distribution networks. The focus of this project lies on the dependability analysis of fluid critical infrastructures, such as water treatment and distribution networks.

We will study cyber and physical vulnerabilities of such systems and analyze how quickly such systems recover to acceptable levels of service after the occurrence of failures, natural disasters (e.g., fire earthquakes) or cyber-attacks.

We propose the use of stochastic hybrid models(SHMs) to formally describe fluid critical infrastructures. SHMs combine discrete and continuous quantities with stochastic, hence, allow to model random phenomena in a natural way. The interdependencies between the physical process and the ICT control infrastructure are crucial in critical infrastructures.

To ensure the scalability of our approach, we strive to build compositional models and to conduct compositional analysis. Furthermore, we propose to separate the deterministic and the stochastic evolution of the system, by a conditioning / deconditioning argument. This will speed up the analysis and will allow for a large number of continuous variables in the model, as opposed to existing approaches. We will use a carefully chosen and semantically sound notion of dependability to express the measures of interest and use stochastic model checking techniques to evaluate these measures. Resolving the inherent non-determinism of the proposed models by a scheduler that optimizes a predefined metric, will allow us to synthesize optimal operation and repair strategies.

Advisor(s)

PhD supervisor dr. Anne Remke

Promotor: dr. ir. Boudewijn Haverkort

Duration

01-10-2011 / 01-10-2015

Project

NWO/VENI-project Dependability Analysis of Critical infrastuctures

Funding institution

NWO

Strategic Research Orientation

Dependable Systems and Networks

Links to relevant web pages:

DACS-group

Pictures

	CTIT Home > Meet the PhDs > Hamed Ghasemieh
Home CTIT symposium 2013 About CTIT News NIRICT Research Meet the PhDs Working at CTIT Internal Information Conferences Open Calls (updated May 3, 2013) Library and Videos Knowledge Transfer Links Sitemap Search	Dependability Analysis of Critical infrastuctures Description of research More and more, our society and economy rely on the well-operation of, often hidden, Information and Communication Technology (ICT) infrastructures. These ICT infrastructures play an ever-increasing role in other critical infrastructures, such as the power grid and water and gas distribution networks. The focus of this project lies on the dependability analysis of fluid critical infrastructures, such as water treatment and distribution networks. We will study cyber and physical vulnerabilities of such systems and analyze how quickly such systems recover to acceptable levels of service after the occurrence of failures, natural disasters (e.g., fire earthquakes) or cyber-attacks. We propose the use of stochastic hybrid models(SHMs) to formally describe fluid critical infrastructures. SHMs combine discrete and continuous quantities with stochastic, hence, allow to model random phenomena in a natural way. The interdependencies between the physical process and the ICT control infrastructure are crucial in critical infrastructures. To ensure the scalability of our approach, we strive to build compositional models and to conduct compositional analysis. Furthermore, we propose to separate the deterministic and the stochastic evolution of the system, by a conditioning / deconditioning argument. This will speed up the analysis and will allow for a large number of continuous variables in the model, as opposed to existing approaches. We will use a carefully chosen and semantically sound notion of dependability to express the measures of interest and use stochastic model checking techniques to evaluate these measures. Resolving the inherent non-determinism of the proposed models by a scheduler that optimizes a predefined metric, will allow us to synthesize optimal operation and repair strategies. Advisor(s) PhD supervisor dr. Anne Remke Promotor: dr. ir. Boudewijn Haverkort Duration 01-10-2011 / 01-10-2015 Project NWO/VENI-project Dependability Analysis of Critical infrastuctures Funding institution NWO Strategic Research Orientation Dependable Systems and Networks Links to relevant web pages: DACS-group Pictures