• Media type: E-Article
  • Title: Software safety: why, what, and how
  • Contributor: Leveson, Nancy G.
  • imprint: Association for Computing Machinery (ACM), 1986
  • Published in: ACM Computing Surveys
  • Language: English
  • DOI: 10.1145/7474.7528
  • ISSN: 1557-7341; 0360-0300
  • Origination:
  • Footnote:
  • Description: <jats:p>Software safety issues become important when computers are used to control real-time, safety-critical processes. This survey attempts to explain why there is a problem, what the problem is, and what is known about how to solve it. Since this is a relatively new software research area, emphasis is placed on delineating the outstanding issues and research topics.</jats:p>
  • Access State: Open Access