Safe Comp 95 pp 90-100 | Cite as

Modeling Fault Trees Using Petri Nets

  • Janusz Górski
  • Jan Magott
  • Andrzej Wardziński
Conference paper

Abstract

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.

Keywords

Burner Tami 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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
  2. [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
  3. [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
  4. [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
  5. [LS’87]
    N. G. Leveson, J. L. Stolzy, Safety Analysis Using Petri Nets, IEEE Transactions on Software Engineering, Vol. 13, No.3, March 1987, pp. 386–397CrossRefGoogle Scholar
  6. [MF’76]
    P. Merlin, D. J. Farber, Recoverability of Communication Protocols - Implications of a Theoretical Study, IEEE Transactions on Communications, Vol. 24, No. 9, Sept. 1976, pp. 1036–1043MathSciNetMATHCrossRefGoogle Scholar
  7. [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
  8. [Vesely’81]
    W. E. Vesely et el., Fault Tree Handbook, Nureg 0492, US Nuclear Regulatory Commission, 1981Google Scholar

Copyright information

© Springer-Verlag London 1995

Authors and Affiliations

  • Janusz Górski
    • 1
  • Jan Magott
    • 1
  • Andrzej Wardziński
    • 1
  1. 1.Franco-Polish School of New Information and Communication Technologies (EFP)PoznańPoland

Personalised recommendations