Software Engineering Institute Carnegie Mellon

Software Safety

Leveson, N. (University of California, Irvine)

Curriculum Module
SEI-CM-6-1.1

PDF Download
PostScript File

Software safety involves ensuring that software will execute within a system context without resulting in unacceptable risk. Building safety-critical software requires special procedures to be used in all phases of the software development process. This module introduces the problems involved in building such software along with the procedures that can be used to enhance the safety of the resulting software product.