Non-coherent modelling in compositional fault tree analysis

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Sharvia, Septavera ^a   Papadopoulos, Yiannis Ioannis ^a  

^a NONE

Author keywords

Fault detection and diagnosis

Indexed keywords

FAILURE BEHAVIOUR; FAULT DETECTION AND DIAGNOSIS; FAULT-TREES; MODEL-BASED; NON-COHERENT; NON-COHERENT FAULT TREES; NOT GATE; SAFETY ANALYSIS; UNDESIRABLE EFFECTS; WORKING STATE;

FAULT DETECTION; FAULT TREE ANALYSIS;

RELIABILITY;

EID: 79961018045     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.0318     Document Type: Conference Paper

References (17)

1. Andrews, J.D. (2000). To not or not to not. Proceedings of the 18th international system safety conference. Forte Worth, pp 267-275.
2. Beeson, S.C. (2002). Non-coherent fault tree analysis. Loughborough University. UK.
3. Grunske, L., B. Kaiser, Y. Papadopoulos (2005). Model-driven safety evaluation with state-event-based component failure annotation. Lecture notes in computer science 3489: pp 33-48, Springer. Berlin. (Pubitemid 41322020)
4. Johnston, B.D. and R.H. Matthews (1983). Non-coherent structure theory: A review and its role in fault tree analysis. United Kingdom Atomic Energy Authority.
5. Kaiser, B. (2004). A fault-tree semantics to model software-controlled systems Softwaretechnik-Trends 23(3), Gesellschaft für Informatik (Hg.).
6. Kaiser, B., P.Liggesmeyer, O.Mackel (2003) A new component concept for fault trees. Conferences in research and practice in information technology, 33. P.Lindsay & T. Cant, Eds. Canberra.
7. Kumamoto, H. and A. Henley (1978) Top-down algorithms for obtaining prime implicant sets of non-coherent fault tree. IEEE Transactions on reliability, R-27/4: pp 249.
8. Merle G. and J.-M. Roussel (2007). Algebraic modelling of Fault Trees with Priority AND gates, DCDS'07, Paris, France, pp 175-180.
9. Papadopoulos, Y., J.A. McDermid, R.Sasse, and G.Heiner (2001). Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions. Reliability engineering and system safety 71(3): pp 229-247. (Pubitemid 32077202)
10. Quine, W.V (1955). A way to simplify truth function. American mathematical monthly 62: pp 627-631
11. Rauzy, A., Y.Dutuit (1993). New algorithms for fault tree analysis. Reliability engineering and system safety 40: pp 203-211. (Pubitemid 23646188)
12. Rauzy, A., Y.Dutuit (1997). Exact and truncated computations of prime implicants of coherent and non-coherent fault tree. Reliability engineering and system safety 58: pp 127-144. (Pubitemid 127396521)
13. Sharvia, S. (2007). Extending fault tree synthesis with negative logic operator. MSc Thesis, University of Hull, UK.
14. Vesely, W.E., F.F. Goldberg, N.H. Roberts, D.F. Haasl (1981). Fault tree handbook, Washington D.C., USA. US NRC.
15. Walker, M. and Y.Papadopoulos (2006). PANDORA: The time of Priority-AND gates. INCOM 2006, France: pp 237-242.
16. Worrell, R.B and D.W. Stack (1978). A SETS user manual for the fault tree analyst. NUREG CR-04651, Washington D.C., US NRC.
17. Worrell, R.B., D.W. Stack, B.L.Hulme (1981). Prime implicants of non-coherent fault trees. IEEE Transaction on reliability R-30/2 : pp 98-100.