Back to results
Naval Postgraduate School
A practical application of Petri nets in the software safety analysis of a real-time military system.
Abstract
dc:description.abstractThis 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.
Degree
thesis:*- Department dc:contributor.department
- Computer Science
- Year dc:date.issued
- 1987
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Hayward, Duston L.
- Advisor dc:contributor.advisor
-
- Davis, Daniel
Rights
dc:rights- Statement dc:rights
-
- This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
- Language dc:language.iso
- en_US
Identifiers
dc:identifier.*- Handle dc:identifier.uri
- https://hdl.handle.net/10945/22423
- OAI identifier oai:identifier
- oai:calhoun.nps.edu:10945/22423