skip to main content

SciTech ConnectSciTech Connect

Title: 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[1] 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[2]. 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.
Authors:
; ;
Publication Date:
OSTI Identifier:
1165507
Report Number(s):
INL/CON-14-31184
DOE Contract Number:
DE-AC07-05ID14517
Resource Type:
Conference
Resource Relation:
Conference: ICONE 22,Prague, Czech Republic,07/07/2014,07/11/2014
Research Org:
Idaho National Laboratory (INL)
Sponsoring Org:
USDOE
Country of Publication:
United States
Language:
English
Subject:
22 GENERAL STUDIES OF NUCLEAR REACTORS; 97 MATHEMATICS AND COMPUTING RELAP5-3D; Verification and Validation