• DocumentCode
    1351274
  • Title

    Safety Analysis of Ada Programs Using Fault Trees

  • Author

    Leveson, Nancy G. ; Stolzy, Janice L.

  • Author_Institution
    Information and Computer Science; University of California; Irvine, California 92717 USA.
  • Issue
    5
  • fYear
    1983
  • Firstpage
    479
  • Lastpage
    484
  • Abstract
    Software is increasingly being used in the control of potentially hazardous systems. Software fault-tree analysis is a technique for analyzing the logic of software for any potential contribution to system mishaps. The technique is described using Ada as an example real-time language. Special consideration is given to the problems of concurrency and real-time constraints which are common in these types of applications.
  • Keywords
    Computer errors; Computer languages; Control systems; Error correction; Fault trees; Hazards; Software engineering; Software safety; Software systems; Timing; Ada; Concurrency; Fault tree; Rendezvous; Safety; Software fault-tree;
  • fLanguage
    English
  • Journal_Title
    Reliability, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9529
  • Type

    jour

  • DOI
    10.1109/TR.1983.5221736
  • Filename
    5221736
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1351274