Fast dynamic fault tree analysis by model checking techniques
This paper presents a new state-space generation approach for dynamic fault trees (DFTs)
that exploits several successful reduction techniques from the field of model checking. The …
that exploits several successful reduction techniques from the field of model checking. The …
Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives
C Zhu, Y Jiang, G Liu, T Zhang - Quality and Reliability …, 2023 - Wiley Online Library
Dynamic fault tree (DFT) is designed to conduct risk assessment studies of complex
systems. With the development of intelligent and network technology, risk assessment …
systems. With the development of intelligent and network technology, risk assessment …
[HTML][HTML] Model-based joint analysis of safety and security: Survey and identification of gaps
SM Nicoletti, M Peppelman, C Kolb… - Computer science review, 2023 - Elsevier
We survey the state-of-the-art on model-based formalisms for safety and security joint
analysis, where safety refers to the absence of unintended failures, and security to absence …
analysis, where safety refers to the absence of unintended failures, and security to absence …
Safety analysis for vehicle guidance systems with dynamic fault trees
This paper considers the design-phase safety analysis of vehicle guidance systems. The
proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety …
proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety …
A survey of fault and attack tree modeling and analysis for cyber risk management
Cyber security is of great concern to the Department of Homeland Security (DHS) and other
organizations within government, as cyberspace is the gateway to services and …
organizations within government, as cyberspace is the gateway to services and …
Model-based safety assessment with SysML and component fault trees: application and lessons learned
Mastering the complexity of safety assurance for modern, software-intensive systems is
challenging in several domains, such as automotive, robotics, and avionics. Model-based …
challenging in several domains, such as automotive, robotics, and avionics. Model-based …
DFT modeling approach for operational risk assessment of railway infrastructure
Reliability engineering of railway infrastructure aims to understand failure processes and to
improve the efficiency and effectiveness of investments and maintenance planning such that …
improve the efficiency and effectiveness of investments and maintenance planning such that …
Rare event simulation for dynamic fault trees
Fault trees (FT) are a popular industrial method for reliability engineering, for which Monte
Carlo simulation is an important technique to estimate common dependability metrics, such …
Carlo simulation is an important technique to estimate common dependability metrics, such …
A hierarchical approach for dynamic fault trees solution through semi-Markov process
K Aslansefat, GR Latif-Shabgahi - IEEE Transactions on …, 2019 - ieeexplore.ieee.org
Dynamic fault tree (DFT) is a top-down deductive technique extended to model systems with
complex failure behaviors and interactions. In two last decades, different methods have …
complex failure behaviors and interactions. In two last decades, different methods have …
A general framework for dependability modelling coupling discrete-event and time-driven simulation
Abstract Analysis of complex failure scenarios and mitigation procedures of an industrial
plant is one of the most important activity for the safety of the factory, the personnel and the …
plant is one of the most important activity for the safety of the factory, the personnel and the …