• Title/Summary/Keyword: 고장 수목

Search Result 54, Processing Time 0.028 seconds

A Synthesis Method of Software Fault Tree from NuSCR Formal Specification using Templates (템플릿에 기반한 NuSCR 정형 명세의 소프트웨어 고장 수목 생성 방법)

  • Kim, Tae-Ho;Yoo, Jun-Beom;Cha, Sung-Deok
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.12
    • /
    • pp.1178-1191
    • /
    • 2005
  • In this paper, we propose a synthesis method of software fault tree from software requirements specification written in NuSCR formal specification language. The software fault tree, proposed in this paper, reflects requirements on both structure and behavior and it is an integrated form. The software fault tree can be used for analyzing safety in the view of structure and behavior. We propose templates for each components in NuSCR specification language and a synthesis method of software fault tree using the templates. The research was applied into the main trip logic of the reactor protection system of ARP1400, the Korean next generation nuclear reactor system, developed by KNICS. And we evaluate feasibility of our approach through this case study.

해석적 방법에 의한 고장 수목 순환 논리의 분석 : 실제 PSA에의 적용 예

  • 양준언;황미정;한상훈;김태운
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1996.05b
    • /
    • pp.570-575
    • /
    • 1996
  • 1단계 확률론적 안전성 평가 (Level 1 Probabilistic Safety Assessment, PSA)를 수행할 때 나타나는 보조계통 고장 수목간의 순환 논리는 사고 경위 정량화를 위하여 해결되어야만 한다. 기존의 PSA에서는 이를 위하여 별도의 고장 수목을 다시 작성하였으나, 이 방법을 사용하기 위하여서는 보조계통 간의 관계를 검토하여야 하며, 이에 따른 별도의 고장 수목을 작성하여야 하는 등 추가적인 작업이 요구된다. 또한 기존 방법은 일부 최소 단절군이 생성되지 않는 약점을 갖고 있다. 이에 따라 한국원자력연구소에서는 해석적으로 순환 논리를 푸는 방법을 개발하였으며, 이를 PSA용 코드인 KIRAP 코드에 구축하였다. 이에 따라 기존 방법의 약점을 극복하고 고장 수목간의 순환 논리를 자동으로 풀 수 있게 되었다. 본 논문에서는 개발된 해석적 방법을 설명하며, 또한 이 방법을 실제 PSA에 적용하며 나타난 여러 현상에 대하여 살펴본다.

  • PDF

Development of a Method for Uncertainty Analysis in the Top Event Unavailability (고장수목 정점사상 이용 불능도의 불확실성 분석용 방법 개발)

  • Sang Hoon Han;Chang Hyun Chung;Kun Joong Yoo
    • Nuclear Engineering and Technology
    • /
    • v.16 no.2
    • /
    • pp.97-105
    • /
    • 1984
  • A method and computer code for the uncertainty analysis in the top event unavailability are developed and tested by combining Monte Carlo Method and Moments method with fault tree reduction technique. Using system fault trees and unavailability data selected in WASH-1400, the efficiency of the proposed method is tested and these results are compared with those obtained by Monte Carlo method. It is shown that the results are sufficiently good in accuracy and computation time is considerably reduced compared with those by Monte Carlo method.

  • PDF

A Method of BDD Restructuring for Efficient MCS Extraction in BDD Converted from Fault Tree and A New Approximate Probability Formula (고장수목으로부터 변환된 BDD에서 효율적인 MCS 추출을 위한 BDD 재구성 방법과 새로운 근사확률 공식)

  • Cho, Byeong Ho;Hyun, Wonki;Yi, Woojune;Kim, Sang Ahm
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.23 no.6
    • /
    • pp.711-718
    • /
    • 2019
  • BDD is a well-known alternative to the conventional Boolean logic method in fault tree analysis. As the size of fault tree increases, the calculation time and computer resources for BDD dramatically increase. A new failure path search and path restructure method is proposed for efficient calculation of CS and MCS from BDD. Failure path grouping and bottom-up path search is proved to be efficient in failure path search in BDD and path restructure is also proved to be used in order to reduce the number of CS comparisons for MCS extraction. With these newly proposed methods, the top event probability can be calculated using the probability by ASDMP(Approximate Sum of Disjoint MCS Products), which is shown to be equivalent to the result by the conventional MCUB(Minimal Cut Upper Bound) probability.

