SafeWare: System Safety and Computers

Paperback
from $0.00

Author: Nancy G. Leveson

ISBN-10: 0201119722

ISBN-13: 9780201119725

Category: Quality Control & Testing - Programming

We are building systems today--and using computers to control them--that have the potential for large-scale destruction of life and environment. More than ever, software engineers and system developers, as well as their managers, must understand the issues and develop the skills needed to anticipate and prevent accidents before they occur. Professionals should not require a catastrophe to happen before taking action.\ Addressing this need in her long-awaited book, Nancy Levenson examines what...

Search in google:

We are building systems today—and using computers to control them—that have the potential for large-scale destruction of life and environment. More than ever, software engineers and system developers, as well as their managers, must understand the issues and develop the skills needed to anticipate and prevent accidents before they occur. Professionals should not require a catastrophe to happen before taking action.Addressing this need in her long-awaited book, Nancy Levenson examines what is currently known about building safe electromagnetic systems and looks at past accidents to see what practical lessons can be applied to new computer-controlled systems.Software Demonstrates the importance of integrating software safety efforts with system safety engineering Describes models of accidents and human error that underlie particular approaches to safety problems Presents the elements of a software program, including management, hazard analysis, requirements analysis, design for safety, design of the human-machine interface, and verification Booknews Leveson (computer science and engineering, U. of Washington) summarizes what is known about the safety of electromechanical systems, particularly those operated or monitored by computer. Emphasizing the importance of integrating software safety efforts with system safety engineering, she presents the elements of a program that includes management, hazard and requirements analysis, design for safety, design of the human-machine, interface, and verification. Annotation c. Book News, Inc., Portland, OR (booknews.com)

PrefacePt. 1The Nature of Risk11Risk in Modern Society32Computers and Risk213A Hierarchical View of Accidents394Root Causes of Accidents535Human Error and Risk916The Role of Humans in Automated Systems109Pt. 2Introduction to System Safety1277Foundations of System Safety1298Fundamentals of System Safety145Pt. 3Definitions and Models1699Terminology17110Accident and Human Error Models185Pt. 4Elements of a Safeware Program22511Managing Safety22712The System and Software Safety Process24913Hazard Analysis28714Hazard Analysis Models and Techniques31315Software Hazard and Requirements Analysis35916Designing for Safety39517Design of the Human-Machine Interface44718Verification of Safety489Epilogue: The Way Forward509Appendix A. Medical Devices: The Therac-25 Story515Appendix B. Aerospace: Apollo 13, the DC-10, and Challenger555Appendix C. The Chemical Industry: Seveso, Flixborough, Bhopal581Appendix D. Nuclear Power: Windscale, Three Mile Island, and Chernobyl609References649Credits669Index671

\ BooknewsLeveson (computer science and engineering, U. of Washington) summarizes what is known about the safety of electromechanical systems, particularly those operated or monitored by computer. Emphasizing the importance of integrating software safety efforts with system safety engineering, she presents the elements of a program that includes management, hazard and requirements analysis, design for safety, design of the human-machine, interface, and verification. Annotation c. Book News, Inc., Portland, OR (booknews.com)\ \