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.