ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES

다국어 초록 (Multilingual 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, toolsupported
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.

참고문헌 (Reference)

1 P. Dissaux, "Using the AADL for Mission-Critical Software Development" Toulouse 2004

2 R. Allen, "Using an Architecture Description Language for Quantitative Analysis of Real- Time Systems" Rome Italy 203-210, 2002

3 Y. Yu, "The Quantitative Safety Assessment for Safety- Critical Computer Systems" University of Virginia 2006

4 P. Feiler, "The Architecture Analysis & Design Language (AADL): An Introduction. Available from http://www.sei.cmu.edu/pub/documents /06.reports/pdf"

5 A. E. Rugina, "System Dependabiliy Modeling Framework using AADL and GSPNs"

6 F. Singhoff, "Scheduling and Memory Requirements Analysis with AADL" Atlanta 1-10, 2005

7 N. G. Leveson, "Safeware: System Safety and Computers" Addison-Wesley 1995

8 M.C. Kim, "Reliability Graph with General Gates: An Intuitive and Practical Method for System Reliability Analysis" 78 : 239-246, 2002

9 J. Dehlinger, "PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool" 13 (13): 169-193, 2006

10 H. Sun, "Integrating Product- Line Fault Tree Analysis into AADL Models" Dallas 15-22, 2007

11 D. Coppit, "Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees" 270-282, 2000

12 J. B. Dugan, "Dynamic Fault Tree Analysis of a Reconfigurable Software System" Huntsville 480-487, 2001

13 T. Assaf, "Diagnostic Expert Systems from Dynamic Fault Trees" 444-450, 2004

14 T. Assaf, "Diagnostic Decision Trees based on Estimating Diagnostic Importance Factors from Markov Models" In IEEE Instrumentation and Measurement Magazine 2005

15 J. B. Dugan, "Developing a Low-Cost, High-Quality Software Tool for Dynamic Fault Tree Analysis" 49 (49): 49-59, 1999

16 P. Feiler, "Dependability Modeling with the Architecture Analysis & Design Language (AADL)"

17 J. B. Dugan, "Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering" 245-255, 2007

18 G. J. Pai, "Automatic Synthesis of Dynamic Fault Trees from UML System Models" Annapolis 243-256, 2002

19 A. Joshi, "Automatic Generation of Static Fault Trees from AADL Models" Scotland- UK 2007

20 T. Assaf, "Automatic Diagnosis via Sensors Modeled by Dynamic Fault Trees" 2005

21 SAE-AS5506, "Architecture Analysis and Design Language Annex Volume 1"

22 SAE-AS5506/1, "Architecture Analysis and Design Language Annex Volume 1"

23 D. Srivastava, "Architectural Support for Mode-Driven Fault Tolderace in Distributed Applications" St. Louis 1-7, 2005

24 Z. Tang, "An Integrated Method for Incorporating Common Cause Failures in System Analysis" 610-614, 2004

25 SEI AADL Team, "An Extensible Open Source AADL Tool Environment (OSATE). [Online]"

26 A. E. Rugina, "An Architecturebased Dependability Modeling Framework Using AADL" TX 2006

27 T. Assaf, "A Probabilistic Expert System for Failure Diagnosis" 2004