A Practical Application of Petri Nets in the Software Safety Analysis of a Real-Time Military System.
Abstract
This thesis evaluates the usefulness of Petri net modeling for software safety analysis of a real-time system. The system is a safety arming device for a guided missile. The features of basic Petri net modeling are discussed in relation to the kinds of components that are found in real-time systems. This thesis proposes a methodology for systematically constructing a Petri net model from system and software design information. Several techniques for analyzing the resulting Petri net model are illustrated and evaluated for appropriateness. Keywords include: Petri nets; Software safety; Missile fuze; Safety arming device.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1987
- Accession Number
- ADA188993
Entities
People
- Duston L. Hayward
Organizations
- Naval Postgraduate School