In this paper, the author presents a summary of the state of the art in software system safety. The paper begins with a discussion on different types of accidents encountered in software systems. The role of software in accidents is covered, followed by a discussion on system safety. The author discuss the safeware methodology which extends the basic system safety engineering process to handle digital components and subsystems. The paper concludes with a description of an experimental design and development environment known as Specification Tools and Requirements Methodology (SpecTRM). The focus of SpecTRM is to support the design,implementation and maintenance of complex, safety-critical systems.

  • Supplemental Notes:
    • Publication Date: 2000 Society of Automotive Engineers, Warrendale PA
  • Corporate Authors:

    Massachusetts Institute of Technology

    Department of Civil Engineering, 77 Massachusetts Avenue
    Cambridge, MA  United States  02139
  • Authors:
    • Leveson, Nancy
  • Publication Date: 2000


  • English

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 00801377
  • Record Type: Publication
  • Source Agency: UC Berkeley Transportation Library
  • Files: PATH
  • Created Date: Nov 7 2000 12:00AM