CMU-CS-00-168
Computer Science Department
School of Computer Science, Carnegie Mellon University



CMU-CS-00-168

Survivability Analysis of Networked Systems

Somesh Jha*, Jeannette Wing

October 2000

Submitted to the International Conference on Software Engineering 2001
, Toronto, May 12-19, 2001.

CMU-CS-00-168.ps
CMU-CS-00-168.pdf


Keywords: Survivability, model checking, reliability analysis, cost analysis, Markov Decision Processes, fault-tolerance, security


Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased in importance as critical infrastructures have become heavily dependent on computers. In this paper we present a systematic method for performing survivability analysis of networked systems. An architect injects failure and intrusion events into a system model and then visualizes the effects of the injected events in the form of scenario graphs. Our method enables further global analyses, such as reliability, latency, and cost-benefit analyses, where mathematical techniques used in different domains are combined in a systematic manner. We illustrate our ideas on an abstract model of the United States Payment System.

24 pages

*Computer Sciences Department, University of Wisconsin, Madison, WI 53706.


Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by reports@cs.cmu.edu