Algebraic modelling of fault trees with PRIORITY and gates

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 1, Issue PART 1, 2007, Pages 31-36

  Merle, Guillaume ^a   Roussel, Jean Marc ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Algebraic approach; Fault trees; Minimal cut sets; Temporal gates

Indexed keywords

FORESTRY;

ALGEBRAIC APPROACHES; ALGEBRAIC FRAMEWORK; FAULT-TREES; FORMAL FRAMEWORK; MINIMAL CUT SETS; TEMPORAL GATES;

ALGEBRA;

EID: 79960898127     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20070613-3-fr-4909.00008     Document Type: Conference Paper

References (10)

1. Adamyan, A. and D. He (2003). Sequential failure analysis using counters of petri net models. IEEE Transactions on Systems, Man, and Cybernetics - part A: Systems and Humans 33(1), 1-11.
2. Buchacker, K. (2000). Modeling with extended fault trees. Proceedings of the High Assurance System Engineering Symposium (HASE'2000) pp. 238-246.
3. Coppit, D., K.J. Sullivan and J.B. Dugan (2000). Formal semantics of models for computational engineering: a case study on dynamic fault trees. International Symposium on Software Reliability Engineering (ISSRE'2000) pp. 270-282. (Pubitemid 32024667)
4. Grimaldi, R.P. (2003). Discrete and Combinatorial Mathematics. 5 ed. Addison-Wesley.
5. IEC (2006). IEC standard 61025 (Ed. 2.0): Fault tree analysis.
6. Kaiser, B., C. Gramlich and M. Forster (2007). State/event fault trees - a safety analysis model for software-controlled systems. Reliability Engineering and System Safety. doi: 10.1016/j.ress.2006.10.010. (Pubitemid 47031632)
7. Tang, Z. and J.B. Dugan (2004). Minimal cut set/sequence generation for dynamic fault trees. Annual Reliability and Maintainability Symposium 2004 Proceedings.
8. Vesely, W.E., F.F. Goldberg, N.H. Roberts and D.F. Haasl (1981). Fault Tree Handbook. Washington D.C., USA, US Nuclear Regulatory Commission.
9. Vesely, W.E., M. Stamatelatos, J.B. Dugan, J. Fragola, J. Minarick III and J. Railsback (2002). Fault Tree Handbook with Aerospace Applications. Washington D.C., USA, NASA Office of Safety and Mission Assurance.
10. Walker, M. and Y. Papadopoulos (2006). Pandora: The time of priority-and gates. INCOM' 06, 12th IFAC Symposium on Information Control Problems in Manufacturing.