Safety Critical 시스템은 시스템의 기능적인 실패 또는 예기치 못한 상황의 발생으로 인해 인명피해, 재산피해, 환경 피해와 같은 치명적인사고를 초래할 수 있는 시스템을 의미한다. 그러므로 Safety Critical 시스템의 안전을 보장하기 위해서는 시스템 설계 단계에서 시스템에 존재할 수 있는 위험성들이 충분히 고려되어야 하며, 사고가 발생했을 시 피해를 최소화시키기 위한 일련의 예방 동작들이 설계되어야 한다. 현재에는 Safety Critical 시스템의 설계 단계에서 위험성을 식별하고 분석하기 위한 많은 방법들이 연구되었으며, 이 중에는 예기치 못한 사건으로인한 피해를 예방하는 동작들의 성공 여부를 분석하는 기법도 존재한다. 본 연구에서는 위의 예방 동작들의 성공 여부에 대한 분석뿐만 아니라기존 연구들에서 언급하지 못한 예방 동작들 간의 충돌과 이로 인해 발생할 수 있는 피해를 분석하는 방법을 제시하고자 한다. 제안한 방법을 통해 Safety Critical 시스템의 안전성이 견고해지고 피해 예방을 위한 동작들의 올바른 설계에 도움이 될 수 있을 것이다.
본고에서는 위의 예방 동작들의 성공 여부에 대한 분석뿐만 아니라기존 연구들에서 언급하지 못한 예방 동작들 간의 충돌과 이로 인해 발생할 수 있는 피해를 분석하는 방법을 제시하고자 한다.