Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
723918 | IFAC Proceedings Volumes | 2007 | 6 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
Guillaume Merle, Jean-Marc Roussel,