Safeware System Safety and Computers
by Leveson, Nancy G.Edition: 1st
Format: Paperback
Pub. Date: 1995-04-07
Publisher(s): Addison-Wesley Professional
Other versions by this Author
-
This Item Qualifies for Free Shipping!*
*Excludes marketplace orders.
List Price: $57.74
Rent Book
Select for Price
New Book
We're Sorry
Sold Out
Used Book
We're Sorry
Sold Out
eBook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
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 bull; bull;Demonstrates the importance of integrating software safety efforts with system safety engineering bull;Describes models of accidents and human error that underlie particular approaches to safety problems bull;Presents the elements of a software program, including management, hazard analysis, requirements analysis, design for safety, design of the human-machine interface, and verification 0201119722B04062001
Author Biography
Nancy G. Leveson is Boeing Professor of Computer Science and Engineering at the University of Washington (and Adjunct Professor at the University of British Columbia). Dr. Leveson recently was awarded the Information System Award from the American Institute of Aeronautics and Astronautics, " . . . for developing the field of software safety and for promoting responsible software and system engineering practices where life and liberty are at stake." She is the Editor-in-Chief of IEEE Transactions on Software Engineering and a meember of the Board of Directors of the Computing Research Association, the National Research Council Commission on Engineering and Technical Systems, and the ACM Committee on Computers and Public Policy. She recently chaired a National Academy of Science study for NASA of the Space Shuttle software development process.
0201119722AB04062001
Table of Contents
I The Nature Of Risk.
Risk In Modern Society.
Computers And Risk.
Causes Of Accidents.
Human Error And Risk.
The Role Of Humans In Automated Systems.
Changing Attitudes Toward Risk.
Is Increased Concern Justified?.
Unique Risk Factors in Industrialized Society.
Is Increased Concern Justified?.
Unique Risk Factors in Industrialized Society.
Computers And Risk.
The Role of Computers in Accidents.
Software Myths.
Why Software Engineering is hard.
The Reality We Face.
Software Myths.
Why Software Engineering is hard.
The Reality We Face.
Causes Of Accidents.
The Concept of Causality.
Flaws in the Safety Culture.
Ineffective Organizational Structure.
Ineffective Technical Activities.
Flaws in the Safety Culture.
Ineffective Organizational Structure.
Ineffective Technical Activities.
Human Error And Risk.
Do Humans Cause Most Accidents?.
The Need for Humans in Automated Systems.
Human Error as Human-Task Mismatch.
Conclusions.
The Need for Humans in Automated Systems.
Human Error as Human-Task Mismatch.
Conclusions.
The Role Of Humans In Automated Systems.
Mental Models.
The Human as Monitor.
The Human as Backup.
The Human as Partner.
Conclusions.
The Human as Monitor.
The Human as Backup.
The Human as Partner.
Conclusions.
II Introduction To System Safety.
Foundations Of System Safety.
Fundamentals Of System Safety.
Other Approaches To Safety.
Safety Engineering Pre-World War II.
Systems Theory.
Systems Engineering.
Systems Analysis.
Systems Theory.
Systems Engineering.
Systems Analysis.
Fundamentals Of System Safety.
Historical Development.
Basic Concepts.
Software System Safety.
Cost and Effectiveness of System Safety.
Basic Concepts.
Software System Safety.
Cost and Effectiveness of System Safety.
Other Approaches To Safety.
Industrial Safety.
Reliability Engineering.
Application-Specific Approaches to Safety.
Reliability Engineering.
Application-Specific Approaches to Safety.
III Definitions And Models.
Terminology.
Accident And Human Error Models.
Failure and Error.
Accident and Incident.
Hazard.
Risk.
Safety.
Safety and Security.
Accident and Incident.
Hazard.
Risk.
Safety.
Safety and Security.
Accident And Human Error Models.
Accident Models.
Human Task and Error Models.
Summary.
Human Task and Error Models.
Summary.
IV Elements Of A Safeware Program.
Managing Safety.
The System And Software Safety Process.
Hazard Analysis.
Hazard Analysis Models And Techniques.
Software Hazard And Requirements Analysis.
Designing For Safety.
Design Of The Human-Machine Interface.
Verification Of Safety.
The Role of General Management.
Place in the Organizational Structure.
Documentation.
Place in the Organizational Structure.
Documentation.
The System And Software Safety Process.
The General Tasks.
Conceptual Development.
Design.
Full-Scale Development.
Production and Deployment.
Operation.
>Examples.
Conceptual Development.
Design.
Full-Scale Development.
Production and Deployment.
Operation.
>Examples.
Hazard Analysis.
The Hazard Analysis Process.
Types of System Models.
General Types of Analysis.
Limitations and Criticisms of Hazard Analysis.
Types of System Models.
General Types of Analysis.
Limitations and Criticisms of Hazard Analysis.
Hazard Analysis Models And Techniques.
Checklists.
Hazard Indices.
Fault Tree Analysis.
Management Oversight and Risk Tree (MORT) Analysis.
Event Tree Analysis.
Cause-Consequence analysis (CCA).
Hazards and Operability Analysis (HAZOP).
Interface Analyses.
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.
Hazard Indices.
Fault Tree Analysis.
Management Oversight and Risk Tree (MORT) Analysis.
Event Tree Analysis.
Cause-Consequence analysis (CCA).
Hazards and Operability Analysis (HAZOP).
Interface Analyses.
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.
Process Considerations.
Requirements Specification Components.
Completeness in Requirements Specifications.
Completeness Criteria for Requirements Analysis.
Constraint Analysis.
Requirements Specification Components.
Completeness in Requirements Specifications.
Completeness Criteria for Requirements Analysis.
Constraint Analysis.
Designing For Safety.
The Design Process.
Design Techniques.
Design Modification and Maintenance.
Design Techniques.
Design Modification and Maintenance.
Design Of The Human-Machine Interface.
General Process Considerations.
Matching Tasks to Human Characteristics.
Reducing Safety-Critical Human Errors.
Providing Appropriate Information and Feedback.
Training and Maintaining Skills.
Guidelines for Safe HMI Design.
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.
Dynamic Analysis.
Static Analysis.
Independent Verification and Validation.
Summary.
Static Analysis.
Independent Verification and Validation.
Summary.
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.