Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2008.11a
- /
- Pages.597-600
- /
- 2008
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
Study of methodology for converting Fault Tree to Statecharts
폴트 트리의 상태차트 변환 방법론 연구
- Hyuk Lee (Dept. of Computer Science, Korea University) ;
- Jean-Ho Lee (Dept. of Computer Science, Korea University) ;
- Jin-Hyun Kim (Dept. of Computer Science, Korea University) ;
- Jin-Young Choi (Dept. of Computer Science, Korea University)
- Published : 2008.11.14
Abstract
안전성 분석 활동으로 널리 쓰이는 폴트 트리 분석은 그 원인들의 관계를 논리게이트로 표현하고 원인을 자연어로 설명한다. 폴트 트리에서 자연어를 사용하여 사고의 원인을 나타내는 것은 폴트 트리 자체의 검증뿐만 아니라, 동일한 대상의 시스템 명세에도 적용하기에 어려운 부분이다. 본 논문에서는 폴트 트리를 상태 차트로 변환하는 방법을 제안 하였으며, 상태차트로 변환된 폴트 트리를 상태차트로 명세 된 시스템의 기능적 요구사항과 결합함으로써 상태차트로 표현된 기능 명세가 안전성 분석활동을 통해 얻은 폴트 트리에 순응 되는지 여부를 볼 수 있었고, 폴트 트리에서의 분석 대상인 사고가 발생하기 까지를 추적할 수 있었다.
Keywords