Designing Safety-Critical Computer Systems

Computer

Volumn 36, Issue 11, 2003, Pages 40-46+4

  Dunn, William R ^a  

^a Malik and Seeme Hasan School of Business   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; COMPUTER ARCHITECTURE; COMPUTER SYSTEM RECOVERY; FAULT TREE ANALYSIS; OCCUPATIONAL DISEASES; RISK ASSESSMENT;

SAFETY-CRITICAL SYSTEMS;

COMPUTER SYSTEMS;

EID: 0344160959     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2003.1244533     Document Type: Article

References (8)

1. N. Leveson and C.S. Turner, "An Investigation of the Therac-25 Accidents," Computer, July 1993, pp. 18-41.
2. W.R. Dunn, Practical Design of Safety-Critical Computer Systems, Reliability Press, 2002.
3. Standard Practice for System Safety, Mil-Std-882D, US Dept. of Defense, 2000; http://www.geia.org/sstc/G48/882d.pdf.
4. Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, IEC 61508, Int'l Electrotechnical Commission, 2000.
5. N. Storey, Safety-Critical Computer Systems, Addison-Wesley, 1996.
6. W. Goble, Control Systems Safety Evaluation and Reliability, ISA, 1998.
7. T. Bedford and R. Cooke, Probabilistic Risk Analysis: Foundations and Methods, Cambridge Univ. Press, 2001.
8. Fault Tree Handbook, NUREG-0492, US Nuclear Regulatory Commission, 1981; www.nrc.gov/reading-rm/doc-collections/nuregs/staff/sr0492/sr0492.pdf.