Safety Verification Method Based on Fault Tree Analysis

FTA를 이용한 안전성 검증에 대한 고찰

객체 지향 설계 명세를 대상으로한 시스템의 안전성에 대한 검사를 하여, 표(Table)조작에 기초한 검증법을 제안하였다[4]. 제안한 검증법에서는 전문 분야별로 준비된 안정성 기준(Safety Standard)과 노우하우(Knowhow)를 이용하여, 안전성에 관한 이벤트(Event)와 액션(Action)의 관계표를 작성하였다. 그러나, 많은 실제 개발 현장에서는 실제 존재하는 안전성 기준의 부족 등으로 인하여, 이러한 검증법의 기용이 어렵다는 문제점이 있다. 이에 본 논문에서는 신뢰성 분석의 한 방법인 FTA(Fault Tree Analysis)의 FT(Fault Tree)도를 이용한 안정성 체크리스트(Check list)를 작성하여, 이를 바탕으로 관계표를 작성하는 새로운 방법을 제안하고자 한다.