Results 1 to 10 of about 756 (245)
Towards a sound semantics for dynamic fault trees [PDF]
Reliability Engineering and System Safety, 2015 Abstract In this article, we study the semantics of dynamic fault trees and related formalisms. We suggest that there are actually three mechanisms at work in dynamic fault trees: first, changes of states due to occurrences of events, second bottom-up propagations of values as in static fault trees, and third top-down propagations of demands of ...
Antoine Rauzy
exaly +4 more sources
Rare event simulation for dynamic fault trees [PDF]
Reliability Engineering & System Safety, 2017 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 as the system reliability and availability. A severe drawback of Monte Carlo simulation is that the number of simulations required to obtain accurate estimations grows ...
Enno Ruijters +3 more
core +7 more sources
Uncovering Dynamic Fault Trees [PDF]
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2016 Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (static) fault trees model the failure behaviour of systems in dependence of their component failures. To overcome their limited expressive power, common dependability patterns, such as spare management, functional dependencies, and sequencing are ...
Sebastian Junges +3 more
openaire +3 more sources
A Hybrid Modular Approach for Dynamic Fault Tree Analysis
IEEE Access, 2020 Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion and ...
Sohag Kabir +4 more
doaj +4 more sources
Algebraic determination of the structure function of Dynamic Fault Trees [PDF]
Reliability Engineering and System Safety, 2011 This paper presents an algebraic framework allowing to algebraically model dynamic gates and determine the structure function of any Dynamic Fault Tree (DFT). This structure function can then be exploited to perform both the qualitative and quantitative analysis of DFTs directly, even though this latter aspect is not detailed in this paper.
Guillaume Merle +2 more
exaly +3 more sources
Safety analysis for vehicle guidance systems with dynamic fault trees [PDF]
Reliability Engineering and System Safety, 2019 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 concepts and E/E architectures for drive automation. The fault trees can be used to evaluate various quantitative measures by means of model checking.
Sebastian Junges +2 more
exaly +3 more sources
IEEE Access, 2019 Fault tree (FT) is a standardized notation for representing relationships between a system's reliability and the faults and/or the events associated with it.
Marwan Ammar +3 more
doaj +3 more sources
Energies, 2021 Because the scope of risk assessments at nuclear power plants (NPPs) is being extended both spatially and temporally, conventional, or static fault trees might not be able to express failure mechanisms, or they could be unnecessarily conservative in ...
Sejin Baek, Gyunyoung Heo
doaj +1 more source
Applied Sciences, 2021 The dependability assessment is a crucial activity for determining the availability, safety and maintainability of a system and establishing the best mitigation measures to prevent serious flaws and process interruptions.
Simone Arena +2 more
doaj +1 more source
Dynamic Blackout Probability Monitoring System for Cruise Ship Power Plants
Energies, 2021 Stringent environmental regulations and efforts to improve the shipping operations sustainability have resulted in designing and employing more complex configurations for the ship power plants systems and the implementation of digitalised functionalities.
Victor Bolbot +4 more
doaj +1 more source