A rigorous, compositional, and extensible framework for dynamic fault tree analysis

IEEE Transactions on Dependable and Secure Computing

Volumn 7, Issue 2, 2010, Pages 128-143

  Boudali, Hichem ^a   Crouzen, Pepijn ^b   Stoelinga, Mariëlle ^c  

^a EUROPEAN SPACE AGENCY   (Netherlands)

^b SAARLAND UNIVERSITY   (Germany)

^c UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Compositionality; Fault trees; Formal models; Framework; Reliability

Indexed keywords

AGGREGATION STRATEGY; BUILDING BLOCKES; COMPLEX SYSTEMS; COMPOSITIONALITY; CONTINUOUS TIME MARKOV CHAIN; DYNAMIC DEPENDENCY; DYNAMIC FAULT TREE ANALYSIS; EXTENSIBLE FRAMEWORK; FAULT-TREES; FORMAL MODEL; FORMAL MODELS; MARKOV CHAIN; SEMANTIC INTERPRETATION; STANDARD ANALYSIS; STATE EXPLOSION PROBLEMS; STATE SPACE; STATE-BASED; TECHNICAL SYSTEMS;

FAULT TREE ANALYSIS; MARKOV PROCESSES; RELIABILITY ANALYSIS; SEMANTICS;

QUALITY ASSURANCE;

EID: 77952715383     PISSN: 15455971     EISSN: None     Source Type: Journal    
DOI: 10.1109/TDSC.2009.45     Document Type: Article

References (27)

1. As-2 Embedded Computing Systems Committee, Architecture Analysis & Design Language (AADL), Number: AS5506, Revision: A, Jan. 2009.
2. C. Baier, 1H. Hermanns, J. P. Katoen, and B. R. Haverkort, "Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes," Theoretical Computer Science, vol. 345, no. 1, pp. 2-26, 2005.
3. E. Böde, M. Herbstritt, H. Hermanns, S. Johr, T. Peikenkamp, R. Pulungan, J. Rakow, R. Wimmer, and B. Becker, "Compositional Dependability Evaluation for Statemate," IEEE Trans. Software Eng., vol. 35, no. 2, pp. 274-292, Mar./Apr. 2009.
4. H. Boudali, P. Crouzen, B. R. Haverkort, M. Kuntz, and M. Stoelinga, "Architectural Dependability Evaluation with Arcade," Proc. 38th IEEE/IFIP Int'l Conf. Dependable Systems and Networks, pp. 512-521, 2008.
5. H. Boudali, P. Crouzen, and M. Stoelinga, "A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains," Proc. Fifth Int'l Symp. Automated Technology for Verification and Analysis, pp. 441-456, 2007.
6. H. Boudali, P. Crouzen, and M. Stoelinga, "Coral-a Tool for Compositional Reliability and Availability Analysis," Proc. ARTIST WS: Tool Platforms for ES Modelling, Analysis and Validation, 2007.
7. H. Boudali, P. Crouzen, and M. Stoelinga, "Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains," Proc. 37th IEEE/IFIP Int'l Conf. Dependable Systems and Networks, pp. 708-717, June 2007.
8. M. A. Boyd, "Dynamic Fault Tree Models: Techniques for Analyses of Advanced Fault Tolerant Computer Systems," PhD dissertation, Dept. of Computer Science, Duke Univ., 1991.
9. M. Bravetti and R. Gorrieri, "The Theory of Interactive Generalized Semi-Markov Processes," Theoretical Computer Science, vol. 282, no. 1, pp. 5-32, 2002.
10. D. Coppit, K. J. Sullivan, and J. B. Dugan, "Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees," Proc. Int'l Symp. Software Reliability Eng., pp. 270-282, Oct. 2000.
11. N. Coste, H. Garavel, H. Hermanns, R. Hersemeule, Y. Thonnart, and M. Zidouni, "Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures," Proc. Conf. Design, Automation and Test in Europe, pp. 88-89, 2008.
12. P. Crouzen, H. Hermanns, and L. Zhang, "On the Minimisation of Acyclic Models," Proc. 19th Int'l Conf. Concurrency Theory, pp. 295-309, 2008.
13. J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Dynamic Fault-Tree Models for Fault-Tolerant Computer Systems," IEEE Trans. Reliability, vol. 41, no. 3, pp. 363-377, Sept. 1992.
14. J. B. Dugan, B. Venkataraman, and R. Gulati, "DIFTree: A Software Package for the Analysis of Dynamic Fault Tree Models," Proc. Reliability and Maintainability Symp., pp. 64-70, Jan. 1997.
15. H. Garavel, F. Lang, R. Mateescu, and W. Serwe, "Cadp 2006: A Toolbox for the Construction and Analysis of Distributed Processes," Proc. 19th Int'l Conf. Computer Aided Verification (CAV), 2006.
16. H. Hermanns, Interactive Markov Chains. Springer Berlin, 2002.
17. H. Hermanns and S. Johr, "Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems," Proc. 37th IEEE/IFIP Int'l Conf. Dependable Systems and Networks, pp. 718-728, 2007.
18. H. Hermanns and J. P. Katoen, "Automated Compositional Markov Chain Generation for a Plain-Old Telephone System," Science of Computer Programming, vol. 36, no. 1, pp. 97-127, 2000.
19. J.-P. Katoen, M. Khattri, and I. S. Zapreev, "A Markov Reward Model Checker," Proc. Second Int'l Conf. Quantitative Evaluation of Systems, pp. 243-244, 2005.
20. N. A. Lynch and M. R. Tuttle, "An Introduction to Input/Output Automata," CWI Quarterly, vol. 2, no. 3, pp. 219-246, 1988.
21. R. Manian, J. B. Dugan, D. Coppit, and K. J. Sullivan, "Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems," Proc. IEEE Int'l High-Assurance Systems Eng. Symp., vol. 3, pp. 21-28, 1998.
22. M. F. Neuts, Matrix-Geometric Solutions in Stochastic Models: An Algorithmic Approach. Dover, 1981.
23. Relex "Fault Tree and Event Tree Software," http://www.relex.com/products/ftaeta.asp, 2008.
24. W. J. Stewart, Introduction to the Numerical Solution of Markov Chains. Princeton Univ. Press, 1994.
25. K. J. Sullivan, J. B. Dugan, and D. Coppit, "The Galileo Fault Tree Analysis Tool," Proc. 29th Ann. Int'l Symp. Fault-Tolerant Computing, pp. 232-235, June 1999.
26. K. K. Vemuri, J. B. Dugan, and K. J. Sullivan, "Automatic Synthesis of Fault Trees for Computer-Based Systems," IEEE Trans. Reliability, vol. 48, no. 4, pp. 394-402, Dec. 1999.
27. W. E. Veseley, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, technical report, Fault Tree Handbook, NUREG-0492., NASA, 1981.