Context in the risk assessment of digital systems

Risk Analysis

Volumn 19, Issue 1, 1999, Pages 23-32

  Garrett, Chris ^a   Apostolakis, George ^a  

^a Massachusetts Institute of Technology Cambridge   (United States)

Author keywords

Context; Risk assessment; Safety critical systems; Software failures; Software hazard analysis

Indexed keywords

COMPUTER SYSTEM RECOVERY; DIGITAL COMPUTERS; MATHEMATICAL MODELS; PROBABILITY; RISK ASSESSMENT;

SAFETY CRITICAL SYSTEMS; SOFTWARE FAILURES; SOFTWARE HAZARD ANALYSIS;

SOFTWARE ENGINEERING;

ARTICLE; COMPUTER PROGRAM; DIGITAL COMPUTER; DYNAMICS; INSTRUMENTATION; PROBABILITY; RELIABILITY; RISK ASSESSMENT;

EID: 0032909453     PISSN: 02724332     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1006998025354     Document Type: Article

References (18)

1. G. Apostolakis and N. Siu, "Foreword," in Proceedings of the International Topical Meeting on Probabilistic Safety Assessment, PSA '96 (Park City, Utah, Sept. 29-Oct. 3, 1996).
2. H. Kumamoto and E. J. Henley, Probabilistic Risk Assessment and Management for Engineers and Scientists (IEEE Press, Piscataway, NJ, 1996).
3. N. Leveson, "Software Safety in Embedded Computer Systems," Commun. ACM 34, 34-46 (February 1991).
4. National Research Council, Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues (National Academy Press, Washington, D.C., 1997).
5. ANSI/IEEE, Standard Glossary of Software Engineering Terminology (STD-729-1991, ANSI/IEEE, 1991).
6. N. Leveson, Safeware: System Safety and Computers (Addison-Wesley, Reading, MA, 1995).
7. P. G. Nuemann, "Some Computer-related Disasters and Other Egregious Horrors," ACM Software Engin. Notes 10, 6-7 (January 1985).
8. S. E. Cooper, A. M. Ramey-Smith, J. Wreathall, G. W. Parry, D. C. Bley, W. J. Luckas, J. H. Taylor, and M. T. Barriere, A Technique for Human Error Analysis (ATHEANA) (NUREG/CR-6350, Brookhaven National Laboratory, 1996).
9. E. Hollnagel, Human Reliability Analysis: Context and Control (Academic Press, San Diego, CA, 1993).
10. J. T. Reason, Human Error (Cambridge University Press, Cambridge, MA, 1990).
11. P. Boenhert, Memorandum to H. Lewis, Chairman, Computers in Nuclear Power Plant Operations Subcommittee, Advisory Committee on Reactor Safeguards, U.S. Nuclear Regulatory Commission, Washington, D.C. (September 25, 1990).
12. N. G. Leveson and P. R. Harvey, "Analyzing Software Safety," IEEE Trans. Software Engin. 9 (1983).
13. F. Redmill, M. F. Chudleigh, and J. R. Catmur, "Principles Underlying a Guideline for Applying HAZOP to Programmable Electronic Systems," Rel. Engin. Syst. Safety 55, 283-293 (1997).
14. C. Garrett, S. Guarro, and G. Apostolakis, "The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Systems," IEEE Trans. Syst. Man Cybernet. 25, 824-840 (May 1995).
15. M. Yau, S. Guarro, and G. Apostolakis, "Demonstration of the Dynamic Flowgraph Methodology Using the Titan II Space Launch Vehicle Digital Flight Control System," Reli. Engin. Syst. Safety 49, 335-353 (1995).
16. S. B. Guarro, M. K. Yau, and M. E. Motamed, Development of Tools for Safety Analysis of Control Software in Advanced Reactors (NUREG/CR-6465, U.S. Nuclear Regulatory Commission, Washington, D.C., 1996).
17. M. Yau, G. Apostolakis, and S. Guarro, "The Use of Prime Implicants in Dependability Analysis of Software Controlled Systems," Rel. Engin. Syste. Safety 62, 23-32 (1998).
18. R. C. Bertucio and J. A. Julius, Analysis of Core Damage Frequency: Surry, Unit 1 Internal Events (NUREG/CR-4550, U.S. Nuclear Regulatory Commission, Washington, D.C., 1990).