Boosting Fault Tree Analysis by Formal Methods

2017 ◽  
pp. 368-389 ◽  
Author(s):  
Joost-Pieter Katoen ◽  
Mariëlle Stoelinga
Keyword(s):  
Formal Methods ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Tree Analysis

Fault Tree Analysis for a Modern Communication System

2017 ◽  
Vol 7 (1) ◽  
Author(s):  
Kamal Hamid ◽  
Nadim Chahine
Keyword(s):  
Communication System ◽  
Communication Systems ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Theory And Practice ◽  
Tree Analysis ◽  
Satisfactory Performance ◽  
System Components ◽  
Link Budget ◽  
Simulation Results

Wireless communications became one of the most widespread means for transferring information. Speed and reliability in transferring the piece of information are considered one of the most important requirements in communication systems in general. Moreover, Quality and reliability in any system are considered the most important criterion of the efficiency of this system in doing the task it is designed to do and its ability for satisfactory performance for a certain period of time, Therefore, we need fault tree analysis in these systems in order to determine how to detect an error or defect when happening in communication system and what are the possibilities that make this error happens. This research deals with studying TETRA system components, studying the physical layer in theory and practice, as well as studying fault tree analysis in this system, and later benefit from this study in proposing improvements to the structure of the system, which led to improve gain in Link Budget. A simulation and test have been done using MATLAB, where simulation results have shown that the built fault tree is able to detect the system’s work by 82.4%.

Reliability assessment on 16 nm ultrascale+ MPSoC using fault injection and fault tree analysis

2021 ◽  
Vol 120 ◽  
pp. 114122
Author(s):  
Weitao Yang ◽  
Boyang Du ◽  
Chaohui He ◽  
Luca Sterpone
Keyword(s):  
Fault Injection ◽  
Fault Tree ◽  
Reliability Assessment ◽  
Fault Tree Analysis ◽  
Tree Analysis

Application of Fault Tree Analysis and Swiss Cheese Model to the Overspeed Derailment of Puyuma Train in Yilan, Taiwan

2020 ◽  
Vol 2674 (5) ◽  
pp. 33-46
Author(s):  
Jyh-Cherng Jong ◽  
Yung-Cheng (Rex) Lai ◽  
Cheng-Chung Young ◽  
Yu-Fu Chen
Keyword(s):  
Process Analysis ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Swiss Cheese ◽  
Contributing Factors ◽  
Tree Analysis ◽  
Train Control ◽  
Swiss Cheese Model ◽  
Express Train ◽  
Cheese Model

On October 21, 2018, a Puyuma express train went overspeed through a sharp curve and derailed in Yilan, Taiwan. This accident resulted in 18 fatalities and 267 injuries. Although such accidents occur once in a while worldwide, this case of an overspeed derailment from a train-set equipped with an automatic train protection (ATP) system (similar to the function of Positive Train Control (PTC) in the U.S.) is rare. A temporary investigation team was appointed by the Executive Yuan, the highest administrative organ in Taiwan, and the investigation was completed within 2 months. This paper presents the process, analysis, findings, and recommendations from the accident investigation. The accident was first analyzed using fault tree analysis to identify potential causes and contributing factors of this derailment. The results were then categorized into layers of defenses by using a Swiss cheese model. We further extended the original Swiss cheese model to a “time-dependent Swiss cheese model” to demonstrate how the barriers were penetrated at different times by incorporating the timestamps of important events. Another modified Swiss cheese model called “causal relationship Swiss cheese model” was presented to further demonstrate the causal relationships. With the proposed process and models, the immediate causes and contributing factors were quickly identified and presented in a way that could be easily understood by the general public. The results showed that the ATP system (or the PTC) cannot guarantee 100% safety. A review of the safety culture and corresponding procedures is important to ensure the safety of railway operations.

Sign in / Sign up

Export Citation Format

Share Document