Nancy G. Leveson.
Safeware: system safety and computers.
Addison Wesley. 1995
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 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.
Safeware:
• 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 safeware program, including management,
hazard analysis, requirements analysis, design for safety, design of
the human-machine interface, and verification.