Verification and validation of the SAPHIRE Version 4.0 PRA software package
- EG and G Idaho, Inc., Idaho Falls, ID (United States); and others
A verification and validation (V&V) process has been performed for the System Analysis Programs for Hands-on Integrated Reliability Evaluation (SAPHIRE). SAPHIRE is a set of four computer programs that the Nuclear Regulatory Commission (NRC) developed to perform probabilistic risk assessments (PRAs). These programs allow an analyst to create, quantify, and evaluate the risk associated with a facility or process being analyzed. The programs included in this set are Integrated Reliability and Risk Analysis System (IRRAS), System Analysis and Risk Assessment (SARA), Models and Results Database (MAR-D), and Fault Tree/Event Tree/Piping and Instrumentation Diagram (FEP) graphical editor. The V&V steps included a V&V plan to describe the process and criteria by which the V&V would be performed; a software requirements documentation review to determine the correctness, completeness, and traceability of the requirements; a user survey to determine the usefulness of the user documentation, identification and testing of vital and non-vital features, and documentation of the test results.
- Research Organization:
- Nuclear Regulatory Commission, Washington, DC (United States). Div. of Safety Issue Resolution; EG and G Idaho, Inc., Idaho Falls, ID (United States)
- Sponsoring Organization:
- Nuclear Regulatory Commission, Washington, DC (United States)
- DOE Contract Number:
- AC07-76ID01570
- OSTI ID:
- 10140203
- Report Number(s):
- NUREG/CR-6145; EGG-2713; ON: TI94009484; TRN: 94:007538
- Resource Relation:
- Other Information: PBD: Feb 1994
- Country of Publication:
- United States
- Language:
- English
Similar Records
SAPHIRE5. 0
SAPHIRE5. 0
Related Subjects
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
NUCLEAR POWER PLANTS
SYSTEMS ANALYSIS
S CODES
VALIDATION
RISK ASSESSMENT
REACTOR SAFETY
FAULT TREE ANALYSIS
PERFORMANCE TESTING
I CODES
M CODES
F CODES
DOCUMENTATION
220900
990200
MATHEMATICS AND COMPUTERS