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.
Skip Nav Destination
2014 22nd International Conference on Nuclear Engineering
July 7–11, 2014
Prague, Czech Republic
Conference Sponsors:
- Nuclear Engineering Division
ISBN:
978-0-7918-4591-2
PROCEEDINGS PAPER
Automated, Highly Accurate Verification of RELAP5-3D Available to Purchase
George L. Mesina,
George L. Mesina
Idaho National Laboratory, Idaho Falls, ID
Search for other works by this author on:
David L. Aumiller,
David L. Aumiller
Bettis Laboratory, Pittsburgh, PA
Search for other works by this author on:
Francis X. Buschman
Francis X. Buschman
Bettis Laboratory, Pittsburgh, PA
Search for other works by this author on:
George L. Mesina
Idaho National Laboratory, Idaho Falls, ID
David L. Aumiller
Bettis Laboratory, Pittsburgh, PA
Francis X. Buschman
Bettis Laboratory, Pittsburgh, PA
Paper No:
ICONE22-31153, V02BT09A054; 7 pages
Published Online:
November 17, 2014
Citation
Mesina, GL, Aumiller, DL, & Buschman, FX. "Automated, Highly Accurate Verification of RELAP5-3D." Proceedings of the 2014 22nd International Conference on Nuclear Engineering. Volume 2B: Thermal Hydraulics. Prague, Czech Republic. July 7–11, 2014. V02BT09A054. ASME. https://doi.org/10.1115/ICONE22-31153
Download citation file:
20
Views
Related Proceedings Papers
Related Articles
The Plant Feature and Performance of Double MS (Modular Simplified and Medium Small Reactor)
J. Eng. Gas Turbines Power (January,2010)
JCISE Editorial – August 2022
J. Comput. Inf. Sci. Eng (August,2022)
Related Chapters
QRAS Approach to Phased Mission Analysis (PSAM-0444)
Proceedings of the Eighth International Conference on Probabilistic Safety Assessment & Management (PSAM)
Event Calculus and Probabilistic Knowledge Base of Conditional Events in Complex Systems Management
Intelligent Engineering Systems Through Artificial Neural Networks, Volume 17
Lessons Learned: NRC Experience
Continuing and Changing Priorities of the ASME Boiler & Pressure Vessel Codes and Standards