A safety analysis method using Fault Tree analysis and Petri Nets
H Reza, M Pimple, V Krishna… - 2009 Sixth International …, 2009 - ieeexplore.ieee.org
H Reza, M Pimple, V Krishna, J Hildle
2009 Sixth International Conference on Information Technology: New …, 2009•ieeexplore.ieee.orgIn 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.
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.
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.
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果