• Nuclear Engineering and Technology
• /
• v.40 no.5
• /
• pp.365-374
• /
• 2008

Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

• Journal of the Korean Society of Safety
• /
• v.30 no.3
• /
• pp.100-106
• /
• 2015

A module or independent subtree is a part of a fault tree whose child gates or basic events are not repeated in the remaining part of the fault tree. Modules are necessarily employed in order to reduce the computational costs of fault tree quantification. This quantification generates fault tree solutions such as minimal cut sets, minimal path sets, or binary decision diagrams (BDDs), and then, calculates top event probability and importance measures. This paper presents a new linear time algorithm to detect modules of large fault trees. It is shown through benchmark tests that the new method proposed in this study can very quickly detect the modules of a huge fault tree. It is recommended that this method be implemented into fault tree solvers for efficient probabilistic safety assessment (PSA) of nuclear power plants.

• Journal of the Korean Society for Railway
• /
• v.11 no.6
• /
• pp.530-535
• /
• 2008

After train fire accident in Daegue, many research on train fire safety improvement have been carrying out. Since many alternative fire safety measures can be applied in our railway system, the effect of the each safety measure must be quantified prior to the safety investment. In order to estimate the effects of each safety measure quantitatively, fault trees and event trees are constructed in this study. Results can be applied for cost-benefit analysis or sensitivity analysis for safety measures in risk assessment process.

• The KIPS Transactions:PartA
• /
• v.17A no.3
• /
• pp.113-120
• /
• 2010

Even networks were introduced as a class of fault-tolerant multiprocessor networks and analyzed so many useful properties and algorithms such as simple routing algorithms, maximal fault tolerance, node disjoint path. Introduced routing algorithms and node disjoint path algorithms are proven to be optimal. However, it has not been introduced to constructing scheme for edge-disjoint spanning trees in even networks. The design of edge-disjoint spanning trees is a useful scheme to analyze for measuring the efficiency of fault tolerant of interconnection network and effective broadcasting. Introduced routing algorithm or node disjoint path algorithm are for the purpose of routing or node disjoint path hence they are not applicable to constitute edge disjoint spanning tree. In this paper, we show a construction algorithm of edge-disjoint spanning trees in even network $E_d$.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.393-393
• /
• 2000

FTA(Fault Tree Analysis) is a safety analysis method that focuses on one particular accident or main system failure and provides a method of determining causes of that event. While most of the statistical and cut set analysis have been automated, actual construction of the fault-tree is usually done manually. Manual construction of the fault-tree is extremely time consuming and it requires high level of expertise and experience. In addition to the time involved, different analyst often produces different fault-trees either by incorrect logic or omission of certain events. Automatic fault-tree construction system can be efficient in solving above problems. This study presents a new Digraph-FT conversion algorithm that leads automatic FTA system.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.499-504
• /
• 1996

Current Probabilistic Safety Assessment (PSA) techniques are not usually utilized for day-to-day applications in nuclear power plants. The major reason for this anomaly is the complexity of plant models developed for PSA studies and the multitude of resulting fault trees. This impediment can be overcome by the use of simplified plant models. However, oversimplified models usually result in loss of valuable information and therefore. simplification approaches have to be used judiciously in order to achieve accurate and meaningful results. For this reason. development of an appropriate simplification approach must be performed using extreme caution followed with results verification in sequence as well as system levels. If there are no significant differences between the simplified and the original models, the simplified model can be efficiently used in the application of the PSA. This paper presents a methodology for how to develop a suitable simplification technique and the results of its verification for sample systems and sequences. The results show that the utilization of simplified plant models will significantly reduce the number of fault trees with no significant loss of accuracy.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2006.11a
• /
• pp.407-410
• /
• 2006

Decision tree is one of the most effective and widely used methods for building classification model. Researchers from various disciplines such as statistics, machine teaming, pattern recognition, and data mining have considered the decision tree method as an effective solution to their field problems. In this paper, an application of decision tree method to classify the faults of induction motors is proposed. The original data from experiment is dealt with feature calculation to get the useful information as attributes. These data are then assigned the classes which are based on our experience before becoming data inputs for decision tree. The total 9 classes are defined. An implementation of decision tree written in Matlab is used for four data sets with good performance results

• Proceedings of the KSME Conference
• /
• 2001.06c
• /
• pp.333-338
• /
• 2001

Fault tree is a widely used methodology for analyzing product reliability. The fault trees are usually constructed using the experiences of expert reliability engineers in top-down approaches and have different structures according to each expert's subjectivity. In this work it is tried to find a general method for the fault tree construction based on the function tree that is the result of product function deployment. Based on the function tree, the method has the advantage of resulting an objective fault tree since the faults are defined as the opposite concept of functions. The fault tree construction of this work consists of the following steps: 1) definition of product primary function with the viewpoints of product operation and configuration, 2) construction of functional relation chart using a grouping algorithm, 3) abstraction of functional block diagram according to operation sequences and configuration of a product, 4) construction of function tree for each viewpoint, and 5) construction of fault tree by matching the function tree and simplification of the result.

• Proceedings of the KSR Conference
• /
• 2005.05a
• /
• pp.123-126
• /
• 2005

Recently many accidents have been occurred on track workers, these accidents have strong relationship with increase of train speed, electrification and multiple track portion. As a first step for the safety management, domestic and abroad track worker accidents data are analysed for the risk estimation of track worker. Analysis results shows that contact between track worker and train is the dormant reason. In order to reduce dormant reason fault trees are constructed in this study.

• Journal of Software Engineering Society
• /
• v.14 no.1
• /
• pp.4-18
• /
• 2001

폴트 트리 분석(Fault Tree Analysis)은 시스템의 안전성을 분석하는데 유용한 방법으로 쓰이고 있으나, 보통 수작업으로 이루어지며, 체계적인 구성 방법 없는 실정이어서 부정확할 수 있는 약점을 가진다. 이러한 약점을 보완하기 위해, 본 논문에서는 모델 체팅(Model Checking) 방법을 이용하여 폴트 트리를 좀 더 정확하게 보정하는 방법을 제안한다. 폴트 트리를 정확히 고치기 위해서, 먼저 폴트 트리의 노드에 대해서 공식을 만들고, 이 공식을 실시간 모델 체커 UPPAAL을 이용해 검증한다. 그리고 나서, 검증 결과를 분석하며, 이를 통해 얻어진 정보를 이용해 폴트 트리에 반영하게 된다.