Dynamic Fault Tree Analysis Based On The Structure Function

Guillaume Merle (1) , Jean-Marc Roussel (1) , Jean-Jacques Lesage (1)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

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. Then, we show that this structure function can be rewritten under a canonical form from which the qualitative analysis of DFTs can be performed directly. We finally provide a probabilistic model of dynamic gates to be able to perform the quantitative analysis of DFTs from their structure function.

Mots clés: Boolean function; fault trees; probability; reliability; symbol manipulation

Domaines: Automatique / Robotique

Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage. Dynamic Fault Tree Analysis Based On The Structure Function. Annual Reliability and Maintainability Symposium 2011 (RAMS 2011), Jan 2011, Lake Buena Vista, FL, United States. pp. 462-467. ⟨hal-00566334v2⟩