Safety Critical 시스템에서 사고의 예방동작간 충돌 분석 기법
A Collision Analysis Technique for Prevention Actions of Accident in Safety Critical System
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
Safety Critical 시스템은 시스템의 기능적인 실패 또는 예기치 못한 상황의 발생으로 인해 인명피해, 재산피해, 환경 피해와 같은 치명적인사고를 초래할 수 있는 시스템을 의미한다. 그러므로 Safety Critical 시스템의 안전을 보장하기 위해서는 시스템 설계 단계에서 시스템에 존재할 수 있는 위험성들이 충분히 고려되어야 하며, 사고가 발생했을 시 피해를 최소화시키기 위한 일련의 예방 동작들이 설계되어야 한다. 현재에는 Safety Critical 시스템의 설계 단계에서 위험성을 식별하고 분석하기 위한 많은 방법들이 연구되었으며, 이 중에는 예기치 못한 사건으로인한 피해를 예방하는 동작들의 성공 여부를 분석하는 기법도 존재한다. 본 연구에서는 위의 예방 동작들의 성공 여부에 대한 분석뿐만 아니라기존 연구들에서 언급하지 못한 예방 동작들 간의 충돌과 이로 인해 발생할 수 있는 피해를 분석하는 방법을 제시하고자 한다. 제안한 방법을 통해 Safety Critical 시스템의 안전성이 견고해지고 피해 예방을 위한 동작들의 올바른 설계에 도움이 될 수 있을 것이다.
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.
참고문헌 (16)
- John C. Knight, "Safety Critical System: Challenges and Directions", Software Engineering, 2002, ICSE 2002. Proceeding of the 24rd International Conference on, pp.547~550 (2002)
- M. Ben Swarup, "A Software Safety Model for Safety Critical Applications", International Journal of Software Engineering and Its Applications, 3(4), pp.21~32 (2009)
- 이은서, "소프트웨어 결함 분석을 위한 트리거 설계", 정보처리학회논문지D, 10(5), pp.709~718 (2003), 한국정보처리학회
- 이우진, "FSM의 행위 일치 알고리즘을 이용한 임베디드 시스템의 합성적 안전성 분석 기법", 정보처리학회논문지D, 14(6), pp.633~640 (2007), 한국정보처리학회
- Lee T. Ostrom, "Risk Assessment : Tools, Techniques and their Applications" (2012), Wiley
- Andrija Volkanovski, "Application of the fault tree analysis for assessment of power system reliability", Reliability Engineering & System Safety, 94(6), pp.1116~1127 (2009)
- Snooke, N., "Model-driven automated software FMEA", Proceedings of the Reliability and Maintainability Symposium (RAMS), pp.1~6 (2011)
- Andrews, J.D., "Event Tree Analysis Using Binary Decision Diagrams", the IEEE Transactions on Reliability, 29(2), pp.230~238 (2000)
- Pauperas, J., "Cause-consequence analysis of a generic space station computer system", Proceedings of the Reliability and Maintainability Symposium, pp.196~201 (1991)
- C. A. Ericson, "Hazard Analysis Technique for System Safety" (2005), Wiley Interscience
- Andrews, J.D., "Reliability of sequential systems using the cause—consequence diagram method", The Institution of Mechanical Engineers: Part E, 215(3), pp.207~220 (2001)
- Xingang Song, "Analysis of Management factors of Main Engine Failure Based on Event Tree Analysis", Proceedings of the 7th International Conference on System of Systems Engineering (SoSE), pp.8~10 (2012)
- David Huang, "A Fuzzy Set approach for event tree analysis", Fuzzy Sets and Systems, 118(1), pp.153~165 (2001)
- Lee, W. S., "Fault Tree Analysis, Methods, and Applications : A Review", The IEEE Transactions on Reliability, R-34(3), pp.194~203 (1985)
- Jianwen XIANG, "Fault Tree and Formal Methods in System Safety Analysis", Proceedings of the CIT '04. The Fourth International Conference on Computer and Information Technology, pp.1108~1115 (2004)
- Fussell, J. B., "MOCUS: A computer program to obtain minimal sets from fault trees", Proceedings of the Aerojet Nuclear ANCR-1156 (1974)