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
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;
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
DOI :
10.1109/CMPASS.1989.76033
