AUTOMATED, HIGHLY ACCURATE VERIFICATION OF RELAP5-3D
Computer programs that analyze light water reactor safety solve complex systems of governing, closure and special process equations to model the underlying physics. In addition, these programs incorporate many other features and are quite large. RELAP5-3D has over 300,000 lines of coding for physics, input, output, data management, user-interaction, and post-processing. For software quality assurance, the code must be verified and validated before being released to users. Verification ensures that a program is built right by checking that it meets its design specifications. Recently, there has been an increased importance on the development of automated verification processes that compare coding against its documented algorithms and equations and compares its calculations against analytical solutions and the method of manufactured solutions. For the first time, the ability exists to ensure that the data transfer operations associated with timestep advancement/repeating and writing/reading a solution to a file have no unintended consequences. To ensure that the code performs as intended over its extensive list of applications, an automated and highly accurate verification method has been modified and applied to RELAP5-3D. Furthermore, mathematical analysis of the adequacy of the checks used in the comparisons is provided.
- Publication Date:
- OSTI Identifier:
- Report Number(s):
- DOE Contract Number:
- Resource Type:
- Resource Relation:
- Conference: ICONE 22,Prague, Czech Republic,07/07/2014,07/11/2014
- Research Org:
- Idaho National Laboratory (INL)
- Sponsoring Org:
- Country of Publication:
- United States
- 22 GENERAL STUDIES OF NUCLEAR REACTORS; 97 MATHEMATICS AND COMPUTING RELAP5-3D; Verification and Validation
Enter terms in the toolbar above to search the full text of this document for pages containing specific keywords.