Results 181 to 190 of about 4,296,565 (215)

Scalable Analysis of Fault Trees with Dynamic Features

2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015
Fault trees constitute one of the essential formalisms for static safety analysis of various industrial systems. Dynamic fault trees (DFT) enrich the formalism by time-dependent behavior, e.g., repairs or functional dependencies. Analysis of DFT is so far limited to substantially smaller models than those required for, e.g., nuclear power plants.
Jan Krcál, Pavel Krcál
openaire   +1 more source

Effective Static and Dynamic Fault Tree Analysis

2016
Fault trees constitute one of the essential formalisms for static safety analysis of various industrial systems. Dynamic fault trees (DFT) enrich the formalism by support for time-dependent behaviour, e.g., repairs or dynamic dependencies. This enables more realistic and more precise modelling, and can thereby avoid overly pessimistic analysis results.
Bäckström, Ola, Butkova, Yuliya, Hermanns, Holger, Krčál, Jan, Krčál, Pavel   +4 more
openaire   +2 more sources

On-Line Fault Diagnosis Using Dynamic Fault Tree

IFAC Proceedings Volumes, 2001
Abstract By incorporating SDG, FTA and fuzzy inference techniques, a novel framework for fault diagnosis is developed in this paper. To relieve the on-line computation load, the scope of diagnosis is limited to the fault origins leading to the top events of given fault trees. The corresponding fault propagation patterns are derived from SOG model and
Sheng Yung Chang, Cheng Ren Lin, Chuei-Tin Chang, Shuh Woei Yu   +3 more
openaire   +1 more source

Time Parallel Simulation for Dynamic Fault Trees

2014
Dynamic Fault Trees (DFT) are a generalization of Fault Trees which allow the evaluation of the reliability of complex and redundant systems. We propose to analyze DFT by a new version of time-parallel simulation method we have recently introduced. This method takes into account the monotonicity of the sample-paths to derive upper and lower bounds of ...
Thu-Ha Dao-Thi, Jean-Michel Fourneau, Nihal Pekergin, Franck Quessette   +3 more
openaire   +1 more source

Dynamic analysis of coherent fault trees

Journal of Quality in Maintenance Engineering, 1998
An 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, 2012
This 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, 2013
A 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, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun 0004, Yoshiharu Maeno   +5 more
openaire   +1 more source

Parametric fault trees with dynamic gates and repair boxes

Annual Symposium Reliability and Maintainability, 2004 - RAMS, 2004
A new approach is proposed to include s-dependencies in fault tree (FT) models. With respect to previous techniques, the approach presented in this paper is based on two peculiar powerful features. First, adopting a parameterization technique, referred to as parametric FT (PFT), to fold equal subtrees (or basic events) in order to resort to a more ...
BOBBIO, Andrea, CODETTA RAITERI, Daniele
openaire   +1 more source

Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops, 2012
This 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, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun 0004, Yoshiharu Maeno   +5 more
openaire   +1 more source

Siamese-Twin: A Dynamically Fault-Tolerant Fat-Tree

19th IEEE International Parallel and Distributed Processing Symposium, 2005
Fat-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, Tor Skeie, Olav Lysne, Ola Tørudbakken, Eivind Rongved, Bjøm Johnsen   +5 more
openaire   +2 more sources