SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Critical System Properties: Survey and Taxonomy
 by Dr. John Rushby.

Number SRI-CSL-93-1.
Computer Science Laboratory, SRI International.
1994.


Abstract

Computer systems are increasingly employed in circumstances where their failure (or even their correct operation, if they are built to flawed requirements) can have serious consequences.

There is a surprising diversity of opinion concerning the properties that such ``critical systems'' should possess, and the best methods to develop them. The dependability approach grew out of the tradition of ultra-reliable and fault-tolerant systems, while the safety approach grew out of the tradition of hazard analysis and system safety engineering. Yet another tradition is found in the security community, and there are further specialized approaches in the tradition of real-time systems. In this report, I examine the critical properties considered in each approach, and the techniques that have been developed to specify them and to ensure their satisfaction.

Since systems are now being constructed that must satisfy several of these critical system properties simultaneously, there is particular interest in the extent to which techniques from one tradition support or conflict with those of another, and in whether certain critical system properties are fundamentally compatible or incompatible with each other. As a step toward improved understanding of these issues, I suggest a taxonomy, based on Perrow's analysis (C. Perrow. Normal Accidents: Living with High Risk Technologies. Basic Books, New York, NY, 1984), that considers the complexity of component interactions and tightness of coupling as primary factors.

BibTEX Entry
@techreport{csl-93-1,
    AUTHOR = {John Rushby},
    TITLE = {Critical System Properties: Survey and Taxonomy},
    INSTITUTION = {Computer Science Laboratory, {SRI} International},
    YEAR = {1994},
    NUMBER = {{SRI-CSL-93-1}},
    URL = {http://www.csl.sri.com/papers/csl-93-1/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy