Dynamic fault tree analysis based on the structure function

Proceedings - Annual Reliability and Maintainability Symposium

Volumn , Issue , 2011, Pages

  Merle, Guillaume ^a   Roussel, Jean Marc ^a   Lesage, Jean Jacques ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Boolean function; fault trees; probability; reliability; symbol manipulation

Indexed keywords

ALGEBRAIC APPROACHES; ALGEBRAIC FRAMEWORK; CANONICAL FORM; DYNAMIC FAULT TREE ANALYSIS; DYNAMIC FAULT TREES; FAULT-TREES; MODEL DYNAMICS; PROBABILISTIC MODELS; QUALITATIVE ANALYSIS; QUANTITATIVE ANALYSIS; STRUCTURE FUNCTIONS; SYMBOL MANIPULATION;

ALGEBRA; BOOLEAN FUNCTIONS; GATES (TRANSISTOR); MAINTAINABILITY; PLANT EXTRACTS; QUALITY CONTROL; RELIABILITY ANALYSIS;

FAULT TREE ANALYSIS;

EID: 79956351800     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RAMS.2011.5754452     Document Type: Conference Paper

References (15)

1. E. Henley, H. Kumamoto, Reliability Engineering and Risk Assessment, Prentice Hall, 1981.
2. N. Leveson, Safeware: System Safety and Computers, Addison-Wesley, 1995.
3. Fault Tree Handbook With Aerospace Applications, NASA Office of Safety and Mission Assurance, 2002, pp. 1-205.
4. J.B. Dugan, S. Bavuso, M. Boyd, "Fault Trees and Sequence Dependencies," Proc. Ann. Reliability & Maintainability Symp., (Jan.) 1990, pp. 286-293.
5. J.B. Dugan, K.J. Sullivan, D. Coppit, "Developing a low-cost high-quality software tool for dynamic fault-tree analysis," IEEE Trans. Reliability, vol. 49, no. 1, (Mar.) 2000, pp. 49-59.
6. Z. Tang, J.B. Dugan, "Minimal cut set/sequence generation for dynamic fault trees," Proc. Ann. Reliability & Maintainability Symp., (Jan.) 2004, pp. 207-213.
7. th Int. Symp. on Software Reliability Engineering (ISSRE 2000), (Oct.) 2000, pp. 270-282.
8. A. Bobbio, D. Codetta-Raiteri, "Parametric Fault Trees with Dynamic Gates and Repair Boxes," Proc. Ann. Reliability & Maintainability Symp., (Jan.) 2004, pp. 459-465.
9. S. Montani, L. Portinale, A. Bobbio, D. Codetta-Raiteri, "DBNet, a tool to convert Dynamic Fault Trees into Dynamic Bayesian Networks," Technical report TR-INF-2005-08-02, (Aug.) 2002.
10. G. Merle, J.-M. Roussel, J.-J. Lesage, A. Bobbio, "Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events," IEEE Trans. Reliability, vol. 59, no. 1, (Mar.) 2010, pp. 250-261.
11. th Int. Conf. on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, Springer Verlag - LNCS, vol. 2324, 2002, pp. 233-238.
12. J.B. Fussell, E.F. Aber, R.G. Rahl, "On the Quantitative Analysis of Priority-AND Failure Logic," IEEE Trans. Reliability, vol. R-25, no. 5, (Dec.) 1976, pp. 324-326.
13. G. Merle, "Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis," PhD thesis, ENS de Cachan, (Jul.) 2010.
14. G.R. Grimmett, D.R. Stirzaker, Probability and Random Processes, Oxford University Press, 2001.
15. K. Trivedi, Probability & Statistics with Reliability, Queueing & Computer Science Applications, Wiley, 2001.