ABSTRACT
This chapter presents various aspects of software safety. It covers software safety-associated facts, figures, and examples, software safety classifications and ways that software can contribute to hazards, basic safety assurance program and software quality assurance organization’s role with respect to software safety, useful software safety design-associated guidelines, software hazard analysis methods, software standards, problems, and references. The software hazard analysis methods covered are event tree analysis (ETA), software sneak circuit analysis, software fault tree analysis (SFTA), proof of correctness, failure modes and effect analysis (FMEA), and code walk-through.
Also, the chapter presents ten problems to test the reader’s comprehension in the area. Finally, it is added that the sources of most of the material presented in the chapter are given in its reference section. This will be useful to readers if they desire to delve more deeply into a specific topic or area.
