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
      Safety Engineering

Distribution Statement : APPROVED FOR PUBLIC RELEASE