Algebraic modelling of Fault Trees with Priority AND gates

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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00350495
Contributeur : Jean-Marc Roussel <>
Soumis le : mardi 6 janvier 2009 - 21:01:37
Dernière modification le : jeudi 9 février 2017 - 15:56:34
Document(s) archivé(s) le : mardi 8 juin 2010 - 16:53:05

Fichier

2007_dcds_GM_JMR.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00350495, version 1

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

127

Téléchargements de fichiers

649