Modeling infrastructure interdependency among floodplain infrastructures with extended Petri-Net
ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
IT and infrastructure's lost dependability
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Managing secure survivable critical infrastructures to avoid vulnerabilities
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Modelling interdependencies between the electricity and information infrastructures
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
It is now apparent that our nation's infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible to cascading failures induced by relatively minor events such weather phenomena, accidental damage to system components, and/or cyber attack. In contrast, survivable complex control structures should and could be designed to lose sizable portions of the system and still maintain essential control functions. This paper discusses the need for defining independent, survivable software control systems for automated regulation of critical infrastructures like electric power, telecommunications, and emergency communications systems. To exemplify the issue we describe an actual power blackout, and use that description to identify and analyze common mode faults leading to the cascading failure. We suspect that sources of common mode faultsin real-time control systems are widespread and many, so we define modeling primitives that allow us to use Generalized Stochastic Petri Nets (GSPN) for representing interdependency failures in very simple control systems. As such, this work provides the initial step toward creating a framework for modeling and analyzing reliability and survivability characteristics ofcritical infrastructures with both hardware and software controls.