최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국콘텐츠학회논문지 = The Journal of the Korea Contents Association, v.11 no.10, 2011년, pp.49 - 58
Fault Tree Analysis(FTA) builds fault trees to perform safety analysis of systems. However, building fault trees depends on domain knowledge and expertize on target systems and consumes lots of time and efforts. In this paper, we propose a technique that builds fault trees systematically based on st...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
결함 트리 분석은 어떻게 안전성 분석을 수행하는가? | 결함 트리 분석(Fault Tree Analysis)은 결함 트리를 구축하여 시스템의 안전성 분석을 수행한다. 그러나 결함 트리를 구성하는 작업은 대상 시스템의 도메인에 대한 지식과 경험을 필요로 하며 많은 시간과 노력을 소요한다. | |
FTA에 드는 시간과 비용은 무엇에 따라 달라지는가? | FTA에 드는 시간과 비용은 연루된 시스템의 복잡성에 따라 달라진다. 소규모의 단순한 시스템에 대해서는 1주로도 충분할 수 있지만 크고 복잡한 시스템의 경우에는 몇 주 또는 몇 달이 소요될 수 있다. | |
결함 트리 분석은 현재의 응용 분야가 어떻게 되어가는 추세인가? | Watson[1]에 의해 고안되고, Boeing 항공사에 의해 보완되어 항공기 설계에 사용되기 시작되었다. 현재에 이르러서는 자동차, 화학 공정, 철도, 원자력 및 로봇 산업에 이르기까지 응용 분야가 급속하게 넓어지고 있는 추세이다[2][3]. |
H. A. Watson, Launch Control Safety Study, Technical report, Bell Telephone Laboratories, Murray Hill, NJ, 1961.
W. Vesely, F. Goldberg, N. Roberts, and D. Haasl, Fault Tree Handbook, Technical Report NUREG-0492, U.S. Nuclear Regulatory Commission, 1981.
M. Stamatelatos and W. Vesely, Fault Tree Handbook with Aerospace Applications, Technical Report of NASA, 2002(8).
N. G. Leveson, Stephen S. Cha, and Timothy J. Shimeall, "Safety Verification of Ada Programs Using Software Fault Trees," IEEE Software, pp.48-59, 1991(7).
K. Lano, D. Clark, and K. Androutsopoulos, "Safety and Security Analysis of Object Oriented Models," Lecture Notes in Computer Science, p.2434, pp.82-93. 2002.
J. Gorski and B. Nowicki, "Object Oriented Approach to Safety Analysis," In Proc. of ENCRESS, pp.338-350, 1995.
R. Hawkins, Ian Toyn and Iain Bate, "Critical Systems Development with UML," In Procs. of UML 2003 workshop, San Fransisco 2003.
P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems-An Approach to the State-Explosion Problem. University of Liege, Computer Science Department. Ph.D. Thesis.
P. G. Frankl and E. J. Weyuker, "An applicable family of data flow testing criteria," IEEE Transactions on Software Engineering, Vol.14, No.10, pp.1483-1498, 1988.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
출판사/학술단체 등이 한시적으로 특별한 프로모션 또는 일정기간 경과 후 접근을 허용하여, 출판사/학술단체 등의 사이트에서 이용 가능한 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.