Formal fault tree analysis of state transition systems

Proceedings - International Conference on Quality Software

Volumn 2005, Issue , 2005, Pages 124-131

  Xiang, Jianwen ^a   Ogata, Kazuhiro ^a,b   Futatsugi, Kokichi ^a  

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

^b NEC CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION RETRIEVAL SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

EVENT DECOMPOSITION; STATE TRANSITION SYSTEMS;

FAULT TREE ANALYSIS;

EID: 33750270514     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2005.32     Document Type: Conference Paper

References (16)

1. Betriebliches lastenheft für funkfahrbetrieb. stand 1.10, 1996.
2. N. J. Bahr. System Safety Engineering and Risk Assesment: A Practical Approach, chapter Fault Tree Analysis. Taylor & Francis, 1997.
3. D. Coppit, K. J. Sullivan, and J. B. Dugan. Formal semantics of models for computational engineering: A case study on dynamic fault trees. In Proc. of The 11th International Symposium on Software Reliability Engineering, pages 270-282, San Jose, California, USA, Oct 2000.
4. K. Futatsugi, A. T. Nakagawa, and T. Tamai. CAFE: an Industrial-Strength Algebraic Formal Method. Elsevier Science, Amsterdam, 2000.
5. K. M. Hansen and A. P. Ravn. From safety analysis to software requirement. IEEE Transactions on Software Engineering, 24(7):573-584, Jul 1998.
6. A. Lankenau and O. Meyer. Formal methods in robotics: Fault tree based verifi cation. In Proc. of The Third International Software Quality Week Europe, 1999.
7. N. G. Leveson. Safeware: System Safety and Computers. Addison-Wesley Pub., Sep 1995.
8. M. R. Lyu, editor. Handbook of Software Reliability Engineering. McGraw-Hill, 1995.
9. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, 1992.
10. K. Ogata and K. Futatsugi. Proof scores in the OTS/CafeOBJ method. In Proc. of The 6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), volume 2884 of LNCS, pages 170-184. Springer, 2003.
11. W. Reif, G. Schellhorn, and A. Thums. Safety analysis of a radio-based crossing control system using formal methods. In Proc. 9th IFAC Symposium Control in Transportations Systems 2000, pages 289-294, Braunschweig, Germany, 2000.
12. G. Schellhorn, A. Thums, and W. Reif. Formal fault tree semantics. In Proc. of The 6th World Conference on Integrated Design and Process Technology, Pasadena, CA, 2002.
13. W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl. Fault tree handbook. Technical Report NUREG-0492, U.S. Nuclear Regulatory Commission, Washington, D.C, Jan 1981.
14. H. A. Watson and B. T. Laboratories. Launch control safety study. Technical report, Bell Telephone Laboratories, Murray Hill, NJ, 1961.
15. J. Xiang, K. Futatsugi, and Y. He. Fault tree analysis of software reliability allocation. In Proc. of The 7th World Multiconference on Systemics, Cybernetics and Informatics, volume Volume II - Computer Science and Engineering, pages 460-465, Orlando, USA, Jul 2003.
16. J. Xiang, K. Futatsugi, and Y. He. Fault tree and formal methods in system safety analysis. In Proc. of The 4th International Conference on Computer and Information Technology, pages 1108-1115, Wuhan, China, Sep 2004. IEEE.