Accession Number : ADA188993
Title : A Practical Application of Petri Nets in the Software Safety Analysis of a Real-Time Military System.
Descriptive Note : Master's thesis,
Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Personal Author(s) : Hayward, Duston L.
Report Date : DEC 1987
Pagination or Media Count : 117
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.
Descriptors : *COMPUTER PROGRAMS, *GUIDED MISSILE SAFETY, ARMING DEVICES, GUIDED MISSILE FUZES, GUIDED MISSILE COMPONENTS, REAL TIME, SYSTEM SAFETY, SAFETY EQUIPMENT, MICROPROCESSORS, SAFING AND ARMING(ORDNANCE), SYSTEMS ANALYSIS, MATHEMATICAL MODELS, THESES, SAFETY.
Subject Categories : Guided Missile Launching and Basing Support
Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE