Petri Net and Fault Tree Analysis: Combining Two Techniques for a Software Safety Analysis on an Embedded Military Application

Abstract

Software safety ensures that software programs perform within certain limits without resulting in an unacceptable risk of an accident occurring. Petri Nets are used to model concurrent computer systems by helping to understand complex interactions and paths of execution. Fault Tree analysis is used to determine safety requirements by detecting software logic errors. They also identify multiple failure sequences in a system that can lead to safety hazards. Petri Nets and Fault Tree analysis can be combined and used in conjunction with each other. They can take advantage of each others inherent strengths. This combined methodology can provide an efficient and effective safety analysis technique. This thesis surveys software safety research and focuses on Petri Nets and Fault Tree analysis. We discuss an extended example combining Petri Nets and Fault Tree analysis. The example is a real-time, military embedded software application. We then indicate directions for further research.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1989
Accession Number
ADA225563

Entities

People

  • Richard J. Mcgraw Jr.

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Accidents
  • Application Software
  • Classification
  • Computer Programs
  • Computer Science
  • Computers
  • Engineering
  • Failure Mode And Effect Analysis
  • Fault Tree Analysis
  • Military Applications
  • Safety
  • Safety Analysis
  • Safety Engineering
  • Schools
  • Software Development
  • United States
  • United States Naval Academy

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aviation Safety Risk Assessment.
  • Computational Modeling and Simulation
  • Fault Tolerant Diagnosis of Black and White Balloon Isolation Tests Using ¥.