DFTCalc: A tool for efficient fault tree analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8153 LNCS, Issue , 2013, Pages 293-301

  Arnold, Florian ^a   Belinfante, Axel ^a   Van Der Berg, Freark ^a   Guck, Dennis ^a   Stoelinga, Mariëlle ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; COMPACT REPRESENTATION; COMPRESSION TECHNIQUES; EFFICIENT ANALYSIS; EXTENSIBLE FRAMEWORK; FAULT TREE ANALYSES (FTA); INNOVATIVE TECHNIQUES; STOCHASTIC TECHNIQUES;

MODEL CHECKING; NUCLEAR POWER PLANTS; RISK MANAGEMENT; SECURITY OF DATA; TOOLS;

FAULT TREE ANALYSIS;

EID: 84886381624     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40793-2_27     Document Type: Conference Paper

References (19)

1. Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: Dftcalc: a tool for efficient fault tree analysis (extended version). Technical Report TR-CTIT-13-13, CTIT, University of Twente, Enschede (June 2013)
2. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE TSE 29(6), 524-541 (2003), doi:10.1109/TSE.2003.1205180
3. Baier, C., Hermanns, H., Katoen, J.-P., Haverkort, B.R.: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science 345(1), 2-26 (2005)
4. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
5. Barlow, R.E., Proschan, F.: Statistical theory of reliability and life testing: probability models. Holt, Rinehart and Winston (1975)
6. Boudali, H., Crouzen, P., Stoelinga, M.: Dynamic fault tree analysis using Input/Output interactive Markov chains. In: DSN, pp. 708-717 (2007)
7. Boudali, H., Crouzen, P., Stoelinga, M.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE TDSC 7, 128-143 (2010)
8. Boudali, H., Dugan, J.: A continuous-time bayesian network reliability modeling and analysis framework. IEEE Transactions on Reliability 55(1), 86-97 (2006)
9. Boudali, H., Dugan, J.B.: A Bayesian network reliability modeling and analysis framework. IEEE Transactions on Reliability 55, 86-97 (2005)
10. Boudali, H., Nijmeijer, A.P., Stoelinga, M.: DFTSim: A simulation tool for extended dynamic fault trees. In: ANSS 2009, p. 31 (2009)
11. Coppit, D., Sullivan, K.: Galileo: A tool built from mass-market applications. In: International Conference on Software Engineering, pp. 750-753 (2000)
12. Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: A toolbox for the construction and analysis of distributed processes. International Journal on Software Tools for Technology Transfer, 1-19 (2012)
13. Guck, D., Han, T., Katoen, J.-P., Neuhäußer, M.R.: Quantitative timed analysis of interactive Markov chains. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 8-23. Springer, Heidelberg (2012)
14. Isograph. Fault Tree +, www.isograph-software.com/2011/software/
15. Katoen, J.-P., Zapreev, I., Hahn, E.M., Hermanns, H., Jansen, D.: The ins and outs of the probabilistic model checker MRMC. Perf. Eval. 68(2), 90-104 (2011)
16. Manian, R., Bechta Dugan, J., Coppit, D., Sullivan, K.: Combining various solution techniques for dynamic fault tree analysis of computer systems. In: Proc. IEEE Int. High-Assurance Systems Engineering Symposium, pp. 21-28 (1998)
17. Montani, S., Portinale, L., Bobbio, A., Varesio, M., Codetta-Raiteri, D.: A tool for automatically translating dynamic fault trees into dynamic Bayesian networks. In: RAMS, pp. 434-441 (2006)
18. PTC. Windchill FTA, http://www.ptc.com/product/relex/fault-tree
19. Veseley, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault tree handbook, NUREG-0492. Technical report, NASA (1981)