Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities

@inproceedings{Avritzer2012AssessingDA,
  title={Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities},
  author={Alberto Avritzer and Felicita Di Giandomenico and Anne Remke and Martin Riedl},
  booktitle={Resilience Assessment and Evaluation of Computing Systems},
  year={2012}
}
Critical infrastructures (CI) are very complex and highly interdependent systems, networks and assets that provide essential services in our daily life. Most CI are either built upon or monitored and controlled by vulnerable information and communication technology (ICT) systems. Critical infrastructures are highly interconnected systems and often use common ICT components and networks. Therefore, cascading faults and failures are likely events in critical infrastructures. Moreover, such… 

Risk Management of Critical Logistical Infrastructures: Securing the Basis for Effective and Efficient Supply Chains

To establish both effective and efficient supply chains, not only planning, controlling, and monitoring of material, information, and financial flows are necessary, but also the logistical

Survivability Evaluation of Gas, Water and Electricity Infrastructures

Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets

TLDR
An efficient model checking procedure is presented which recursively traverses the underlying state-space of the hybrid Petri net model, and identifies those regions (subsets of the discrete-continuous state space) that satisfy STL formulae.

Reliability and Availability Engineering - Modeling, Analysis, and Applications

This book provides systemic and comprehensive treatment of reliability and availability (i.e., dependability) models of complex computing, communication, and network systems. It will be known as not

Hybrid Petri nets with general one-shot transitions

A Multivariate Characterization and Detection of Software Performance Antipatterns

TLDR
A new approach for SPA characterization and detection designed to support continuous integration/delivery/deployment (CI/CDD) pipelines, with the goal of addressing the lack of computationally efficient algorithms.

Increasing the Reliability of Computer Network Protection System by Analyzing its Controllability Models

TLDR
Possible variants of models of the control system for the computer network protection system in the context of cyber attacks are discussed and the adequacy of the developed models has been experimentally confirmed.