• DocumentCode
    3469043
  • Title

    Survey of available software-safety analysis techniques

  • Author

    Hansen, Mark D.

  • Author_Institution
    Ford Aerosp. Corp., Colorado Springs, CO, USA
  • fYear
    1989
  • fDate
    24-26 Jan 1989
  • Firstpage
    46
  • Lastpage
    49
  • Abstract
    A survey is presented of the various software safety analysis techniques and methodologies. The techniques include software fault trees, sneak circuit analysis, nuclear safety cross-check analysis (NSCCA) and Petri nets. The author defines each technique as it applies to software safety and the utility of each model and its applicability based on system complexity
  • Keywords
    safety; software reliability; Petri nets; nuclear safety cross-check analysis; sneak circuit analysis; software fault trees; software-safety analysis techniques; system complexity; Aerospace safety; Circuit analysis; Circuit faults; Fault diagnosis; Fault trees; Hardware; Hazards; Performance analysis; Petri nets; Software safety;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Reliability and Maintainability Symposium, 1989. Proceedings., Annual
  • Conference_Location
    Atlanta, GA
  • Type

    conf

  • DOI
    10.1109/ARMS.1989.49571
  • Filename
    49571
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3469043