Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date

Curriculum Module

Software Safety

  • July 1987
  • By Nancy Leveson
  • This 1987 report helps equip software engineers with the extra knowledge and skills necessary to participate in a safety-critical software development project.
  • Publisher: Software Engineering Institute
    CMU/SEI Report Number: CMU/SEI-87-CM-006
  • Abstract

    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.

  • Download