Fault tree and formal methods in system safety analysis

Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)

Volumn , Issue , 2004, Pages 1108-1115

  Xiang, Jianwen ^a,b   Futatsugi, Kokichi ^a   He, Yanxiang ^b  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

^b WUHAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; DECISION MAKING; PROBLEM SOLVING; SEMANTICS; SPECTRUM ANALYSIS; SYSTEMS ANALYSIS; LOGIC GATES; MATHEMATICAL MODELS; SECURITY OF DATA;

DESIGN DECISIONS; FORMAL METHODS; SPECTRUM SPECIFICATION; SYSTEM SAFETY; FAULT TREE; FORMAL SEMANTICS; SYSTEM SAFETY ANALYSIS;

FAULT TREE ANALYSIS; COMPUTER SYSTEMS;

EID: 9744255548     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault Tree Handbook (NUREG-0492), U.S. Nuclear Regulatory Commission, Washington, D.C., January 1981.
2. Kirsten M. Hansen, Anders P. Ravn, From safety analysis to software requirement, IEEE Transactions on Software Engineering, 24(1), July 1998, pp. 573-584.
3. David Coppit, Kevin J. Sullivan and Joanne Bechta Dugan, "Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees", Proc. 11th International Symposium on Software Reliability Engineering, San Jose, California, USA, October 2000, pp. 270-282.
4. Gerhard Schellhorn, Andreas Thums and Wolfgang Reif, "Formal Fault Tree Semantics", Proc. 6th World Conference on Integrated Design and Process Technology, Pasadena, CA, 2002.
5. W. Reif, G. Schellhorn, and A. Thums, "Safety Analysis of A Radio-Based Crossing Control System Using Formal Methods", Proc. 9th IFAC Symposium Control in Transportation Systems 2000, Braunschweig, Germany, June 2000, pp. 289-294.
6. G. Bruns and S. Anderson, "Validating Safety Models with Fault Trees", Proc. 12th International Conference on Computer Safety, Reliability, and Security, Springer-Verlag, London, UK, 1993, pp. 21-30.
7. Jianwen Xiang, Kokichi Futatsugi and Yanxiang He, "Formal Fault Tree Construction and System Safety Analysis", Proceedings of IASTED International Conference on Software Engineering (SE 2004), Innsbruck, Austria, February 17-19, 2004, pp. 378-384.
8. Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety, Springer-Verlag, New York, 1995.
9. Kokichi Futatsgui, A. T. Nakagawa and T. Tamai, CAFE: an Industrial-Strength Algebraic Formal Method, Elsevier Science, Amsterdam, 2000.
10. Rǎzvan Diaconescu and Kokichi Futatsugi, CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, World Scientific Pub., 1998.
11. Betriebliches Lastenheft für FunkFahrBetrieb. Stand 1.10.1996.
12. Axel van Lamsweerde, Learning machine learning, in Andre Thayse (Ed.), Introducing a logic based approach to artificial intelligence, 5 (Hoboken, NJ: Wiley, 1991) 263-356.
13. Axel van Lamsweerde and Emmanuel Letier, "Handling Obstacles in Goal-Oriented Requirements Engineering", IEEE Transactions on Software Engineering, Special Issue on Exception Handling, Oct. 2000.
14. Axel Van Lamsweerde, Robert Darimont, and Emmanuel Letier, "Managing Conflicts in Goal-Driven Requirements Engineering", IEEE Transactions on Software Engineering, 24(11), November 1998, pp. 908-926.
15. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, New York, 1992.
16. R. Koymans, Specifying Message Passing and Time-Critical Systems with Temporal Logic, Springer-Verlag, New York, 1992.
17. Kazuhiro Ogata and Kokichi Futatsugi, "Specification and Verification of Some Classical Mutual Exclusion Algorithms with CafeOBJ", Proc. of OBJ/CafeOBJ/Maude Workshop at Formal Methods'99, Theta, Japan, 1999, pp.159-177.
18. Chandy, K. M. and Misra, J., Parallel Program Design: A Foundation, Addison-Wesley, Reading, MA, 1998.
19. Joseph Goguen and Grant Malcolm, A Hidden agenda, Technical Report CS97-538, University of California at San Diego, 1997.
20. Kazuhiro Ogata and Kokichi Futatsugi, "Formal Analysis of Suzuki&Kasami Distributed Mutual Exclusion Algorithm", Proc. of the IFIP TC6/WG6.1 Fifth Int'l Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), Kluwer Academic Publishers, pp.181-195.
21. Z. Manna and the STeP Group, STeP: deductive-algorithmic verification of reactive and real-time systems, Proc. 8th International Conference on Computer-Aided Verification, LNCS 1102, Springer-Verlag, July 1996, pp. 415-418.