Abstract:Ensuring user safety has become increasingly essential, especially for safety-critical systems (SCSs) that are vital to human life or significant property. However, the prevailing design-for-testability (DFT) model, which relies on dependencies, overlooks safety-related faults and lacks adequate metrics for evaluating system safety. Consequently, the current dependency model is insufficient in effectively assessing system safety. To address this issue, this study has developed a comprehensive DFT model that integrates system safety considerations, known as the safety-related fault model (SRFM). SRFM uses internal block diagrams (IBDs) as a means, employs a nine-tuple model to create a static automatic fault tree, and establishes mapping relationships. Sensitivity analysis is utilized to quantify system safety factors, resulting in a safety-related dependency matrix. Two crucial concepts, design safety sensitivity (DSS) and theoretical safety sensitivity (TSS), are introduced to quantify system safety loss after a fault occurs. Additionally, two new safety-related testability metrics—test advantage of safety assessment on probability (TASAP) and test advantage of safety assessment on number (TASAN)—are developed for a robust evaluation of system safety. To validate the effectiveness of SRFM, it is applied to an electronic safety and arming device (ESA), demonstrating superior performance in TASAP and TASAN compared to existing models, with a negligible impact on expected test cost (ETC).

A component behavioural model for automatic fault tree construction

A Method for Constructing Fault Trees from AADL Models.

A new methodology for automatic fault tree construction based on component and mark libraries

Research Of Automatic Generating Analog Circuits Fault Tree Based On Ieee 1232

Automatic Construction of Fault Tree for Control Systems Based on Component Failure Model

Fusion Assessment of Safety and Security for Intelligent Industrial Unmanned Systems

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees

Fault Diagnosis of Simplified Fault Trees Using State Transition Diagrams.

Research on Modeling Method of Testability Design Based on Static Automatic Fault Tree

Reliability Analysis of Dynamic Fault Tree Based on Binary Decision Diagrams for Explosive Vehicle

A NEW FAULT TREE ANALYSIS METHOD: FUZZY DYNAMIC FAULT TREE ANALYSIS

Dynamic Fault Tree Generation and Quantitative Analysis of System Reliability for Embedded Systems Based on SysML Models

RESEARCH ON AUTOMATIC FAULT TREE CONSTRUCTION FOR CONTROL SYSTEM

Combination of component fault trees and Markov chains to analyze complex, software-controlled systems

Analysis on Dynamic Fault Tree Based on Fuzzy Set

Quantification of Highly Coupled Dynamic Fault Tree Using IRVPM and SBDD.

A Systematic Approach for Integrating Fault Trees into System Statecharts

Method of fault tree construction based on hierarchical topology model

Method of diagnostic tree design for system-level faults based on dependency matrix and fault tree

Reliability and Sensitivity Analysis of Embedded Systems with Modular Dynamic Fault Trees

ICONE23-1293 APPLICATION OF SUBSET SIMULATION METHODS TO DYNAMIC FAULT TREE ANALYSIS