AREST-CT V1.0 software verification
Abstract
The Analyzer for Radionuclide Source-Term with Chemical Transport (AREST-CT) is a scientific computer code designed for performance assessments of engineered barrier system (EBS) concepts for the underground storage of nuclear waste, including high-level, intermediate, and low-level wastes. The AREST-CT code has features for analyzing the degradation of and release of radionuclides from the waste form, chemical reactions that depend on time and space, and transport of the waste and other products through the EBS. This document provides a description of the verification testing that has been performed on the initial version of ARESTCT (V1.0). Software verification is the process of confirming that the models and algorithms have been correctly implemented into a computer code. Software verification for V1.0 consisted of testing the individual modules (unit tests) and a test of the fully-coupled model (integration testing). The integration test was done by comparing the results from AREST-CT with the results from the reactive transport code CIRF.A. The test problem consisted of a 1-D analysis of the release, transport, and precipitation of {sup 99}{Tc} in an idealized LLW disposal system. All verification tests showed that AREST-CT works properly and in accordance with design specifications.
- Authors:
- Publication Date:
- Research Org.:
- Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
- Sponsoring Org.:
- USDOE, Washington, DC (United States)
- OSTI Identifier:
- 105064
- Report Number(s):
- PNL-10692
ON: DE95017596; TRN: 95:020579
- DOE Contract Number:
- AC06-76RL01830
- Resource Type:
- Technical Report
- Resource Relation:
- Other Information: PBD: Jul 1995
- Country of Publication:
- United States
- Language:
- English
- Subject:
- 05 NUCLEAR FUELS; 54 ENVIRONMENTAL SCIENCES; CONTAINMENT SYSTEMS; RELIABILITY; HIGH-LEVEL RADIOACTIVE WASTES; UNDERGROUND STORAGE; RADIONUCLIDE MIGRATION; A CODES; PERFORMANCE; WASTE FORMS; VERIFICATION
Citation Formats
Chen, Y, Engel, D W, McGrail, B P, and Lessor, K S. AREST-CT V1.0 software verification. United States: N. p., 1995.
Web. doi:10.2172/105064.
Chen, Y, Engel, D W, McGrail, B P, & Lessor, K S. AREST-CT V1.0 software verification. United States. https://doi.org/10.2172/105064
Chen, Y, Engel, D W, McGrail, B P, and Lessor, K S. 1995.
"AREST-CT V1.0 software verification". United States. https://doi.org/10.2172/105064. https://www.osti.gov/servlets/purl/105064.
@article{osti_105064,
title = {AREST-CT V1.0 software verification},
author = {Chen, Y and Engel, D W and McGrail, B P and Lessor, K S},
abstractNote = {The Analyzer for Radionuclide Source-Term with Chemical Transport (AREST-CT) is a scientific computer code designed for performance assessments of engineered barrier system (EBS) concepts for the underground storage of nuclear waste, including high-level, intermediate, and low-level wastes. The AREST-CT code has features for analyzing the degradation of and release of radionuclides from the waste form, chemical reactions that depend on time and space, and transport of the waste and other products through the EBS. This document provides a description of the verification testing that has been performed on the initial version of ARESTCT (V1.0). Software verification is the process of confirming that the models and algorithms have been correctly implemented into a computer code. Software verification for V1.0 consisted of testing the individual modules (unit tests) and a test of the fully-coupled model (integration testing). The integration test was done by comparing the results from AREST-CT with the results from the reactive transport code CIRF.A. The test problem consisted of a 1-D analysis of the release, transport, and precipitation of {sup 99}{Tc} in an idealized LLW disposal system. All verification tests showed that AREST-CT works properly and in accordance with design specifications.},
doi = {10.2172/105064},
url = {https://www.osti.gov/biblio/105064},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Sat Jul 01 00:00:00 EDT 1995},
month = {Sat Jul 01 00:00:00 EDT 1995}
}