DFTSim: A simulation tool for extended dynamic fault trees

42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference

Volumn , Issue , 2009, Pages 9-16

  Boudali, H ^a   Nijmeijer, A P ^a   Stoelinga, M I A ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Dependability analysis; Dynamic fault trees; Reliability benchmark; Simulation tool

Indexed keywords

ANALYTICAL EXPRESSIONS; COMPUTATION TIME; DEPENDABILITY ANALYSIS; DYNAMIC FAULT TREES; EXACT SOLUTION; EXTENDED DYNAMICS; FAILURE DISTRIBUTIONS; GALILEO; MARKOVIAN; NON-MARKOVIAN; RELIABILITY TOOLS; SIMULATION TIME;

MARKOV PROCESSES; RELIABILITY ANALYSIS; TOOLS;

FORESTRY;

EID: 84870516573     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. H. Boudali, P. Crouzen, and M.I.A. Stoelinga. A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains. In Proc. of the 5th International Symposium on Automated Technology for Verification and Analysis, pages 441-456. LNCS, 2007.
2. th Annual IEEE/IFIP International Conference on DSN, pages 708-717. IEEE, 2007.
3. H. Boudali and J. B. Dugan. A continuous-time Bayesian network reliability modeling and analysis framework. IEEE Trans. on Reliability, 55(1):86-97, 2006.
4. H. Boudali and J. B. Dugan. Corrections on 'a continuous-time bayesian network reliability modeling and analysis framework'. IEEE Trans. on Reliability, 57(3):532-533, 2008.
5. M.A. Boyd and S.J. Bavuso. Simulation modeling for long duration spacecraft control systems. In Proceedings of the annual Reliability and Maintainability Symposium, Jan 1993.
6. Relex Software Corporation. http://www.relex.com.
7. J. B. Dugan, S. J. Bavuso, and M. A. Boyd. Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability, 41(3):363-377, September 1992.
8. A. Ejlali and S. G. Miremadi. FPGA-based Monte Carlo simulation for fault tree analysis. Microelectronics Reliability, 44(6):1017-1028, 2004.
9. J. B. Dugan et al. DIFTree: a software package for the analysis of dynamic fault tree models. In Proceedings of Reliability and Maintainability Symposium, pages 64-70, 1997.
10. The MathWorks Inc. http://www.mathworks.com/.
11. R. Manian, J. B. Dugan, D. Coppit, and K.J. Sullivan. Combining various solution techniques for dynamic fault tree analysis of computer systems. In Proceedings of the 3rd IEEE International High-Assurance Systems Engineering Symposium, pages 21-28, Nov 1998.
12. ReliaSoft. http://www.reliasoft.com/blocksim/.
13. R. Y. Rubinstein and D. P. Kroese. Simulation and the Monte Carlo Method. Wiley Series in Probability and Statistics. John Wiley and Sons, 2sd edition, 2008.
14. K. J. Sullivan, J. B. Dugan, and D. Coppit. The Galileo fault tree analysis tool. In Proceedings of the 29th Annual Inter. Symp. on Fault- Tolerant Computing, pages 232-235. IEEE Computer Society, 1999.
15. ANTLR v3. http://www.antlr.org/.