The way of Z: practical programming with formal methods
The way of Z: practical programming with formal methods
Reliability Measurement: From Theory to Practice
IEEE Software
Metrics for maintainability of class inheritance hierarchies
Journal of Software Maintenance: Research and Practice
Proceedings of the 16th European Simulation Multiconference on Modelling and Simulation 2002
A Simple GSPN for Modeling Common Mode Failures in Critical Infrastructures
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
Secure and Survivable Software Systems Minitrack Introduction
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
An Ontology-Based Software Agent System Case Study
ITCC '03 Proceedings of the International Conference on Information Technology: Computers and Communications
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Hi-index | 0.01 |
Information systems now form the backbone of nearly every government and private system - from targeting weapons to conducting financial transactions. Increasingly these systems are networked together allowing for distributed operations, sharing of databases, and redundant capability. Ensuring these networks are secure, robust, and reliable is critical for the strategic and economic well being of the Nation. The blackout of August 14, 2003 affected 8 states and fifty million people and could cost up to $5 billion. The DOE/NERC interim reports indicate the outage progressed as a chain of relatively minor events consistent with previous cascading outages caused by a domino reaction. The increasing use of embedded distributed systems to manage and control our technologically complex society makes knowing the vulnerability of such systems essential to improving their intrinsic reliability/survivability. Our discussion employs the power transmission grid.