Skip to Main content Skip to Navigation

Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis

Abstract : In the context of the reliability of critical systems, we focus on Dynamic Fault Tree (DFT) analysis. Our contribution is the definition of an algebraic framework allowing to determine the structure function of DFTs and to extend the analytical methods commonly used to analyze Static Fault Trees to DFTs. First, we review the main approaches which allow to analyze DFTs, as well as their limits. Then, the algebraic framework allowing the modelling of DFTs is presented. This algebraic framework is based on a temporal model of events, and on the definition of three temporal operators allowing to model the sequences of appearance of events. These temporal operators allow to algebraically define the behaviour of dynamic gates, and hence the structure function of DFTs. A probabilistic model of these dynamic gates is given to determine the failure probability of the top event of DFTs from this structure function. Finally, we show how the structure function of DFTs can be simplified to a canonical form thanks to some theorems and to a minimal form thanks to the definition of a minimization criterion. Last, we show how DFTs can be analyzed analytically and directly from this minimal canonical form of the structure function. We illustrate this approach on two DFT examples from the literature.
Document type :
Complete list of metadata
Contributor : Guillaume Merle Connect in order to contact the contributor
Submitted on : Tuesday, July 13, 2010 - 9:45:31 AM
Last modification on : Wednesday, September 16, 2020 - 5:04:13 PM
Long-term archiving on: : Thursday, October 14, 2010 - 3:38:06 PM


  • HAL Id : tel-00502012, version 1


Guillaume Merle. Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis. Automatic. École normale supérieure de Cachan - ENS Cachan, 2010. English. ⟨tel-00502012v1⟩



Les métriques sont temporairement indisponibles