Safety Critical 시스템에서 사고의 예방동작간 충돌 분석 기법 = A Collision Analysis Technique for Prevention Actions of Accident in Safety Critical System

다국어 초록 (Multilingual Abstract)

A safety critical system is a system that leads to injury of people, damage of property and environment due to functional failures or occurrence of undesired condition. Therefore, to ensure the safety of a system, system engineers should consider the inherent hazards of the system at design phase of the system development, and also should design the prevention actions to minimize damage when an accident occurred. The objective of these actions is preventing the serious damage from accidents that can occur due to unforeseen circumstance. Recently, many studies have been performed to identify and analyze their hazards at design phase of safety critical systems. This paper suggests a safety analysis technique for analyzing the collision among those prevention actions to reduce accident and its effect by the collision of these actions that did not mentioned in previous studies. Through the proposed technique, it would improve robustness of safety and would help the design of prevention actions into system for the occurrence of accidents.

참고문헌 (Reference)

1 이은서, "소프트웨어 결함 분석을 위한 트리거 설계" 한국정보처리학회 10 (10): 709-718, 2003

2 John C. Knight, "Safety Critical System: Challenges and Directions" 547-550, 2002

3 Lee T. Ostrom, "Risk Assessment : Tools, Techniques and their Applications" Wiley 2012

4 Andrews, J.D., "Reliability of sequential systems using the cause—consequence diagram method" 215 (215): 207-220, 2001

5 Snooke, N., "Model-driven automated software FMEA" 1-6, 2011

6 Fussell, J. B., "MOCUS: A computer program to obtain minimal sets from fault trees" 1974

7 C. A. Ericson, "Hazard Analysis Technique for System Safety" Wiley Interscience 2005

8 Jianwen XIANG, "Fault Tree and Formal Methods in System Safety Analysis" 1108-1115, 2004

9 Lee, W. S., "Fault Tree Analysis, Methods, and Applications : A Review" R-34 (R-34): 194-203, 1985

10 이우진, "FSM의 행위 일치 알고리즘을 이용한 임베디드 시스템의 합성적 안전성 분석 기법" 한국정보처리학회 14 (14): 633-640, 2007

11 Andrews, J.D., "Event Tree Analysis Using Binary Decision Diagrams" 29 (29): 230-238, 2000

12 Pauperas, J., "Cause-consequence analysis of a generic space station computer system" 196-201, 1991

13 Andrija Volkanovski, "Application of the fault tree analysis for assessment of power system reliability" 94 (94): 1116-1127, 2009

14 Xingang Song, "Analysis of Management factors of Main Engine Failure Based on Event Tree Analysis" 8-10, 2012

15 M. Ben Swarup, "A Software Safety Model for Safety Critical Applications" 3 (3): 21-32, 2009

16 David Huang, "A Fuzzy Set approach for event tree analysis" 118 (118): 153-165, 2001