Browse > Article
http://dx.doi.org/10.5392/JKCA.2011.11.10.049

Fault Tree Analysis based on State-Transition Model  

Chung, In-Sang (한성대학교 컴퓨터공학과)
Publication Information
The Journal of the Korea Contents Association / v.11, no.10, 2011 , pp. 49-58 More about this Journal
Abstract
Fault Tree Analysis(FTA) builds fault trees to perform safety analysis of systems. However, building fault trees depends on domain knowledge and expertize on target systems and consumes lots of time and efforts. In this paper, we propose a technique that builds fault trees systematically based on state-transition models which are software design artifacts. For the end, this paper identifies conditions that should be satisfied to guarantee safety of state-transition models and develop templates for fault tree construction. This paper also describes the results of appling the proposed method to railway crossing control system.
Keywords
Fault Tree Analysis; State-Transition Model; Safety Analysis;
Citations & Related Records
연도 인용수 순위
  • Reference
1 K. Lano, D. Clark, and K. Androutsopoulos, "Safety and Security Analysis of Object Oriented Models," Lecture Notes in Computer Science, p.2434, pp.82-93. 2002.   DOI   ScienceOn
2 J. Gorski and B. Nowicki, "Object Oriented Approach to Safety Analysis," In Proc. of ENCRESS, pp.338-350, 1995.
3 R. Hawkins, Ian Toyn and Iain Bate, "Critical Systems Development with UML," In Procs. of UML 2003 workshop, San Fransisco 2003.
4 H. J. Kim, W. E. Wong, D. Vidroha Debroy, and B. Doohwan, "Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis," In Proc. of APSEC, pp.196-205, 2010.   DOI
5 P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems-An Approach to the State-Explosion Problem. University of Liege, Computer Science Department. Ph.D. Thesis.
6 P. G. Frankl and E. J. Weyuker, "An applicable family of data flow testing criteria," IEEE Transactions on Software Engineering, Vol.14, No.10, pp.1483-1498, 1988.   DOI   ScienceOn
7 H. A. Watson, Launch Control Safety Study, Technical report, Bell Telephone Laboratories, Murray Hill, NJ, 1961.
8 W. Vesely, F. Goldberg, N. Roberts, and D. Haasl, Fault Tree Handbook, Technical Report NUREG-0492, U.S. Nuclear Regulatory Commission, 1981.
9 M. Stamatelatos and W. Vesely, Fault Tree Handbook with Aerospace Applications, Technical Report of NASA, 2002(8).
10 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, pp.1108-1115, Wuhan, China, 2004(9).   DOI
11 N. G. Leveson, Stephen S. Cha, and Timothy J. Shimeall, "Safety Verification of Ada Programs Using Software Fault Trees," IEEE Software, pp.48-59, 1991(7).   DOI   ScienceOn
12 M. Towhidnejad, D. Wallace, and A. Gallo. "Fault Tree Analysis for Software Design," In Proc. of 28th Annual IEEE/NASA Software Engineering Workshop, 2003.   DOI