Application of a fault injection based dependability assessment process to a commercial safety critical nuclear reactor protection system

Elks, Carl; Reynolds, Michael A.; George, Nishant; Miklo, Marko; Bingham, S.; Williams, R.D.; Johnson, B.W.; Waterman, Michael E.; Dion, Jeanne

doi:10.1109/dsn.2010.5544285

Cited by 6 publications

(3 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For instance, a typical industrial requirement is that 99% of single stuckat faults are detected during manufacturing tests of ASICs [51]. The fault detection coverage C = 0.99 (a perfect fault detection coverage refers to C = 1) can be used as the measure of the system's ability to meet such a requirement which can be validated using simulation or emulation based fault injection techniques [52,53]. It is worth mentioning that with increasing fault detection coverage requirement, the cost of test development and test application also increases rapidly.…”

Section: Safety Modeling Using Fault Detection Coveragementioning

confidence: 99%

Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications

Hoque

Mohamed

Savaria

2017

Journal of Applied Logic

View full text Add to dashboard Cite

SRAM-based FPGAs are increasingly popular in the aerospace industry due to their field programmability and low cost. However, they suffer from cosmic radiation induced Single Event Upsets (SEUs). In safety-critical applications, the dependability of the design is a prime concern since failures may have catastrophic consequences. An early analysis of the relationship between dependability metrics, performability-area trade-off, and different mitigation techniques for such applications can reduce the design effort while increasing the design confidence. This paper introduces a novel methodology based on probabilistic model checking, for the analysis of the reliability, availability, safety and performance-area tradeoffs of safety-critical systems for early design decisions. Starting from the high-level description of a system, a Markov reward model is constructed from the Control Data Flow Graph (CDFG) and a component characterization library targeting FPGAs. The proposed model and exhaustive analysis capture all the failure states (based on the fault detection coverage) and repairs possible in the system. We present quantitative results based on an FIR filter circuit to illustrate the applicability of the proposed approach and to demonstrate that a wide range of useful dependability and performability properties can be analyzed using the proposed methodology. The modeling results show the relationship between different mitigation techniques and fault detection coverage, exposing their direct impact on the design for early decisions.

show abstract

Section: Safety Modeling Using Fault Detection Coveragementioning

confidence: 99%

Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications

Hoque

Mohamed

Savaria

2017

Journal of Applied Logic

View full text Add to dashboard Cite

show abstract

“…P t should be less than P a but no less than 0.5 P a . The trend of the Instrumentation and Control (I&C) systems in newly constructed NPP is to replace the obsolete analog hard-wired systems with the contemporary digital and distributed processor based systems [8]. The I&C system here is a distributed control information system (DCIS).…”

Section: P T (Kpa)mentioning

confidence: 99%

Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants

Cho

Chung

Gao

et al. 2011

2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing

View full text Add to dashboard Cite

Abstract-The use of nuclear energy to generate electric power is crucial in meeting the high energy demand of modern economy. The dependability of nuclear power plants has been a critical issue and the reactor containment is the most important safety structure acting as a barrier against the release of radioactive material to the environment. In this paper, we propose a practical framework for design, implementation, and V&V to enhance the dependability of reactor containment through an integrated leakage rate test.

show abstract

“…The trend of the Instrumentation and Control (I&C) systems in newly constructed NPP is to replace the obsolete analog hard-wired systems with the contemporary digital and distributed processor based systems [7]. The I&C system here is a distributed control information system (DCIS).…”

Section: Design and Implementationmentioning

confidence: 99%

Reactor Containment Dependability Analysis in Safety Critical Nuclear Power Plants: Design, Implementation and Experience

Cho

Chung

Gao

et al. 2011

2011 IEEE 17th International Conference on Parallel and Distributed Systems

View full text Add to dashboard Cite

Abstract-The use of nuclear energy to generate electric power is crucial in meeting the high energy demand of modern economy. The dependability analysis of nuclear power plants has been a critical issue and the reactor containment is the most important safety structure acting as a barrier against the release of radioactive material to the environment. In this paper, we analyze the dependability of the reactor containment. We also propose a tool for design, implementation, and V&V to enhance the dependability of reactor containment through an integrated leakage rate test. Our practical experiences in the on-site tests are also discussed.

show abstract

Application of a fault injection based dependability assessment process to a commercial safety critical nuclear reactor protection system

Cited by 6 publications

References 3 publications

Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications

Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications

Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants

Reactor Containment Dependability Analysis in Safety Critical Nuclear Power Plants: Design, Implementation and Experience

Contact Info

Product

Resources

About