Results 31 to 40 of about 756 (245)
SAFEST: The Static and Dynamic Fault Tree Analysis Tool
Proceeding of the 33rd European Safety and Reliability Conference, 2023 Contains fulltext : 297193.pdf (Publisher’s version ) (Open Access)
Volk, M. +5 more
openaire +3 more sources
Nuclear Engineering and Technology, 2022 Dynamic fault tree (DFT) and its related research methods have received extensive attention in safety analysis and reliability engineering. DFT can perform reliability modelling for systems with sequential correlation, resource sharing, and cold and hot ...
Fang Zhao +5 more
doaj +1 more source
Model-Based Generation of Attack-Fault Trees [PDF]
, 2023 Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be used to ...
Witte, Thomas +7 more
core +1 more source
Dynamic Reliability by Using Simulink and Stateflow
Chemical Engineering Transactions, 2013 The safety of high criticity industrial systems relies heavily on relatively complex programmed systems. Due to the complexity of the interactions between physical processes and their control, classical methodologies such as even-trees/fault-trees or ...
H. Zhang +3 more
doaj +1 more source
Dynamic fault trees: semantics, analysis and applications
, 2022 Safe and reliable systems are crucial in today’s society. Failures can have severe consequences, ranging from performance degradation over environmental and economic costs to loss of human lives.
Volk, Matthias
core +1 more source
Constraint analysis for extended dynamic fault tree
Tongxin xuebao, 2017 As a new extension of dynamic fault trees,time delay gate was proposed.This new mechanism can be used to model the time delay on the fault propagation from the lower level subsystems to the higher level system.The dynamic Bayesian networks was extend to ...
Qi-xuan WU +5 more
doaj +2 more sources
Process fault prognosis using a fuzzy-adaptive unscented Kalman predictor [PDF]
, 2011 By monitoring the future process status via information prediction, process fault prognosis is able to give an early alarm and therefore prevent faults, when the faults are still in their early stages.
Sheng Chen +5 more
core +1 more source
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
, 2022 Artifact for the paper "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees" The package contains: example files for all static and dynamic fault tree models installation instructions for the three tools scripts to perform the ...
Volk, Matthias +4 more
core +2 more sources
A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving
IEEE Access, 2019 Dynamic Fault Trees (DFTs) are increasingly being used for modeling the failure behaviors of systems, particularly dynamic behaviors that cannot be captured using conventional combinatorial models.
Yassmeen Elderhalli +2 more
doaj +1 more source
Dynamic fault tree analysis based on the structure function [PDF]
2011 Proceedings - Annual Reliability and Maintainability Symposium, 2011 This paper presents an algebraic approach allowing to perform the analysis of any Dynamic Fault Tree (DFT). This approach is based on the ability to formally express the structure function of DFTs. We first present the algebraic framework that we introduced to model dynamic gates and hence be able to determine the structure function of DFTs.
Merle, Guillaume +2 more
openaire +2 more sources