SafeWare : system safety and computers /

Saved in:
Bibliographic Details
Main Author: Leveson, Nancy
Format: Book
Language:English
Published: Reading, Mass. : Addison-Wesley, c1995.
Subjects:
LEADER 02239cam a2200337 a 4500
001 c000286423
003 CARM
005 20080903150123.0
008 940609s1995 maua b 001 0 eng d
010 |a 94019779 
019 1 |a 21786551  |z 11016806  |5 LACONCORD2021 
020 |a 0201119722 
035 |a (OCoLC)30671268  |5 LACONCORD2021 
040 |a TOC  |b eng  |c TOC  |d TOC  |d VCAV 
041 0 |a eng 
050 0 |a QA76.76.R44  |b L48 1995 
082 0 4 |a 629.890289  |2 21 
100 1 |a Leveson, Nancy. 
245 1 0 |a SafeWare :  |b system safety and computers /  |c Nancy G. Leveson. 
260 |a Reading, Mass. :  |b Addison-Wesley,  |c c1995. 
300 |a xvii, 680 p. :  |b ill. ;  |c 25 cm. 
500 |a "A guide to preventing accidents and losses caused by technology"--Cover. 
504 |a Includes bibliographical references (p. 649-668) and index. 
505 0 |a Pt. 1. The Nature of Risk. 1. Risk in Modern Society. 2. Computers and Risk. 3. A Hierarchical View of Accidents. 4. Root Causes of Accidents. 5. Human Error and Risk. 6. The Role of Humans in Automated Systems -- Pt. 2. Introduction to System Safety. 7. Foundations of System Safety. 8. Fundamentals of System Safety -- Pt. 3. Definitions and Models. 9. Terminology. 10. Accident and Human Error Models -- Pt. 4. Elements of a Safeware Program. 11. Managing Safety. 12. The System and Software Safety Process. 13. Hazard Analysis. 14. Hazard Analysis Models and Techniques. 15. Software Hazard and Requirements Analysis. 16. Designing for Safety. 17. Design of the Human-Machine Interface. 18. Verification of Safety -- Epilogue: The Way Forward -- Appendix A. Medical Devices: The Therac-25 Story -- Appendix B. Aerospace: Apollo 13, the DC-10, and Challenger -- Appendix C. The Chemical Industry: Seveso, Flixborough, Bhopal. 
505 8 |a Appendix D. Nuclear Power: Windscale, Three Mile Island, and Chernobyl. 
650 0 |a Computer software  |x Reliability. 
650 0 |a Electronic digital computers  |x Reliability. 
650 0 |a Industrial safety. 
852 8 |b CARM  |h A1:AQ34C0  |i C11288  |p 0513044  |f BK 
999 f f |i dbf8108b-8415-5ba4-927a-b8f6ddd85834  |s 0e31cd7b-0966-53ca-a8ec-2afe94f9b269 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C11288  |f A1:AQ34C0  |h Other scheme  |i book  |m 0513044