Method of time Petri net analysis for analysis of fault trees with time dependencies

IEE Proceedings: Computers and Digital Techniques

Volumn 149, Issue 6, 2002, Pages 257-272

  Magott, J ^a   Skrobanek, P ^a  

^a WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; FAULT TREE ANALYSIS; MATHEMATICAL MODELS; PETRI NETS;

COMPUTER AIDED CONTROL SYSTEMS; TIME PETRI NETS;

COMPUTER CONTROL SYSTEMS;

EID: 0036873821     PISSN: 13502387     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cdt:20020804     Document Type: Article

References (20)

1. 'Analysis techniques for system reliability-procedure for failure mode and effect analysis'. International Electrotechnical Commission IEC Std, Publication 812, (1985)
2. 'Fault Tree Analysis (FTA)' International Technical Commission IEC Std Publication 1025, (1990).
3. Garriba, S., Mussio, P., Naldi, F., Reina, G., and Volta, G.: 'Efficient construction of minimal cut sets from fault trees', IEEE Trans. Reliab., 1977, 26, (2), pp. 88-94
4. Page, L.B. and Perry, J.E.: 'An algorithm for fault-tree probabilities using the factoring theorem', Microelectron. Reliab., 1988, 28, (2), pp. 273-286
5. Hennings, W., Kuznetsov, N. Famocutn, and Cutqn: 'Program for fast analysis of large fault trees with replicated & negated gates', IEEE Trans. Reliab., 1995, 44, pp. 368-376
6. Abraham, J.A.: 'An improved algorithm for network reliability', IEEE Trans. Reliab., 1979, 28, pp. 58-61
7. Schneeweiss, W.G.: 'Disjoint boolean products via Shannon's expansion', IEEE Trans. Reliab., 1984, 33, pp. 329-332
8. Schneeweiss, W.G.: 'Fault-tree analysis using a binary decision tree', IEEE Trans. Reliab., 1985, 34, pp. 453-457
9. Malhotra, M., and Trivedi K.S.: 'Dependability modeling using Petri nets', IEEE Trans. Reliab., 1995, 44, pp. 428-440
10. Douglass, B.P.: 'Doing hard real time, developing real-time systems with UML, objects, frameworks, and patterns' (Addison-Wesley, 1999)
11. Leveson, N., and Stolzy, J.: 'Safety analysis using Petri nets', IEEE Trans. Softw. Eng., 1987, 13, (3), pp. 386-397
12. Gorski, J., Magott, J., and Wardzinski, A.: 'Modelling fault trees using Petri nets', Proc. SAFECOMP'95, Belgirate, Italy, (Springer-Verlag), 1995
13. Chakraborty, S., and Dill, D.L.: 'Approximate algorithms for time separation of events'. Proc. ICCAD, 1997
14. McMillan, K.L., and Dill D.L.: 'Algorithms for interface timing verification'. Proc. ICCD, October 1992
15. Vanbekbergen, P., Goossens, G., and Man, H.D.: 'Specification and analysis of timing constraints in signal transition graphs'. Proc. European DAC, March 1992
16. Górski, J., and Wardzinski, A.: 'Formalising fault trees'. Safety Critical Symposium, Brighton, UK, February 1995
17. Gorski, J.: 'Extending safety analysis techniques with formal semantics' in Redmill, F.J. (Ed.): Technology and Assessment of Safety Critical Systems' (Springer-Verlag, 1994)
18. Berthomieu, B., and Diza, M.: 'Modelling and verification of time dependent systems using time Petri nets', IEEE Trans. Softw. Eng., 1991, 17, (3), pp. 258-273
19. Berthomieu, B.: 'A state enumeration approach for analysing time Petri nets' Proceedings of 3rd European Workshop on Applications and theory of Petri nets, Varenna, Italy, 1982
20. Skrobanek, P.: 'Fault trees with time relations applied for introduction of protections into systems (In Polish)'. Real-Time Systems '97, Szklarska Porȩba, 1997, Poland