Safeware: System Safety and Computers (Paperback)
Nancy G. Leveson
- 出版商: Addison-Wesley Professional
- 出版日期: 1995-04-17
- 售價: $2,196
- 貴賓價: 9.5 折 $2,086
- 語言: 英文
- 頁數: 704
- 裝訂: Paperback
- ISBN: 0201119722
- ISBN-13: 9780201119725
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. Nancy Leveson examines what is currently known about building safe electromechanical systems and looks at past accidents to see what practical lessons can be applied to new computer-controlled systems.
I The Nature Of Risk.
Is Increased Concern Justified?.
Unique Risk Factors in Industrialized Society.
Computers And Risk.
Why Software Engineering is hard.
The Reality We Face.
Causes Of Accidents.
Flaws in the Safety Culture.
Ineffective Organizational Structure.
Ineffective Technical Activities.
Human Error And Risk.
The Need for Humans in Automated Systems.
Human Error as Human-Task Mismatch.
The Role Of Humans In Automated Systems.
The Human as Monitor.
The Human as Backup.
The Human as Partner.
II Introduction To System Safety.
Fundamentals Of System Safety.
Software System Safety.
Cost and Effectiveness of System Safety.
Other Approaches To Safety.
Application-Specific Approaches to Safety.
III Definitions And Models.
Accident and Incident.
Safety and Security.
Accident And Human Error Models.
Human Task and Error Models.
IV Elements Of A Safeware Program.
Place in the Organizational Structure.
The System And Software Safety Process.
Production and Deployment.
Types of System Models.
General Types of Analysis.
Limitations and Criticisms of Hazard Analysis.
Hazard Analysis Models And Techniques.
Fault Tree Analysis.
Management Oversight and Risk Tree (MORT) Analysis.
Event Tree Analysis.
Cause-Consequence analysis (CCA).
Hazards and Operability Analysis (HAZOP).
Failure Modes and Effects Analysis (FMEA).
Failure Modes, Effects, and Criticality Analysis (FMECA).
Fault Hazard Analysis (FHA).
State Machine Hazard Analysis (SMHA).
Task and Human Error Analysis Techniques.
Evaluations of Hazard Analysis Techniques.
Software Hazard And Requirements Analysis.
Requirements Specification Components.
Completeness in Requirements Specifications.
Completeness Criteria for Requirements Analysis.
Designing For Safety.
Design Modification and Maintenance.
Design Of The Human-Machine Interface.
Matching Tasks to Human Characteristics.
Reducing Safety-Critical Human Errors.
Providing Appropriate Information and Feedback.
Training and Maintaining Skills.
Guidelines for Safe HMI Design.
Verification Of Safety.
Independent Verification and Validation.