Algebraic Determination of the Structure Function of Dynamic Fault Trees

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 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. We illustrate our approach on a DFT example from the literature.

Mots clés: Dynamic fault tree; algebraic modeling; structure function

Domaines: Automatique / Robotique

Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage. Algebraic Determination of the Structure Function of Dynamic Fault Trees. Reliability Engineering and System Safety, 2011, 96 (2), pp. 267-277. ⟨10.1016/j.ress.2010.10.001⟩. ⟨hal-00536000⟩