Safety-Critical Software: Status Report and Annotated Bibliography

Abstract

Many systems are deemed safety-critical and these systems are increasingly dependent on software. Much has been written in the literature with respect to system and software safety. This report summarizes some of that literature and outlines the development of safety-critical software. Techniques for hazard identification and analysis are discussed. Further, techniques for the development of safety-critical software are mentioned. A partly annotated bibliography of literature concludes the report.... Safety-critical software, Requirements engineering, Hazard identification

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1993
Accession Number
ADA266993

Entities

People

  • Kyo C. Kang
  • Patrick R. Place

Tags

Communities of Interest

  • Biomedical
  • Engineered Resilient Systems
  • Human Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Aircrafts
  • Business Administration
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Engineers
  • Failure Mode And Effect Analysis
  • Information Science
  • Law
  • Management Personnel
  • Risk Analysis
  • Safety
  • Safety Analysis
  • Safety Engineering
  • Software Development
  • Test And Evaluation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aerial Delivery - Logistics and Supply Chain Management.
  • Library and Information Science
  • Systems Analysis and Design