RAATSS, an extensible Matlab® toolbox for the evaluation of repairable dynamic fault trees
暂无分享,去创建一个
Ferdinando Chiacchio | Lucio Compagno | Gabriele Manno | Natalia Trapani | D. D'Urso | F. Chiacchio | Diego D’Urso | L. Compagno | N. Trapani | Gabriele Manno
[1] J. Dugan,et al. A modular approach for analyzing static and dynamic fault trees , 1997, Annual Reliability and Maintainability Symposium.
[2] Marc Bouissou,et al. A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes , 2003, Reliab. Eng. Syst. Saf..
[3] Jussi K. Vaurio. Fault tree analysis of phased mission systems with repairable and non-repairable components , 2001, Reliab. Eng. Syst. Saf..
[4] Salvatore J. Bavuso,et al. Dynamic fault-tree models for fault-tolerant computer systems , 1992 .
[5] Mariëlle Stoelinga,et al. Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).
[6] Ferdinando Chiacchio,et al. An open-source application to model and solve dynamic fault tree of real industrial systems , 2011, 2011 5th International Conference on Software, Knowledge Information, Industrial Management and Applications (SKIMA) Proceedings.
[7] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[8] Makis Stamatelatos,et al. Fault tree handbook with aerospace applications , 2002 .
[9] Ferdinando Chiacchio,et al. MatCarloRe: An integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree , 2012, Expert Syst. Appl..
[10] Mariëlle Stoelinga,et al. DFTSim: a simulation tool for extended dynamic fault trees , 2009, SpringSim '09.
[11] William H. Sanders,et al. Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
[12] Peter W. Glynn,et al. On the role of generalized semi-Markov processes in simulation output analysis , 1983, WSC '83.
[13] A. Puliafito,et al. Dynamic Reliability Block Diagrams VS Dynamic Fault Trees , 2007, 2007 Annual Reliability and Maintainability Symposium.
[14] H. Boudali,et al. A new Bayesian network approach to solve dynamic fault trees , 2005, Annual Reliability and Maintainability Symposium, 2005. Proceedings..
[15] William H. Sanders,et al. Construction and solution of performability models based on stochastic activity networks , 1988 .
[16] Ferdinando Chiacchio,et al. Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approaches , 2011, Reliab. Eng. Syst. Saf..
[17] Kishor S. Trivedi,et al. Imperfect Coverage Models: Status and Trends , 2008 .
[18] Marta Z. Kwiatkowska,et al. PRISM: probabilistic model checking for performance and reliability analysis , 2009, PERV.
[19] 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..