Development of the Risk Assessment Model for Railway Level-Crossing Accidents by Using The ETA and FTA (ETA 및 FTA를 이용한 철도 건널목사고 위험도 평가 모델 개발에 대한 연구)

  • Kim, Min-Su;Wang, Jong-Bae;Park, Chan-Woo;Cho, Yeon-Ok
    • Journal of the Korean Society for Railway
    • /
    • v.12 no.6
    • /
    • pp.936-943
    • /
    • 2009
  • In this study, a risk assessment model based on the ETA (Event Tree Analysis) and FTA (Fault Tree Analysis) is developed according to the procedure of hazard analysis and risk assessment in order to estimate the risk quantitatively. The FTA technique is applied to estimate the branch probability (frequency) and the ETA technique is applied to estimate the consequence for each branch path on the ET (Event Tree). A risk assessment model is developed by the combination of those ETA and FTA. In addition, the reliability and the validity of the risk assessment model are verified by comparing the risk estimated through the developed model with the actual equivalent fatality.

KAERI 에서의 PSA Workstation 개발

  • 한상훈;김태운;박창규
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1996.05b
    • /
    • pp.610-615
    • /
    • 1996
  • PSA 모델링 및 데이타 관리를 효과적으로 수행하고 PSA 정량화를 자동화할 수 있도록 PSA workstation 을 개발하고 있다. Windows용 고장수목 및 사건수목 편집기, 데이타 관리 모듈 개발등의 PSA모델링 및 관리 모듈이 개발되었고, 또한 최소단절집합 생성 방법 개선, 규칙기반 회복조치 분석 및 고장수목 순환논리 분석 방법 개발등을 통한 PSA 정량화 방법의 개선이 이루어졌다. PSA workstation은 PSA 응용 소프트웨어 개발의 기초로도 사용될 수 있다.

  • PDF

Calculation of Top Event Probability of Fault Tree using BDD (BDD를 이용한 사고수목 정상사상확률 계산)

  • Cho, Byeong Ho;Yum, Byeoungsoo;Kim, Sangahm
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.20 no.3
    • /
    • pp.654-662
    • /
    • 2016
  • As the number of gates and basic events in fault trees increases, it becomes difficult to calculate the exact probability of the top event. In order to overcome this difficulty the BDD methodology can be used to calculate the exact top event probability for small and medium size fault trees in short time. Fault trees are converted to BDD by using CUDD library functions and a failure path search algorithm is proposed to calculate the exact top event probability. The backward search algorithm is more efficient than the forward one in finding failure paths and in the calculation of the top event probability. This backward search algorithm can reduce searching time in the identification of disjoint failure paths from BDD and can be considered as an effective tool to find the cut sets and the minimal cut sets for the given fault trees.

A Safety Measurement of Test Case using Fault Tree Analysis (고장수목을 이용한 테스트 케이스의 안전성 측정)

  • Yoon, Sang-Hyun;Jo, Jae-Yeon;Yoo, Jun-Beom
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2011.06b
    • /
    • pp.197-199
    • /
    • 2011
  • 테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.

원자력발전소의 저출력/정지 확률론적 안전성 평가를 위한 인간신뢰도분석 절차서 개발

  • 강대일;성태용;김길유
    • Proceedings of the Korean Institute of Industrial Safety Conference
    • /
    • 1997.11a
    • /
    • pp.179-184
    • /
    • 1997
  • 지금까지 수행되었던 원자력발전소의 확률론적 안전성 평가 (Probabilistic Safety Assessment; PSA) 결과, 노심손상 빈도의 30% - 70%가 인간행위와 관련이 있는 것으로 밝혀져 PSA에서 인간행위를 적절히 다루는 것은 매우 중요하다. 특히 원자력발전소의 정지운전인 경우에는 자동으로 작동하는 계통이 거의 없어 고장수목(fault tree)과 사건수목(event tree)의 모델링에 많은 운전인 행위가 포함되기 때문에 노심손상 빈도와 관련이 있는 인간행위는 전출력 운전(full power operation)에 대한 PSA 결과의 경우보다 많은 것으로 나타났다. PSA에서 인간신뢰도분석(human reliability analysis)은 PSA의 논리구조인 고장수목과 사건수목에 모델링될 인간행위를 파악하고 정량화하는 것이다. 현재 인간신뢰도분석은 인간행위에 대한 데이타의 부족과 인간행위 자체의 다변성(variability)으로 인해 분석에 어려움이 있고 분석자의 주관성이 개입될 여지가 많은 실정이며, 이에 따라 분석 결과에는 많은 불확실성을 내포하게 된다. (중략)

  • PDF