Software Safety

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1987
Accession Number
ADA238560

Entities

People

  • Nancy Leveson

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • Engineered Resilient Systems
  • Human Systems
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Bibliographies
  • Computer Programming
  • Computer Programs
  • Computers
  • Department Of Defense
  • Engineering
  • Engineers
  • Failure Mode And Effect Analysis
  • Instructors
  • Risk
  • Risk Analysis
  • Safety
  • Safety Engineering
  • Software Development
  • Students
  • System Safety

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aviation Safety Risk Assessment.
  • Software Engineering.