Combining real-time model-checking and fault tree analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2805, Issue , 2003, Pages 522-541

  Schäfer, Andreas ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

Fault tree analysis; Model checking; Real time systems

Indexed keywords

CALCULATIONS; FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; REAL TIME SYSTEMS; SEMANTICS;

DURATION CALCULUS; FAULT-TREES; LIVENESS; REAL TIME; REAL TIME MODELING; SAFETY CRITICAL SYSTEMS; VERIFICATION TECHNIQUES;

FAULT TREE ANALYSIS;

EID: 35248852136     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45236-2_29     Document Type: Article

References (20)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. G. Bruns and S. Anderson. Validating safety models with fault trees. In SAFECOMP '93: the 12th international Conference on Computer Safety, pages 21-30. Springer, 1993.
3. G. Behrmann, J. Bengtsson, A. David, K. G. Larsen, P. Pettersson, and Wang Yi. Uppaal implementation secrets. In W. Damm and E.-R. Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems 2002, volume 2469 of LNCS, pages 3-22, 2002.
4. J. B. Dugan, S. J. Bavuso, and M. A. Boyd. Fault trees and markov models for reliablility analysis of fault-tolerant digital systems. Reliability Engineering and System Safety, 39:291-37, 1993.
5. H. Dierks. PLC-automata: A new class of implementable real-time automata. Theoretical Computer Science, 253(1):61-93, 2000.
6. H. Dierks and J. Tapken. Moby/DC - a tool for model-checking parametric real-time specifications. In H. Garavel and J. Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems 2003, volume 2619 of LNCS, pages 271-277, 2003.
7. J. Górski. Extending safety analysis techniques with formal semantics. In F. Redmill, editor, Technology and assessment of safety-critical systems: proceedings of the Second Safety-Critical Systems Symposium, pages 147-163. Springer Verlag Berlin, 1994.
8. K. M. Hansen. Linking Safety Analysis to Safety Requirements. PhD thesis, Institut for Informationsteknologi, DTU Lyngby, 1996.
9. IEC 61025: Fault tree analysis, 1993.
10. W. Reif, G. Schellhorn, and A. Thums. Safety analysis of a radio-based crossing control system using formal methods. In Proceedings of the 9th IFAC Symposium Control in Transportation Systems 2000, June 13-15, Braunschweig, Germany, 2000.
11. J. Ruf. RAVEN: Real-Time Analyzing and Verification Environment. Journal of Universal Computer Science, 7(1):89-104, January 2001.
12. A. Schäfer. Fault tree analysis and real-time model-checking. Master's thesis, University of Oldenburg, 2002. in German.
13. J. U. Skakkebæk. Liveness and fairness in duration calculus. In B. Jonsson and J. Parrow, editors, CONCUR'94, volume 836 of LNCS, pages 283-298. Springer-Verlag, 1994.
14. Practical course real-time systems: Final report. http://csd. informatik.uni-oldenburg.de/teaching/fp_realzeitsys_ws0001/ result/eindex.html, 2001.
15. Gerhard Schellhorn, Andreas Thums, and Wolfgang Reif. Formal fault tree semantics. In Proceedings of The Sixth World Conference on Integrated Design & Process Technology, Pasadena, CA, 2002.
16. J. Tapken. Model-Checking of Duration Calculus Specifikations. PhD thesis, Carl von Ossietzky Universität Oldenburg, 2001.
17. J. Tapken and H. Dierks. Moby/PLC - graphical development of PLC-automata. In A.P. Ravn and H. Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems 1998, volume 1486 of LNCS, pages 311-314. Springer Verlag, 1998.
18. W.E. Veseley, F.F. Goldberg, N.H. Roberts, and D.F. Haasl. Fault Tree Handbook. Washington DC: US Nuclear Regulatory Commission, NUREG-0492, 1981.
19. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.
20. Zhou Chaochen, M. R. Hansen, and P. Sestoft. Decidability and undecidability results for duration calculus. In P. Enjalbert, A. Finkel, and K. W. Wagner, editors, STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer, volume 665 of LNCS, pages 58-68, 1993.