http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES
JOSH DEHLINGER,JOANNE BECHTA DUGAN 한국원자력학회 2008 Nuclear Engineering and Technology Vol.40 No.5
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.
ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES
Dehlinger, Josh,Dugan, Joanne Bechta Korean Nuclear Society 2008 Nuclear Engineering and Technology Vol.40 No.5
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.
Khabensky, Vladimir Benzianovich,Granovsky, Vladimir Semenovich,Bechta, Sevostian Victorovich,Gusarov, Victor Vlasmirovich Korean Nuclear Society 2009 Nuclear Engineering and Technology Vol.41 No.5
First ex-vessel core catcher has been applied to the practical design of NPPs with VVER-1000 reactors built in China (Tyanvan) and India (Kudankulam) for severe accident management (SAM) and mitigation of SA consequences. The paper presents the concept and basic design of this crucible-type core catcher as well as an evaluation of its efficiency. The important role of oxidic sacrificial material is discussed. Insight into the behaviour of the molten pool, which forms in the catcher after core relocation from the reactor vessel, is provided. It is shown that heat loads on the water-cooled vessel walls are kept within acceptable limits and that the necessary margins for departure from nucleate boiling (DNB) and of vessel failure caused by thermo-mechanical stress are satisfactorily provided for.
VLADIMIR BENZIANOVICH KHABENSKY,VLADIMIR SEMENOVICH GRANOVSKY,SEVOSTIAN VICTOROVICH BECHTA,VICTOR VLADIMIROVICH GUSAROV 한국원자력학회 2009 Nuclear Engineering and Technology Vol.41 No.5
First ex-vessel core catcher has been applied to the practical design of NPPs with VVER-1000 reactors built in China (Tyanvan) and India (Kudankulam) for severe accident management (SAM) and mitigation of SA consequences. The paper presents the concept and basic design of this crucible-type core catcher as well as an evaluation of its efficiency. The important role of oxidic sacrificial material is discussed. Insight into the behaviour of the molten pool, which forms in the catcher after core relocation from the reactor vessel, is provided. It is shown that heat loads on the water-cooled vessel walls are kept within acceptable limits and that the necessary margins for departure from nucleate boiling (DNB) and of vessel failure caused by thermo-mechanical stress are satisfactorily provided for.