Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지
DOI QR코드

DOI QR Code

ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES

  • Dehlinger, Josh (Charles L. Brown Department of Electrical and Computer Engineering, University of Virginia) ;
  • Dugan, Joanne Bechta (Charles L. Brown Department of Electrical and Computer Engineering, University of Virginia)
  • Published : 2008.08.31
Download PDF
⟨ Previous Next ⟩

Abstract

Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

Keywords

References

  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 https://doi.org/10.1016/S0951-8320(02)00164-3
  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. Kaaniche. An Architecturebased 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. Kaaniche. 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 https://doi.org/10.1109/24.855536
  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 https://doi.org/10.1007/s10515-006-5469-1
  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/aadl/downloads/osate13/AADLTool UserGuide1.3.0%202006-06-02.pdf (Accessed June 2008)