Duration calculus for analysis of fault trees with time dependencies

Proceedings - International Conference on Dependability of Computer Systems, DepCoS - RELCOMEX 2007

Volumn , Issue , 2007, Pages 107-114

  Głuchowski, Paweł ^a  

^a WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING; REAL TIME SYSTEMS; TEMPORAL LOGIC;

DURATION CALCULUS; TEMPORAL GATES; TIME DEPENDENCIES;

FAULT TREE ANALYSIS;

EID: 36049016418     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEPCOS-RELCOMEX.2007.19     Document Type: Conference Paper

References (8)

1. J. Magott and P. Skrobanek, "A method of analysis of fault trees with time dependencies", LNCS Vol. 1943, Springer-Verlag, Rotterdam, 2000, pp. 176-186.
2. C. Zhou, C.A.R. Hoare and A.P. Ravn, "A calculus of durations", Information processing letters Vol. 40 no. 5, Elsevier Science, Amsterdam, 1991, pp. 269-276.
3. M.R. Hansen and C. Zhou, "Duration calculus: logical foundations", Formal Aspects of Computing Vol. 9 no. 5, Springer International, 1997, pp. 283-330.
4. S. Cha, H. Son, J. Yoo, E. Jee and P.H. Seong, "Systematic evaluation of fault trees using real-time model-checker UPPAAL", Reliability Engineering & System Safety Vol. 82 Issue 1, Elsevier, 2003, pp. 11-20.
5. J. Magott and P. Skrobanek, "Method of time Petri net analysis for analysis of fault trees with time dependencies", IEEE Proc.-Comput. Digit. Tech. Vol. 149 Issue 6, IET, 2002, pp. 257-271.
6. M. Fränzle, "Model-checking dense-time duration calculus", Formal Aspects of Computing Vol. 16 part 2, Springer International, 1998, pp. 121-139.
7. N. Chetcuti-Serandio and L.F. del Cerro, "A mixed decision method for duration calculus", Journal of Logic and Computation Vol. 10, Oxford University Press, 2000, pp. 877-895.
8. J.U. Skakkebask and N. Shankar, "Towards a duration calculus Proof Assistant in PVS", LNCS Vol. 863, Springer-Verlag, Rotterdam, 1994, pp. 660-679.