Headquarters Air Force Inspection and Safety Center System Safety Handbook: Software System Safety.

摘要

The primary purpose of this handbook is to document technical knowledge of safety techniques and methodologies than can be used to support acquisition programs which involve computer/embedded computer systems. It is intended to aid in the development of 'safe' system software. This handbook does not and will not describe how to design functional performance into a system. Rather, the handbook does and will continue to describe design choice limits, boundary values, and preferred practices that relate to maximizing overall system safety. The major emphasis of this handbook is to provide an assist in specifying and designing for system safety. The section herein that provides a checklist of rules and guidelines is aimed at the up-front and top-down design principles. A later section describing verification and evaluation techniques is aimed at picking up where specification and design implementation perfection leave off. Some verification and evaluation techniques can serve early in the design process, even before hardware and software is built. Others serve better after software is built (with or without target hardware). This handbook supplements the MIL-STD-882B software hazard analysis task.