Safeware: system safety and computers, Nancy Leveson,
Addison-Wesley, Reading MA, 1995. (680 pages+). This book puts software
safety into the context of traditional industrial safety engineering, which the
author contends can teach many lessons that software practitioners need to
learn. It also prescribes the elements of a safety-critical software program
including analyses, design, and verification. Details
available. (dependability, safety, software, humans; requirements, design)