Analyzing dynamic fault trees derived from model-based system architectures

Nuclear Engineering and Technology

Volumn 40, Issue 5, 2008, Pages 365-374

  Dehlinger, Josh ^a   Dugan, Joanne Bechta ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

Architecture description languages; Dynamic fault trees; Dynamic system modeling; Fault tree synthesis; Reliability analysis

Indexed keywords

EID: 51049109423     PISSN: 17385733     EISSN: None     Source Type: Journal    
DOI: 10.5516/NET.2008.40.5.365     Document Type: Article

References (27)

1. Y. Yu. The Quantitative Safety Assessment for Safety-Critical Computer Systems. PhD Thesis, University of Virginia, 2006.
2. J. B. Dugan, G. Pai and H. Xu. Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. In Proceedings 10th IEEE High Assurance System Engineering Symposium, pp. 245-255, Dallas, TX, 2007.
3. M.C. Kim and P.H. Seong, "Reliability Graph with General Gates: An Intuitive and Practical Method for System Reliability Analysis", Reliability Engineering and System Safety, vol. 78 pp. 239-246, 2002.
4. G. J. Pai and J. B. Dugan. Automatic Synthesis of Dynamic Fault Trees from UML System Models. In Proceedings of 13th International Symposium on Software Reliability Engineering, Annapolis, MD, pp. 243-256,2002.
5. Z. Tang and J. B. Dugan. An Integrated Method for Incorporating Common Cause Failures in System Analysis. In Proceedings of the Annual Reliability and Maintainability Symposium, pp. 610-614, 2004.
6. P. Feiler and A. Rugina. Dependability Modeling with the Architecture Analysis & Design Language (AADL). Available from http://www.sei. cmu.edu/pub/documents/07.reports/07tn043.pdf (Accessed June 2008).
7. A. E. Rugina, K. Kanoun and M. Kan̂iche. An Architecture-based Dependability Modeling Framework Using AADL In Proceedings International Conference on Software Engineering and Applications, Dallas, TX, 2006.
8. A. E. Rugina, K. Kanoun and M. Kaâniche. A System Dependabiliy Modeling Framework using AADL and GSPNs. In Architecting Dependable Systems 4th Volume, R. de Lemos, C. Gacek and A. Romanovsky, eds., Springer, 2007.
9. T. Assaf and J. B. Dugan. A Probabilistic Expert System for Failure Diagnosis. In Proceedings Reliability and Maintainability Symposium, 2004.
10. T. Assaf and J. B. Dugan. Automatic Diagnosis via Sensors Modeled by Dynamic Fault Trees. In Society of Automotive Engineers Transactions, 2005.
11. T. Assaf and J. B. Dugan. Diagnostic Decision Trees based on Estimating Diagnostic Importance Factors from Markov Models. In IEEE Instrumentation and Measurement Magazine, 2005.
12. T. Assaf and J. B. Dugan. Diagnostic Expert Systems from Dynamic Fault Trees. In Proceedings of the Annual Reliability and Maintainability Symposium, LA, pp. 444-450, January 2004.
13. J. B. Dugan and T. S. Assaf. Dynamic Fault Tree Analysis of a Reconfigurable Software System. In Proceedings of the 19th International System Safety Conference, Huntsville, AL, pp. 480-487, 2001.
14. A. Joshi, S. Vestal, and P. Binns. Automatic Generation of Static Fault Trees from AADL Models. In DSN Workshop on Architecting Dependable Systems, Edinburgh, Scotland-UK, 2007.
15. N. G. Leveson. Safeware: System Safety and Computers, Addison-Wesley, Reading, MA, 1995.
16. D. Coppit, K. J. Sullivan and J. B. Dugan. Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees. In Proceedings of the International Symposium on Software Reliability Engineering, San Jose, CA, pp. 270-282, 2000.
17. J. B. Dugan, K. J. Sullivan, and D. Coppit. Developing a Low-Cost, High-Quality Software Tool for Dynamic Fault Tree Analysis. In IEEE Transactions on Reliability, 49(1): 49-59, 1999.
18. R. Allen, S. Vestal and B. Lewis. Using an Architecture Description Language for Quantitative Analysis of Real-Time Systems. In Proceedings of the 3rd International Workshop on Software and Performance, Rome Italy, pp. 203-210, 2002.
19. P. Dissaux. Using the AADL for Mission-Critical Software Development. In Proceedings of 2nd European Congress on Embedded Real-Time Software, Toulouse, France, 2004.
20. P. Feiler, D. P. Gluch and J. J. Hudak. The Architecture Analysis & Design Language (AADL): An Introduction. Available from http:// www.sei.cmu.edu/pub/documents/06.reports/Pdf/06tn011.pdf (Accessed June 2008).
21. SAE-AS5506. Architecture Analysis and Design Language Annex Volume 1. SAE, June 2006.
22. SAE-AS5506/1. Architecture Analysis and Design Language Annex Volume 1. SAE, June 2006.
23. D. Srivastava and P. Narasimhan. Architectural Support for Mode-Driven Fault Tolderace in Distributed Applications. In Proceedings of the 2005 Workshop on Architecting Dependable Systems, St. Louis, MO, pp. 1-7, 2005.
24. F. Singhoff, J. Legrand, L. Nana and L. Marce. Scheduling and Memory Requirements Analysis with AADL. In Proceedings of the 2005 Annual ACM SigAda International Conference on Ada: The Engineering of Correct and Reliable Technologies, Atlanta, GA, pp. 1-10, 2005.
25. J. Dehlinger and R. R. Lutz. PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. In The Automated Software Engineering Journal, 13(1):169-193, 2006.
26. H. Sun, M. Hauptman and R. Lutz. Integrating Product-Line Fault Tree Analysis into AADL Models. In Proceedings of the 10th IEEE International Symposium on High Assurance System Engineering, Dallas, TX, pp. 15-22, 2007.
27. SEI AADL Team. An Extensible Open Source AADL Tool Environment (OSATE). [Online]. Available from http://la.sei.cmu.edu/aad1/downloads/osate13/ AADLToolUserGuidel.3.0%202006-06-02.02.pdf (Accessed June 2008).