Modeling Fault Trees Using Petri Nets
The paper presents an approach to safety analysis with the use of Fault Trees. The aim is to provide for more precise analysis of timing dependencies between the events of a tree. A Fault Tree is first represented formally and then converted into a time Petri net. The reachability analysis of the net provides the answer if the hazard can actually occur. The approach is illustrated by an example.
KeywordsState Class Fault Tree Firing Time Reachability Analysis Reachability Graph
Unable to display preview. Download preview PDF.
- [BCG’91]R. E. Bloomfield, J. H. Cheng, J. Górski, Towards A Common Safety Description Model, Proceedings of Safecomp’91, Pergamon Press, 1991Google Scholar
- [BM’82]B. Berthomieu, M. Menashe, A State Enumeration approach for analyzing time Petri Nets, Proceedings of 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, Sept. 1982Google Scholar
- [Górski’94]J. Górski, Extending Safety Analysis Techniques With Formal Semantics, In Technology and Assessment of Safety Critical Systems, (F.J. Redmill and T. Anderson, Eds.), Springer-Verlag, 1994Google Scholar
- [GW’95]J. Górski, A. Wardziński, Formalizing Fault Trees, Proceedings of SCSS’95, Brighton, UK, (F.J. Redmill and T. Anderson, Eds.), Springer-Verlag, 1995Google Scholar
- [SMG’91]T. J. Shimeall, R. J. McGraw, Jr., J. A. Gill, Software Safety Analysis in Heterogenous Multiprocessor Control System, Proceedings of IEEE Annual Reliability and Maintainability Symposiom, 1991, pp. 290–294Google Scholar
- [Vesely’81]W. E. Vesely et el., Fault Tree Handbook, Nureg 0492, US Nuclear Regulatory Commission, 1981Google Scholar