• DocumentCode
    2746698
  • Title

    Using Petri net theory to analyze software safety case studies

  • Author

    Jorgensen, Paul C. ; Smith, Wade A.

  • Author_Institution
    Res. & Technol. Inst. of West Michigan, Grand Rapids, MI, USA
  • fYear
    1989
  • fDate
    19-23 Jun 1989
  • Firstpage
    22
  • Lastpage
    25
  • Abstract
    Research is described regarding the use of Petri net theory to analyze selected, well-known software safety case studies. The analysis focused on the n-connectedness characteristics of the Petri nets. Interpretation of the analysis results produced the following conclusions: (1) all of the Petri nets had instances of 1-connectedness at the point depicting where the software failures occurred; and (2) instances of 1-connectedness similar to those described indicate situations where the software should implement some type of exception-handling capability
  • Keywords
    Petri nets; safety; software engineering; Petri net theory; exception-handling; n-connectedness; software failures; software safety; Computer aided software engineering; Hazards; Missiles; Navigation; Petri nets; Software safety; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Assurance, 1989. COMPASS '89, 'Systems Integrity, Software Safety and Process Security', Proceedings of the Fourth Annual Conference on
  • Conference_Location
    Gaithersburg, MD
  • Type

    conf

  • DOI
    10.1109/CMPASS.1989.76033
  • Filename
    76033
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2746698