Automatic synthesis of dynamic fault trees from UML system models

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2002-January, Issue , 2002, Pages 243-254

  Pai, Ganesh J ^a   Dugan, Joanne Bechta ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

Algorithm design and analysis; Architecture description languages; Fault trees; Information analysis; Object oriented modeling; Power system modeling; Redundancy; Reliability; System analysis and design; Unified modeling language

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTER AIDED ANALYSIS; CONCEPTUAL DESIGN; DESIGN; DESIGN FOR TESTABILITY; ECONOMIC AND SOCIAL EFFECTS; FORESTRY; INFORMATION ANALYSIS; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; REDUNDANCY; RELIABILITY; SOFTWARE RELIABILITY; TREES (MATHEMATICS); UNIFIED MODELING LANGUAGE;

ALGORITHM DESIGN AND ANALYSIS; ARCHITECTURE DESCRIPTION LANGUAGES; FAULT-TREES; OBJECT ORIENTED MODEL; POWER SYSTEM MODEL; SYSTEM ANALYSIS AND DESIGN;

RELIABILITY ANALYSIS;

EID: 84948744370     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2002.1173261     Document Type: Conference Paper

References (21)

1. A. Rauzy, G. Point, "AltaRica: Langage de modélisation par automates à contraintes", Modélisation des Sytèmes Réactifs, Mar. 1999, pp. 81-90.
2. G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, 1999.
3. W. E. McUmber, B. C. Cheng, "A generic framework for formalizing UML", Proc. of the IEEE International Conference on Software Engineering, May 2001.
4. W. E. McUmber, B. C. Cheng, "UML based analysis of embedded systems using a mapping to VHDL", Proc. of 4th IEEE International Symposium on High Assurance Systems, Nov. 1999
5. J. B. Dugan, S. J. Bavuso, M. A. Boyd, "Fault trees and markov models for reliability analysis of fault tolerant systems", Journal of Reliability Engineering and System Safety, Vol. 39, 1993, pp. 291-307.
6. J. B. Dugan, S. J. Bavuso, M. A. Boyd, "Dynamic fault-tree models for fault tolerant computer systems", IEEE Trans. on Reliability, Vol. 41, No. 3, Sept. 1992, pp. 363-373.
7. R. Rao et al., "Synthesis of reliability models from behavioral performance models", Proc. of Ann. Rel. And Maint. Symposium, 1994, pp. 292-297.
8. D. Coppit, J. B. Dugan, K. J. Sullivan, "The Galileo fault tree analysis tool", Proc. of IEEE FTCS, June. 1999, pp. 232-235.
9. D. Coppit, J. B. Dugan, K. J. Sullivan, "Developing a highquality software tool for dynamic fault tree analysis", Proc. of ISSRE-99., Nov. 1999.
10. S. A. Doyle, J. B. Dugan, "Dependability assessment using binary decision diagrams", Proc. of the IEEE FTCS, 1995.
11. J. B. Dugan et al., "DIFTree: A software package for the analysis of dynamic fault tree models", Proc. of Rel. And Maint. Symposium, Jan. 1997.
12. D. S Hermann, Software Safety and Reliability: Chapter 2, IEEE Computer Society Press, 1999.
13. A. Bondavalli et al., "Automated dependability analysis of UML designs", Proc. of 2nd IEEE Intl. Symp. on Objectoriented Real-time Distributed Computing, 1999.
14. M. Walter, "OpenSESAME: A Tool's Concept", Proc. of the Satellite Workshops of the 27th Intl. Colloquium on Automata Languages, and Programming, Nov. 2000
15. K. K. Vemuri, J. B. Dugan, K. J. Sullivan, "Automatic synthesis of fault trees for computer-based systems", IEEE Trans. on Rel., Vol. 48, No. 4, Dec. 1999, pp. 394-402.
16. T. S. Assaf, Automated reliability analysis of computerbased systems using UML, MSEE Thesis, Dept. of ECE, Univ. of Virginia, Jan. 2001.
17. G. J. Pai, A UML framework for modeling and automated dependability analysis of computer-based systems, MSEE Thesis, Dept. of ECE, Univ. of Virginia, Jan. 2001.
18. N. Medvidovic et al., "Modeling software architectures in the Unified Modeling Language", Tech. Rep. USC-CSE-2000-512, University of Southern California, Aug. 2000
19. J. B. Dugan, T. S. Assaf, "Dynamic fault tree analysis of a reconfigurable software system", Proc. of the 19th Intl. System Safety Conference, Sept. 2001, pp. 480-487.
20. A Bondavalli et al., "Dependability analysis in the early phases of UML based dystem design", Jrnl. of Computer Systems Science and Eng., Vol. 16, pp. 265-275, 2001
21. H. Singh, B. Cukic et al., "A bayesian approach to reliability prediction and assessment of component based systems", Proc. of ISSRE-01, Nov. 2001