A Safety Analysis Method Using Fault Tree Analysis and Petri Nets

Author

Reza, Hassan ; Pimple, Malvika ; Krishna, Varun ; Hildle, J.

Author_Institution

Sch. of Aerosp. Sci., Univ. of North Dakota Grand Forks, Grand Forks, ND

fYear

2009

fDate

27-29 April 2009

Firstpage

1089

Lastpage

1094

Abstract

In this paper, we describe a safety analysis method that utilizes two models, namely, Petri nets to model the behavioral aspects of a system, and fault tree analysis to model failure and hence unacceptable behaviors of a system. Using petri nets and fault tree analysis, we should be able to perform both forward and backward reachability analyses that are related to acceptable and unacceptable behaviors of a system. To show the feasibility of our proposed method, a case study, railroad crossing system, has been conducted.

Keywords

Petri nets; fault trees; reachability analysis; safety-critical software; Petri nets; failure model; fault tree analysis; reachability analysis; safety analysis method; safety critical system; system behavioral aspect; Aerospace safety; Failure analysis; Fault trees; Information analysis; Performance analysis; Petri nets; Reachability analysis; Security; Software safety; Software systems; Petri nets; fault tree analysis; forward and backward reachability analysis; safety critical systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology: New Generations, 2009. ITNG '09. Sixth International Conference on

Conference_Location

Las Vegas, NV

Print_ISBN

978-1-4244-3770-2

Electronic_ISBN

978-0-7695-3596-8

Type

conf

DOI

10.1109/ITNG.2009.183

Filename

5070769