Algebraic modelling of Fault Trees with Priority AND gates

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

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

This paper presents a formal framework allowing to extend the simplification of static fault trees to fault trees built with gates PRIORITY AND. The laws which make these simplifications possible have been demonstrated thanks to a homogeneous algebraic definition of each gate studied. These definitions use a mathematical model of events able to take into account their order of appearance. The processing of an example points out the possibilities offered by this algebraic framework dedicated to non-repairable faults.

Mots clés: Fault trees; minimal cut sets; temporal gates; algebraic approach

Domaines: Automatique / Robotique

Guillaume Merle, Jean-Marc Roussel. Algebraic modelling of Fault Trees with Priority AND gates. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Jun 2007, Cachan, France. pp. 175-180. ⟨hal-00350495⟩