지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2011.10
- 수록면
- 49 - 58 (10page)
이용수
초록· 키워드
오류제보하기
결함 트리 분석(Fault Tree Analysis)은 결함 트리를 구축하여 시스템의 안전성 분석을 수행한다. 그러나 결함 트리를 구성하는 작업은 대상 시스템의 도메인에 대한 지식과 경험을 필요로 하며 많은 시간과 노력을 소요한다. 이 논문에서는 시스템 설계 산출물인 상태 전이 모델을 기반으로 결함 트리를 체계적으로 구성하는 방법을 제안한다. 이를 위해 시스템 상태 전이 모델의 안정성 확보에 필요한 조건들을 식별하고 결함 트리를 구성할 수 있는 템플리트를 개발한다. 이 논문에서는 제안된 방법을 철도 건널목 제어 시스템에 적용한 결과도 기술한다.
목차
요약
Abstract
Ⅰ. 서론
Ⅱ. 관련 연구
Ⅲ. 상태 전이 모델 기반 결함 트리 구성
Ⅳ. 사례 연구
Ⅴ. 결론 및 향후 연구
참고문헌
저자소개
참고문헌 (12)
참고문헌 신청
1. [보고서] - H. A. Watson / 1961 / Launch Control Safety Study
2. [보고서] - W. Vesely / 1981 / Fault Tree Handbook
3. [보고서] - M. Stamatelatos / 2002 / Fault Tree Handbook with Aerospace Applications
4. [학술대회논문] - J. Xiang / 2004 / Fault tree and Formal Methods in System Safety Analysis / Proc. of The 4th International Conference on Computer and Information Technology : 1108 ~ 1115
5. [기타자료] - N. G. Leveson / 1991 / Safety Verification of Ada Programs Using Software Fault Trees / IEEE Software : 48 ~ 59
2. [보고서] - W. Vesely / 1981 / Fault Tree Handbook
3. [보고서] - M. Stamatelatos / 2002 / Fault Tree Handbook with Aerospace Applications
4. [학술대회논문] - J. Xiang / 2004 / Fault tree and Formal Methods in System Safety Analysis / Proc. of The 4th International Conference on Computer and Information Technology : 1108 ~ 1115
5. [기타자료] - N. G. Leveson / 1991 / Safety Verification of Ada Programs Using Software Fault Trees / IEEE Software : 48 ~ 59
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-004-000887619