DFTSim: A simulation tool for extended dynamic fault trees

Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop

Volumn , Issue , 2009, Pages

  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

MARKOV PROCESSES; RELIABILITY ANALYSIS;

ANALYTICAL EXPRESSIONS; COMPUTATION TIME; DEPENDABILITY ANALYSIS; DYNAMIC FAULT TREES; EXTENDED DYNAMICS; FAILURE DISTRIBUTIONS; RELIABILITY TOOLS; SIMULATION BASED APPROACHES;

FORESTRY;

EID: 85012088272     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. H. Boudali, P. Crouzen, and M. I. A. Stoelinga. Dynamic fault tree analysis using input/output interactive Markov chains. In Proc. of the 37th 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/.