• DocumentCode
    1889264
  • Title

    Automated software fault-tree analysis of Pascal programs

  • Author

    Friedman, Michael A.

  • Author_Institution
    Hughes Aircraft Co., Fullerton, CA, USA
  • fYear
    1993
  • fDate
    26-28 Jan 1993
  • Firstpage
    458
  • Lastpage
    461
  • Abstract
    Software fault-tree analysis is based on a series of templates that each map programming language constructs to a subtree. The tool reads in a Pascal program and a software-caused hazard (postcondition), and fills it in template subtrees that correspond to the program´s constructs. These subtrees are arranged in a tree of AND and OR gates in which the top event is the postcondition
  • Keywords
    Pascal; failure analysis; software reliability; software tools; Pascal program; postcondition; programming language constructs; software fault-tree analysis; template subtrees; Aircraft manufacture; Computer languages; Fault trees; Hazards; Injuries; Laboratories; Missiles; Software safety; Software tools; Telephony;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Reliability and Maintainability Symposium, 1993. Proceedings., Annual
  • Conference_Location
    Atlanta, GA
  • Print_ISBN
    0-7803-0943-X
  • Type

    conf

  • DOI
    10.1109/RAMS.1993.296815
  • Filename
    296815
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1889264