A Statistical Testing Approach for Quantifying Software Reliability; Application to an Example System
- Brookhaven National Lab. (BNL), Upton, NY (United States)
The U.S. Nuclear Regulatory Commission (NRC) encourages the use of probabilistic risk assessment (PRA) technology in all regulatory matters, to the extent supported by the state-of-the-art in PRA methods and data. Although much has been accomplished in the area of risk-informed regulation, risk assessment for digital systems has not been fully developed. The NRC established a plan for research on digital systems to identify and develop methods, analytical tools, and regulatory guidance for (1) including models of digital systems in the PRAs of nuclear power plants (NPPs), and (2) incorporating digital systems in the NRC's risk-informed licensing and oversight activities. Under NRC's sponsorship, Brookhaven National Laboratory (BNL) explored approaches for addressing the failures of digital instrumentation and control (I and C) systems in the current NPP PRA framework. Specific areas investigated included PRA modeling digital hardware, development of a philosophical basis for defining software failure, and identification of desirable attributes of quantitative software reliability methods. Based on the earlier research, statistical testing is considered a promising method for quantifying software reliability. This paper describes a statistical software testing approach for quantifying software reliability and applies it to the loop-operating control system (LOCS) of an experimental loop of the Advanced Test Reactor (ATR) at Idaho National Laboratory (INL).
- Research Organization:
- Brookhaven National Laboratory (BNL), Upton, NY (United States)
- Sponsoring Organization:
- USDOE
- OSTI ID:
- 1329800
- Report Number(s):
- BNL--112743-2016
- Country of Publication:
- United States
- Language:
- English
Similar Records
Review of Quantitative Software Reliability Methods
Estimation of human-error probabilities from expert judgment for use in probabilistic risk assessment of nuclear power plants. [PWR; BWR]
Related Subjects
ATR REACTOR
COMPUTER CODES
COMPUTERIZED SIMULATION
DIGITAL SYSTEMS
FAILURES
NUCLEAR POWER PLANTS
PROBABILISTIC ESTIMATION
REACTOR CONTROL SYSTEMS
REACTOR INSTRUMENTATION
REACTOR LICENSING
RELIABILITY
RISK ASSESSMENT
Statistical Testing Approach
TESTING