Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events
暂无分享,去创建一个
Jean-Jacques Lesage | Jean-Marc Roussel | Andrea Bobbio | Guillaume Merle | A. Bobbio | J. Roussel | J. Lesage | G. Merle
[1] David Coppit,et al. Formal semantics of models for computational engineering: a case study on dynamic fault trees , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.
[2] J. Dugan,et al. A modular approach for analyzing static and dynamic fault trees , 1997, Annual Reliability and Maintainability Symposium.
[3] Kishor S. Trivedi,et al. Power-hierarchy of dependability-model types , 1994 .
[4] Joanne Bechta Dugan,et al. A discrete-time Bayesian network reliability modeling and analysis framework , 2005, Reliab. Eng. Syst. Saf..
[5] A. Bobbio,et al. Parametric fault trees with dynamic gates and repair boxes , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.
[6] Peter Neumann,et al. Safeware: System Safety and Computers , 1995, SOEN.
[7] Daniele Codetta Raiteri. The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation , 2005, Electron. Notes Theor. Comput. Sci..
[8] Ernest J. Henley,et al. Reliability engineering and risk assessment , 1981 .
[9] David Coppit,et al. Developing a low-cost high-quality software tool for dynamic fault-tree analysis , 2000, IEEE Trans. Reliab..
[10] J.B. Fussell,et al. On the Quantitative Analysis of Priority-AND Failure Logic , 1976, IEEE Transactions on Reliability.
[11] W. Marsden. I and J , 2012 .
[12] Shigeru Yanagi,et al. Quantitative analysis of a fault tree with priority AND gates , 2008, Reliab. Eng. Syst. Saf..
[13] Mariëlle Stoelinga,et al. A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains , 2007, ATVA.
[14] Suprasad V. Amari,et al. A new approach to solve dynamic fault trees , 2003, Annual Reliability and Maintainability Symposium, 2003..
[15] Daniele Codetta-Raiteri,et al. The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation , 2005 .
[16] Antoine Rauzy. Mathematical foundations of minimal cutsets , 2001, IEEE Trans. Reliab..
[17] Salvatore J. Bavuso,et al. Dynamic fault-tree models for fault-tolerant computer systems , 1992 .
[18] Jean-Marc Roussel,et al. ALGEBRAIC MODELLING OF FAULT TREES WITH PRIORITY AND GATES , 2007 .
[19] Yves Dutuit,et al. A linear-time algorithm to find modules of fault trees , 1996, IEEE Trans. Reliab..
[20] J. Dugan,et al. Minimal cut set/sequence generation for dynamic fault trees , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.