Results 271 to 280 of about 5,413 (299)
Some of the next articles are maybe not open access.
Dynamic analysis of coherent fault trees
Journal of Quality in Maintenance Engineering, 1998An important characteristic of many engineering systems which cannot be modeled by fault trees to perform system reliability analysis is that they behave dynamically. In this paper, the method of applying Petri Nets (Pns) as a modeling tool to represent the coherent fault trees is discussed.
Wang Huanqiu, Gao Jinzhong, Xu Fengzhang
openaire +1 more source
Algebraic Modeling for Dynamic Gates in Dynamic Fault Trees
Applied Mechanics and Materials, 2012This paper proposed a novel algebraic framework for modeling dynamic gates in dynamic fault trees (DFTs). The algebraic modeling of DFTs tries to avoid the ambiguities and inconsistencies of the natural languages-based original definitions. Aim to solve this issue, preliminarily a formal framework is defined, including the definitions, properties ...
Bo Wang, Yi Li, Wei Yan Xing, Dong Liu
openaire +1 more source
A Static Analysis of Dynamic Fault Trees with Priority-AND Gates
2013 Sixth Latin-American Symposium on Dependable Computing, 2013A PAND gate is a special AND gate of Dynamic Fault Trees (DFTs) where the input events must occur in a specific order for the occurrence of its output event. We present a transformation from a PAND gate to an AND gate with some dependent conditioning events, called CAND gate, provided that the dynamic behavior of the system can be modeled by a (semi ...
Jianwen Xiang +5 more
openaire +1 more source
Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates
2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops, 2012This paper focuses on a sub-class of Dynamic Fault Trees (DFTs), called Priority Fault Trees (PFTs), containing only static Boolean logic gates and Priority-AND (PAND) gates. We present a transformation from a PAND gate to an AND gate with some dependent conditioning events, called CAND gate, provided that the dynamic behavior of the system can be ...
Jianwen Xiang +5 more
openaire +1 more source
Siamese-Twin: A Dynamically Fault-Tolerant Fat-Tree
19th IEEE International Parallel and Distributed Processing Symposium, 2005Fat-trees are a special case of multistage interconnection networks with quite good static fault tolerance capabilities. They are however straightforwardly unable to provide local dynamic fault tolerance. In this paper we propose a network topology based on the fat-tree using two parallel networks with crossover links between them in an effort to ...
Frank Olaf Sem-Jacobsen +5 more
openaire +1 more source
Design of Dynamic Systems Based on Dynamic Fault Trees and Neural Networks
2006 IEEE International Conference on Automation Science and Engineering, 2006Reliability design of static systems has been widely developed in recent years. Fault trees (FT), genetic algorithms (GA) and neural networks (NN) are among the most common methodologies used in such tasks. However, because of the complex behavior of dynamic systems, less attention has been paid on their design.
Zhongbao Zhou +5 more
openaire +1 more source
Formal Verification of Rewriting Rules for Dynamic Fault Trees
2019Dynamic Fault Trees (DFTs) model the failure behavior of systems dynamics. Several rewriting rules have been recently developed, which allow the simplification of DFTs prior to a formal analysis with tools such as the Storm model checker. To ascertain the soundness of the analysis, we propose to formally verify these rewriting rules using higher-order ...
Yassmeen Elderhalli +4 more
openaire +1 more source
Galileo: A Tool for Dynamic Fault Tree Analysis
2000Galileo is a prototype software tool for dependability analysis of fault tolerant computer-based systems. Reliability models are specified using dynamic fault trees, which provide special constructs for modeling sequential failure modes in addition to standard combinatorial fault tree gates.
openaire +1 more source
Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees
IEEE Transactions on Dependable and Secure Computing, 2009Dependability evaluation is an important often-mandatory step in designing and analyzing (critical) systems. Introducing control and/or computing devices to automate processes increases the system complexity, with an impact on the overall dependability.
DISTEFANO, SALVATORE, PULIAFITO, Antonio
openaire +3 more sources
Fault diagnostics of dynamic system operation using a fault tree based method
Reliability Engineering & System Safety, 2009For conventional systems, their availability can be considerably improved by reducing the time taken to restore the system to the working state when faults occur. Fault identification can be a significant proportion of the time taken in the repair process.
E. E. Hurdle +2 more
openaire +1 more source