Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System

2002 ◽  
pp. 19-31 ◽  
Author(s):  
Pierre Bieber ◽  
Charles Castel ◽  
Christel Seguin
Keyword(s):  
Complex System ◽  
Model Checking ◽  
Safety Assessment ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Tree Analysis

Reliability and Fault Tree Analysis: Theoretical and Applied Aspects of System Reliability and Safety Assessment.

1977 ◽  
Vol 72 (358) ◽  
pp. 482 ◽  
Author(s):  
Robert G. Easterling ◽  
R. E. Barlow ◽  
J. B. Fussel ◽  
N. D. Singpurwalla
Keyword(s):  
System Reliability ◽  
Safety Assessment ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Tree Analysis

Research of the Node Ordering Technique According to the Shortest Fault Tree

2017 ◽  
Author(s):  
Guofeng Tang ◽  
Jingyu Zhang ◽  
Wei Gao ◽  
Qinfang Zhang
Keyword(s):  
Safety Assessment ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Binary Decision ◽  
Tree Analysis ◽  
Advanced Method ◽  
Probabilistic Safety Assessment ◽  
The Core ◽  
Minimal Cut Sets ◽  
Variable Ordering

Zero-suppressed Binary Decision Diagram (ZBDD) algorithm is an advanced method in fault tree analysis, which is developing quickly in recent years and being used in the development of the Probabilistic Safety Assessment (PSA) Quantification Engine. This algorithm converts a fault tree to a ZBDD structure, solves the minimal cut sets and calculates the top node unavailability. The ordering of the basic events and logical gates is the core technique of the ZBDD algorithm, which determines the efficiency of the ZBDD conversion and the size of the ZBDD structure. A variable ordering method based on the structure of the fault tree is developed in this paper, which gives a better basic events order by compressing the fault tree; meanwhile, the method offers a logical gates order. The nodes order derived from this method can accelerate the ZBDD conversion obviously.

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

2018 ◽  
Vol 14 (1) ◽  
pp. 370-379 ◽  
Author(s):  
Matthias Volk ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen
Keyword(s):  
Model Checking ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Tree Analysis ◽  
Dynamic Fault Tree ◽  
Fast Dynamic

scholarly journals Formal Safety Assessment of a Marine Seismic Survey Vessel Operation, Incorporating Risk Matrix and Fault Tree Analysis

2020 ◽  
Vol 19 (2) ◽  
pp. 155-172
Author(s):  
Gregory Asuelimen ◽  
Eduardo Blanco-Davis ◽  
Jin Wang ◽  
Zaili Yang ◽  
Dante Benjamin Matellini
Keyword(s):  
Risk Factors ◽  
Safety Assessment ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Seismic Survey ◽  
Risk Matrix ◽  
Tree Analysis ◽  
Formal Safety Assessment ◽  
Seismic Surveying ◽  
Marine Seismic

Abstract In maritime safety research, risk is assessed usually within the framework of formal safety assessment (FSA), which provides a formal and systematic methodology to improve the safety of lives, assets, and the environment. A bespoke application of FSA to mitigate accidents in marine seismic surveying is put forward in this paper, with the aim of improving the safety of seismic vessel operations, within the context of developing an economically viable strategy. The work herein takes a close look at the hazards in North Sea offshore seismic surveying, in order to identify critical risk factors, leading to marine seismic survey accidents. The risk factors leading to undesirable events are analysed both qualitatively and quantitatively. A risk matrix is introduced to screen the identified undesirable events. Further to the screening, Fault Tree Analysis (FTA) is presented to investigate and analyse the most critical risks of seismic survey operation, taking into account the lack of historical data. The obtained results show that man overboard (MOB) event is a major risk factor in marine seismic survey operation; lack of training on safe work practice, slippery deck as a result of rain, snow or water splash, sea state affecting human judgement, and poor communication are identified as the critical risk contributors to the MOB event. Consequently, the risk control options are focused on the critical risk contributors for decision-making. Lastly, suggestions for the introduction and development of the FSA methodology are highlighted for safer marine and offshore operations in general.

scholarly journals AN INTELLIGENT SYSTEM BY FUZZY RELIABILITY ALGORITHM IN FAULT TREE ANALYSIS FOR NUCLEAR POWER PLANT PROBABILISTIC SAFETY ASSESSMENT

2014 ◽  
Vol 13 (03) ◽  
pp. 1450017 ◽  
Author(s):  
JULWAN HENDRY PURBA ◽  
JIE LU ◽  
GUANGQUAN ZHANG
Keyword(s):  
Quantitative Data ◽  
Nuclear Power ◽  
Safety Assessment ◽  
Intelligent System ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Software Systems ◽  
Analysis Software ◽  
Fuzzy Reliability ◽  
Tree Analysis

Fault tree analysis for nuclear power plant probabilistic safety assessment is an intricate process. Personal computer-based software systems have therefore been developed to conduct this analysis. However, all existing fault tree analysis software systems only accept quantitative data to characterized basic event reliabilities. In real-world applications, basic event reliabilities may not be represented by quantitative data but by qualitative justifications. The motivation of this work is to develop an intelligent system by fuzzy reliability algorithm in fault tree analysis, which can accept not only quantitative data but also qualitative information to characterized reliabilities of basic events. In this paper, a newly-developed system called InFaTAS-NuSA is presented and its main features and capabilities are discussed. To benchmark the applicability of the intelligent concept implemented in InFaTAS-NuSA, a case study is performed and the analysis results are compared to the results obtained from a well-known fault tree analysis software package. The results confirm that the intelligent concept implemented in InFaTAS-NuSA can be very useful to complement conventional fault tree analysis software systems.

Failure possibilities for nuclear safety assessment by fault tree analysis

2011 ◽  
Vol 5 (2) ◽  
pp. 162 ◽  
Author(s):  
Julwan Hendry Purba ◽  
Jie Lu ◽  
Guangquan Zhang ◽  
Da Ruan
Keyword(s):  
Safety Assessment ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Nuclear Safety ◽  
Tree Analysis
Sign in / Sign up

Export Citation Format

Share Document