• Proceedings of the Korean Reliability Society Conference
• /
• 2001.06a
• /
• pp.257-263
• /
• 2001

In the analysis of product reliability, the fault tree is widely used since it shows the interrelations of the faults that lead to the product fault. A top-down approach based on experts’ experience is commonly used in the fault tree construction and the trees often take different forms depending on the intent of the analyst. In this work it is studied how to construct fault trees with the utilization of function trees obtained from analyzing the functions and sub-functions of products in order to suggest a generic way of fault tree construction. The function tree of a product is obtained by analyzing basic functions comprising the product main function in a bottom-up approach so that it enables to construct an objective fault tree. The fault tree for a scroll compressor is shown as an example.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• pp.401-406
• /
• 2000

Fault tree analysis (FTA) is a widely used methodology for reliability analysis. The method is useful in that it suggests a very comprehensive way of describing the hierarchical relations of causes of faults and the corresponding results. However it is difficult to get appropriate fault trees for given products or systems without very profound knowledge and experience. This work aims to develop a methodology of fault tree construction using the results of function deployment for machine parts, which provides an objective way of preparing fault trees. The failure modes are defined to each function network generated by the function deployment method and the fault tree with respect to each viewpoint is constructed by arranging the failure modes. The fault tree is finally obtained by synthesizing the fault trees with respect to each viewpoint. The example of fault tree construction is also shown.

• Journal of Advanced Marine Engineering and Technology
• /
• v.28 no.7
• /
• pp.1092-1100
• /
• 2004

This paper describes the application of fault tree technique to analyze of compressor failure. Fault tree analysis technique involves the decomposition of a system into the specific form of fault tree where certain basic events lead to a specified top event which signifies the total failure of the system. In this research. fault trees for failure analysis of screw type air compressor are made. This fault trees are used to obtain minimal cut sets from system failure and system failure rate for the top event occurrence can be calculated. It is Possible to estimate air compressor reliability by using constructed fault trees through compressor failure example. It is Proved that FTA is efficient to investigate the compressor failure modes and diagnose system.

• The Journal of the Korea Contents Association
• /
• v.11 no.10
• /
• pp.49-58
• /
• 2011

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 state-transition models which are software design artifacts. For the end, this paper identifies conditions that should be satisfied to guarantee safety of state-transition models and develop templates for fault tree construction. This paper also describes the results of appling the proposed method to railway crossing control system.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.860-872
• /
• 2002

Fault tree analysis is the most widely used saftly analysis technique in industry. However, the analysis is often applied manually, and there is no systematic and automated approach available to validate the analysis result. In this paper, we demonstrate that a real-time model checker UPPAAL is useful in formally specifying the required behavior of safety-critical software and to validate the accuracy of manually constructed fault trees. Functional requirements for emergency shutdown software for a nuclear power plant, named Wolsung SDS2, are used as an example. Fault trees were initially developed by a group of graduate students who possess detailed knowledge of Wolsung SDS2 and are familiar with safety analysis techniques including fault tree analysis. Functional requirements were manually translated in timed automata format accepted by UPPAAL, and the model checking was applied using property specifications to evaluate the correctness of the fault trees. Our application demonstrated that UPPAAL was able to detect subtle flaws or ambiguities present in fault trees. Therefore, we conclude that the proposed approach is useful in augmenting fault tree analysis.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.1132-1139
• /
• 2006

Railway risk is evaluated by a method of linking event trees and fault trees as the general PSA(Probabilistic Safety Assessment) model for the risk assessment of complex systems. Accident scenarios causing undesirable events are modeled by event trees comprised of several accident sequences. Each branch located in the accident progression of the event tree is modeled by an fault tree or can be represented by some value too simply. We usually evaluate the frequency of the whole sequence by adding them after calculating the frequency of each sequence at a time. However, since there are quite a number of event trees and fault trees in the railway risk assessment model, the number of sequence to evaluate increases and preparation for the risk assessment costs much time all the more. Also, it may induce errors when analysts perform the work of quantification. Therefore, the systematic maintenance and control of event trees and fault trees will be essential for the railway risk assessment. In this paper we introduce an integrated assessment method using one-top model and develop a risk assessment tool for the maintenance and control of the railway risk model.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.1
• /
• pp.127-138
• /
• 1994

The application of fault tree technique to the analysis of compressor failure is considered. The techniques involve the decomposition of the system into a form of fault tree where certain basic events lead to a specified top event which signifies the total failure of the system. In this paper, fault trees are made by using fault train of screw type air compressor failure. The fault trees are used to obtain minimal cut sets from the modes of system failure and, hence the system failure rate for the top event can be calculated. The method of constructing fault trees and the subsequent estimation of reliability of the system is illustrated through compressor failure. It is proved that FTA is efficient to investigate the compressor failure modes and diagnose system.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1993.04b
• /
• pp.305-309
• /
• 1993

The application of fault tree technique to the analysis of compressor failure is considered. The techniques involve the decomposition of the system into a logic diagram or fault tree in whichcertain basic or primary events lead to a specified top event which signifiss the total failure of the system. The fault trees are used to obtain miniumal cut sets from whichthe modes of system failure and, hence the reliability for the top event can be calculated. The method of constructing fault trees and the subsequent estimation of reliability of the system is illustrated through a compressor failure. FTA is roved to be efficient to investigate the compressor fault train.

• 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.

• Nuclear Engineering and Technology
• /
• v.53 no.9
• /
• pp.2888-2898
• /
• 2021

Vital area identification (VAI) is an essential procedure for the design of physical protection systems (PPSs) for nuclear power plants (NPPs). The purpose of PPS design is to protect vital areas. VAI has been improved continuously to overcome the shortcomings of previous VAI generations. In first-generation VAI, a sabotage fault tree was developed directly without reusing probabilistic safety assessment (PSA) results or information. In second-generation VAI, VAI model was constructed from all PSA event trees and fault trees. While in third-generation VAI, it was developed from the simplified PSA event trees and fault trees. While VAIs have been performed for NPPs in full-power operations, VAI for NPPs in low-power and shutdown (LPSD) operations has not been studied and performed, even though NPPs in LPSD operations are very vulnerable to sabotage due to the very crowded nature of NPP maintenance. This study is the first to research and apply VAI to LPSD operation of NPP. Here, the third-generation VAI method for full-power operation of NPP was adapted to the VAI of LPSD operation. In this study, LPSD VAI for a few plant operational states (POSs) was performed. Furthermore, the operation strategy of vital areas for both full-power and LPSD operations was discussed. The LPSD VAI method discussed in this paper can be easily applied to all POSs. The method and insights in this study can be important for future LPSD VAI that reflects various LPSD operational states. Regulatory bodies and electric utilities can take advantage of this LPSD VAI method.