TMAP8 System Design Description

This template follows INL template TEM-140, "IT System Design Description."

commentnote

This document serves as an addendum to Framework System Design Description and captures information for SDD specific to the TMAP8 application.

Introduction

Many of the phenomena related to tritium transport depend on the solutions of multiple physics models, which can be described by partial differential equations that provide spatially- and temporally-varying values of solution variables. These models for individual physics often depend on each other. TMAP8 relies on the MOOSE framework to solve these physics models, accounting for the couplings that may occur between them. This document describes the system design of TMAP8.

System Purpose

The Software Design Description provided here is description of each object in the system. The pluggable architecture of the underlying framework of TMAP8 makes MOOSE and MOOSE-based applications straightforward to develop as each piece of end-user (developer) code that goes into the system follows a well-defined interface for the underlying systems that those object plug into. These descriptions are provided through developer-supplied "markdown" files that are required for all new objects that are developed as part of TMAP8. More information about the design documentation for MOOSE-based applications like TMAP8 can be found in Documenting MOOSE.

System Scope

TMAP8 is an application for performing system-level, engineering scale (i.e., at the scale of centimeters and meters), and microstructure-scale (i.e., at the scale of microns) mass and thermal transport calculations related to tritium migration. These models often include highly coupled systems of equations related to heat conduction, scalar transport, thermal hydraulics, and mechanics, amongst others. Material models are also included to support these simulations, and they themselves are often dependent on simulation variables: temperature, irradiation flux, etc. While many models within TMAP8 are performed at the system-level or engineering scale, the MultiApp System can be leveraged to allow for multiscale coupling to the micro- and nano-scale species behavior. This allows for higher fidelity modeling.

Dependencies and Limitations

TMAP8 inherits the software dependencies of the MOOSE framework, with no additional dependencies.

Definitions and Acronyms

This section defines, or provides the definition of, all terms and acronyms required to properly understand this specification.

Definitions

  • Pull (Merge) Request: A proposed change to the software (e.g. usually a code change, but may also include documentation, requirements, design, and/or testing).

  • Baseline: A specification or product (e.g., project plan, maintenance and operations (M&O) plan, requirements, or design) that has been formally reviewed and agreed upon, that thereafter serves as the basis for use and further development, and that can be changed only by using an approved change control process (NQA-1, 2009).

  • Validation: Confirmation, through the provision of objective evidence (e.g., acceptance test), that the requirements for a specific intended use or application have been fulfilled (24765:2010(E), 2010).

  • Verification: (1) The process of: evaluating a system or component to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase. (2) Formal proof of program correctness (e.g., requirements, design, implementation reviews, system tests) (24765:2010(E), 2010).

Acronyms

AcronymDescription
APIApplication Programming Interface
DOEDepartment of Energy
FEfinite element
HITHierarchical Input Text
HPCHigh Performance Computing
I/OInput/Output
INLIdaho National Laboratory
MOOSEMultiphysics Object Oriented Simulation Environment
MPIMessage Passing Interface
SDDSoftware Design Description

Design Stakeholders and Concerns

Design Stakeholders

Stakeholders for TMAP8 include several of the funding sources including Department of Energy (DOE) and INL. However, since TMAP8 is an open-source project, several universities, companies, and foreign governments have an interest in the development and maintenance of the TMAP8 project.

Stakeholder Design Concerns

Concerns from many of the stakeholders are similar. These concerns include correctness, stability, and performance. The mitigation plan for each of these can be addressed. For correctness, TMAP8 development requires either regression or unit testing for all new code added to the repository. The project contains several comparisons against analytical solutions where possible and also other verification methods such as MMS. For stability, TMAP8 maintains multiple branches to incorporate several layers of testing both internally and for dependent applications. Finally, performance tests are also performed as part of the the normal testing suite to monitor code change impacts to performance.

System Design

TMAP8 relies on MOOSE to solve the coupled physics models underlying tritium transport, accounting for the couplings that may occur between them. The design of MOOSE is based on the concept of modular code objects that define all of the aspects of the physics model. TMAP8 follows this design, providing code objects that define specific aspects of the solutions for its physics that derive from the base classes defined by the MOOSE framework and the modules that it depends on.

TMAP8 provides specialized Kernel classes that compute the contributions from the terms in the partial differential equations for heat conduction, tritium diffusion, surface reactions, and other phenomena. It also provides specialized Material classes that define the constitutive behavior of materials of interest for diffusion, solubility, trapping, resolution, reactivity, permeation, and other physical properties. In addition, it provides miscellaneous BC and InterfaceKernel classes to facilitate various aspects of these simulations, such as plasma exposure, surface reactions, and transfer of species across enclosures, among others. Much of the functionality of TMAP8 is provided by the MOOSE modules that it builds on.

System Structure

TMAP8 relies on the MOOSE framework to provide the core functionality of solving multiphysics problems using the finite element method. It also relies on the MOOSE modules for much of its core functionality. A summary listing of the current modules required for complete TMAP8 operation are shown below:

The structure of TMAP8 is based on defining C++ classes that derive from classes in the MOOSE framework or modules that provide functionality that is specifically tailored to tritium migration problems. By using the interfaces defined in MOOSE base classes for these classes, TMAP8 is able to rely on MOOSE to execute these models at the appropriate times during the simulation and use their results in the desired ways.

Data Design and Control

At a high level, the system is designed to process HIT input files to construct several objects that will constitute an FE simulation. Some of the objects in the simulation may in turn load other file-based resources to complete the simulation. Examples include meshes or data files. The system will then assemble systems of equations and solve them using the libraries of the Code Platform. The system can then output the solution in one or more supported output formats commonly used for visualization.

Human-Machine Interface Design

The TMAP8 application is a command-line driven program. All interaction with TMAP8 is ultimately done through the command line. This is typical for HPC applications that use the MPI interface for running on super computing clusters. Optional GUIs may be used to assist in creating input files and launching executables on the command line.

System Design Interface

All external system interaction is performed either through file I/O or through local API calls. Neither TMAP8, nor the MOOSE framework, nor the MOOSE modules are designed to interact with any external system directly through remote procedure calls. Any code to code coupling performed using the framework are done directly through API calls either in a static binary or after loading shared libraries.

Security Structure

The TMAP8 application does not require any elevated privileges to operate and does not run any stateful services, daemons or other network programs. Distributed runs rely on the MPI library.

Requirements Cross-Reference

  • tmap8: ADMatReactionFlexible
  • 2.6.2The system shall compute the reaction contribution in the material.

    Specification(s): ad_mat_reaction_flexible

    Design: ADMatReactionFlexible

    Issue(s): #23

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9
  • 2.25.1The system shall be able to model a chemical reaction between two species with the same concentrations and calculate the concentrations of reactants and product as a function of time

    Specification(s): binary_reaction_equal_concentrations

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1g

  • 2.25.2The system shall be able to model a chemical reaction between two species with different concentrations and calculate the concentrations of reactants and product as a function of time using the initial conditions from the TMAP4 case

    Specification(s): binary_reaction_diff_concentrations_TMAP4

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1g

  • 2.25.3The system shall be able to model a chemical reaction between two species with different concentrations and calculate the concentrations of reactants and product as a function of time using the initial conditions from the TMAP7 case

    Specification(s): binary_reaction_diff_concentrations_TMAP7

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1g

  • 2.25.4The system shall be able to model a chemical reaction between two species with the same concentrations and calculate the concentrations of reactants and product as a function of time, to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): binary_reaction_equal_concentrations_csv_diff

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1g

  • 2.25.5The system shall be able to model a chemical reaction between two species with different concentrations using the initial conditions from the TMAP4 case and calculate the concentrations of reactants and product as a function of time to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): binary_reaction_diff_concentrations_csv_diff_TMAP4

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1g

  • 2.25.6The system shall be able to model a chemical reaction between two species with different concentrations using the initial conditions from the TMAP7 case and calculate the concentrations of reactants and product as a function of time to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): binary_reaction_diff_concentrations_csv_diff_TMAP7

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1g

  • 2.25.7The system shall be able to generate comparison plots between the analytical solution and simulated solution of a chemical reaction between two species with same or different concentrations, using the initial conditions from both TMAP4 and TMAP7 cases.

    Specification(s): ver-1g_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1g

  • 2.26.1The system shall be able to model a series of chemical reactions involving three species and calculate the concentrations of each species as a function of time.

    Specification(s): ver-1gc

    Design: ADMatReactionFlexible

    Issue(s): #12#104

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1gc

  • 2.26.2The system shall be able to model a series of chemical reactions involving three species and calculate the concentrations of each species as a function of time and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1gc_csv

    Design: ADMatReactionFlexible

    Issue(s): #12#104

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1gc

  • 2.26.3The system shall be able to generate comparison plots between the analytical solution and simulated solution of a series of chemical reactions involving three species and calculate the concentrations of each species as a function of time and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1gc_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12#104

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1gc

  • 2.29.1The system shall be able to model a equilibration problem on a reactive surface with equal starting pressures in ratedep condition and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ia_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1ia

  • 2.29.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface with equal starting pressures in ratedep condition

    Specification(s): ver-1ia_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1ia

  • 2.30.1The system shall be able to model a equilibration problem on a reactive surface with unequal starting pressures in ratedep condition and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ib_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1ib

  • 2.30.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in ratedep condition with unequal starting pressures.

    Specification(s): ver-1ib_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1ib

  • 2.31.1The system shall be able to model a equilibration problem on a reactive surface in surfdep conditions with low barrier energy and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ic_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1ic

  • 2.31.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in surfdep condition with low barrier energy.

    Specification(s): ver-1ic_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1ic

  • 2.32.1The system shall be able to model a equilibration problem on a reactive surface in surfdep conditions with high barrier energy and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1id_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1id

  • 2.32.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in surfdep condition with high barrier energy.

    Specification(s): ver-1id_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1id

  • 2.33.1The system shall be able to model a equilibration problem on a reactive surface in lawdep condition with equal starting pressures and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ie_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1ie

  • 2.33.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in lawdep condition with equal starting pressures.

    Specification(s): ver-1ie_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1ie

  • 2.34.1The system shall be able to model a equilibration problem on a reactive surface in lawdep condition with unequal starting pressures and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1if_csv

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1if

  • 2.34.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a equilibration on a reactive surface in lawdep condition with unequal starting pressures.

    Specification(s): ver-1if_comparison

    Design: ADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1if

  • 2.40.1The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface.

    Specification(s): ver-1kc-2_csv

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1kc-2

  • 2.40.2The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface with tight tolerances for higher accuracy.

    Specification(s): ver-1kc-2_csv_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1kc-2

  • 2.40.3The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface and generate an exodus file with tight tolerances for higher accuracy.

    Specification(s): ver-1kc-2_exodus_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    1

    Verification: ver-1kc-2

  • 2.40.4The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1kc-2, modeling a diffusion across a membrane separating two enclosures in accordance with Sieverts’ law.

    Specification(s): ver-1kc-2_comparison

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexible

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1kc-2

  • 2.41.1The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface and a T2 volumetric source term.

    Specification(s): ver-1kd_csv

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexibleBodyForce

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1kd

  • 2.41.2The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface and a T2 volumetric source term with tight tolerances for higher accuracy.

    Specification(s): ver-1kd_csv_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexibleBodyForce

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1kd

  • 2.41.3The system shall be able to model the diffusion of T2, H2 and HT across a membrane separating two enclosures in accordance with Sieverts’ law with a concentration jump at the interface and a T2 volumetric source term and generate an exodus file with tight tolerances for higher accuracy.

    Specification(s): ver-1kd_exodus_heavy

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexibleBodyForce

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    1

    Verification: ver-1kd

  • 2.41.4The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1kd, modeling a diffusion across a membrane separating two enclosures in accordance with Sieverts’ law and a T2 volumetric source term.

    Specification(s): ver-1kd_comparison

    Design: ADInterfaceSorption / InterfaceSorptionMatDiffusionTimeDerivativeADMatReactionFlexibleBodyForce

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1kd

  • tmap8: val-2c
  • 2.10.1The system shall be able to model the Test Cell Release Experiment (val-2c) with immediate T2 injection.

    Specification(s): val-2c_immediate_injection_csv

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    5

    Validation: val-2c

  • 2.10.2The system shall be able to model the Test Cell Release Experiment (val-2c) with immediate T2 injection and properly compute the exodus file.

    Specification(s): val-2c_immediate_injection_exodus

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    5

    Validation: val-2c

  • 2.10.3The system shall be able to model the Test Cell Release Experiment (val-2c) with delayed T2 injection.

    Specification(s): val-2c_delay_csv

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    5

    Validation: val-2c

  • 2.10.4The system shall be able to model the Test Cell Release Experiment (val-2c) with delayed T2 injection and properly compute the exodus file.

    Specification(s): val-2c_delay_exodus

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    5

    Validation: val-2c

  • 2.10.5The system shall be able to generate comparison plots between simulated solutions and experimental data of validation cases val-2c, modeling a Test Cell Release Experiment.

    Specification(s): val-2c_delay_comparison

    Design: val-2c

    Issue(s): #12#98

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Validation: val-2c

  • tmap8: Diffusion
  • 2.15.1The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source.

    Specification(s): ver-1b

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1b

  • 2.15.2The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source with the fine mesh and time step required to match the analytical solution.

    Specification(s): ver-1b_heavy

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    1

    Verification: ver-1b

  • 2.15.3The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1b_heavy_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1b

  • 2.15.4The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution for the profile concentration.

    Specification(s): ver-1b_heavy_lineplot

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1b

  • 2.15.5The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1b, modeling transient diffusion through a slab with a constant concentration boundary condition as the species source.

    Specification(s): ver-1b_comparison

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1b

  • 2.16.1The system shall be able to model species permeation into an unloaded portion of a slab from a pre-loaded portion with boundary conditions consistent with TMAP4.

    Specification(s): ver-1c_TMAP4

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1c

  • 2.16.2The system shall be able to model species permeation into an unloaded portion of a slab from a pre-loaded portion with boundary conditions consistent with TMAP7

    Specification(s): ver-1c_TMAP7

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1c

  • 2.16.3The system shall be able to model species permeation into an unloaded portion of a slab from a pre-loaded portion to generate CSV data for use in comparisons with the analytic solution over time for the TMAP4 verification case.

    Specification(s): ver-1c_TMAP4_csvdiff

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1c

  • 2.16.4The system shall be able to model species permeation into an unloaded portion of a slab from a pre-loaded portion to generate CSV data for use in comparisons with the analytic solution over time for the TMAP7 verification case.

    Specification(s): ver-1c_TMAP7_csvdiff

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1c

  • 2.16.5The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1c, modeling species permeation into an unloaded portion of a slab from a pre-loaded portion for both the TMAP4 and TMAP7 verification cases.

    Specification(s): ver-1c_comparison

    Design: DiffusionTimeDerivative

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1c

  • 2.20.1The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source.

    Specification(s): ver-1e

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1e

  • 2.20.2The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution for the TMAP4 verification case.

    Specification(s): ver-1e_TMAP4_heavy

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    1

    Verification: ver-1e

  • 2.20.3The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution for the TMAP7 verification case.

    Specification(s): ver-1e_TMAP7_heavy

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    1

    Verification: ver-1e

  • 2.20.4The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time for the TMAP4 verification case.

    Specification(s): ver-1e_TMAP4_heavy_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1e

  • 2.20.5The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time for the TMAP7 verification case.

    Specification(s): ver-1e_TMAP7_heavy_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1e

  • 2.20.6The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution for the profile concentration for the TMAP4 verification case.

    Specification(s): ver-1e_TMAP4_heavy_lineplot

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1e

  • 2.20.7The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution for the profile concentration for the TMAP7 verification case.

    Specification(s): ver-1e_TMAP7_heavy_lineplot

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1e

  • 2.20.8The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1e, modeling transient diffusion through a composite slab with a constant concentration boundary condition as the species source for both the TMAP4 and TMAP7 verification cases.

    Specification(s): ver-1e_comparison

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1e

  • tmap8: DirichletBC
  • 2.15.1The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source.

    Specification(s): ver-1b

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1b

  • 2.15.2The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source with the fine mesh and time step required to match the analytical solution.

    Specification(s): ver-1b_heavy

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    1

    Verification: ver-1b

  • 2.15.3The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1b_heavy_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1b

  • 2.15.4The system shall be able to model transient diffusion through a slab with a constant concentration boundary condition as the species source, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution for the profile concentration.

    Specification(s): ver-1b_heavy_lineplot

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1b

  • 2.15.5The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1b, modeling transient diffusion through a slab with a constant concentration boundary condition as the species source.

    Specification(s): ver-1b_comparison

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1b

  • 2.20.1The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source.

    Specification(s): ver-1e

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    9

    Verification: ver-1e

  • 2.20.2The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution for the TMAP4 verification case.

    Specification(s): ver-1e_TMAP4_heavy

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    1

    Verification: ver-1e

  • 2.20.3The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution for the TMAP7 verification case.

    Specification(s): ver-1e_TMAP7_heavy

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): Exodiff

    1

    Verification: ver-1e

  • 2.20.4The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time for the TMAP4 verification case.

    Specification(s): ver-1e_TMAP4_heavy_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1e

  • 2.20.5The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and time step required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution over time for the TMAP7 verification case.

    Specification(s): ver-1e_TMAP7_heavy_csvdiff

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1e

  • 2.20.6The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution for the profile concentration for the TMAP4 verification case.

    Specification(s): ver-1e_TMAP4_heavy_lineplot

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1e

  • 2.20.7The system shall be able to model transient diffusion through a composite slab with a constant concentration boundary condition as the species source, with the fine mesh and timestep required to match the analytical solution to generate CSV data for use in comparisons with the analytic solution for the profile concentration for the TMAP7 verification case.

    Specification(s): ver-1e_TMAP7_heavy_lineplot

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    1

    Verification: ver-1e

  • 2.20.8The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1e, modeling transient diffusion through a composite slab with a constant concentration boundary condition as the species source for both the TMAP4 and TMAP7 verification cases.

    Specification(s): ver-1e_comparison

    Design: DiffusionTimeDerivativeDirichletBC

    Issue(s): #12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1e

  • tmap8: ADMatReaction
  • 2.27.1The system shall be able to model a convective outflow problem and calculate the pressure and concentration of the gas in the second and third enclosure and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1ha_csv

    Design: ADMatReaction

    Issue(s): #148

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1ha

  • 2.27.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a convective outflow problem involving three enclosures and calculate the pressure and concentration of the gas in the second and third enclosure.

    Specification(s): ver-1ha_comparison

    Design: ADMatReaction

    Issue(s): #148

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1ha

  • 2.28.1The system shall be able to model a convective outflow problem and calculate the pressure and concentration of tritium and deuterium gas in the first and second enclosure and to generate CSV data for use in comparisons with the analytic solution over time.

    Specification(s): ver-1hb_csv

    Design: ADMatReaction

    Issue(s): #148#12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1hb

  • 2.28.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of a convective outflow problem involving two enclosures and two different gases and calculate the pressure and concentration of the gases in the enclosures.

    Specification(s): ver-1hb_comparison

    Design: ADMatReaction

    Issue(s): #148#12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1hb

  • tmap8: ver-1ja
  • 2.35.1The system shall be able to model decay of tritium and associated growth of helium in a diffusion segment and generate CSV data for use in comparisons with the analytic solution.

    Specification(s): ver-1ja_csvdiff

    Design: ver-1jaMatReaction

    Issue(s): #145#12

    Collection(s): FUNCTIONAL

    Type(s): CSVDiff

    9

    Verification: ver-1ja

  • 2.35.2The system shall be able to generate comparison plots between the analytical solution and simulated solution of verification case 1ja, which models decay of tritium and associated growth of helium in a diffusion segment.

    Specification(s): ver-1ja_comparison

    Design: ver-1jaMatReaction

    Issue(s): #145#12

    Collection(s): FUNCTIONAL

    Type(s): RunCommand

    9

    Verification: ver-1ja

References

  1. ISO/IEC/IEEE 24765:2010(E). Systems and software engineering—Vocabulary. first edition, December 15 2010.[BibTeX]
  2. ASME NQA-1. ASME NQA-1-2008 with the NQA-1a-2009 addenda: Quality Assurance Requirements for Nuclear Facility Applications. first edition, August 31 2009.[BibTeX]

ActionComponents

Adaptivity

Adaptivity/Indicators

Adaptivity/Markers

Application

AuxKernels

AuxKernels/MatVecRealGradAuxKernel

AuxKernels/MaterialVectorAuxKernel

AuxKernels/MaterialVectorGradAuxKernel

AuxScalarKernels

AuxVariables

AuxVariables/MultiAuxVariables

BCs

BCs/CavityPressure

BCs/CoupledPressure

BCs/InclinedNoDisplacementBC

BCs/Periodic

BCs/Pressure

Bounds

ChainControls

ChemicalComposition

Closures

Components

Constraints

ControlLogic

Controls

Convergence

Correctors

CoupledHeatTransfers

Covariance

DGKernels

Dampers

Debug

Debug/MaterialDerivativeTest

DeprecatedBlock

DiracKernels

Distributions

DomainIntegral

Executioner

Executioner/Adaptivity

Executioner/Predictor

Executioner/Quadrature

Executioner/TimeIntegrator

Executioner/TimeIntegrators

Executioner/TimeStepper

Executioner/TimeSteppers

Executors

FVBCs

FVICs

FVInterfaceKernels

FVKernels

FluidProperties

FluidPropertiesInterrogator

Functions

FunctorMaterials

GlobalParams

GrayDiffuseRadiation

HDGKernels

HeatStructureMaterials

ICs

ICs/PolycrystalICs

ICs/PolycrystalICs/BicrystalBoundingBoxIC

ICs/PolycrystalICs/BicrystalCircleGrainIC

ICs/PolycrystalICs/PolycrystalColoringIC

ICs/PolycrystalICs/PolycrystalRandomIC

ICs/PolycrystalICs/PolycrystalVoronoiVoidIC

ICs/PolycrystalICs/Tricrystal2CircleGrainsIC

InterfaceKernels

Kernels

Kernels/CHPFCRFFSplitKernel

Kernels/DynamicSolidMechanics

Kernels/DynamicTensorMechanics

Kernels/HHPFCRFFSplitKernel

Kernels/PFCRFFKernel

Kernels/PolycrystalElasticDrivingForce

Kernels/PolycrystalKernel

Kernels/PolycrystalStoredEnergy

Kernels/PoroMechanics

Kernels/RigidBodyMultiKernel

Kernels/SolidMechanics

Kernels/TensorMechanics

Likelihood

LinearFVBCs

LinearFVKernels

Materials

Mesh

Mesh/BatchMeshGeneratorAction

Mesh/Partitioner

MeshDivisions

MeshModifiers

Modules

Modules/CompressibleNavierStokes

Modules/FluidProperties

Modules/HeatTransfer

Modules/HeatTransfer/ThermalContact

Modules/HeatTransfer/ThermalContact/BC

Modules/IncompressibleNavierStokes

Modules/NavierStokesFV

Modules/PhaseField

Modules/PhaseField/Conserved

Modules/PhaseField/DisplacementGradients

Modules/PhaseField/EulerAngles2RGB

Modules/PhaseField/GrainGrowth

Modules/PhaseField/GrainGrowthLinearizedInterface

Modules/PhaseField/GrandPotential

Modules/PhaseField/Nonconserved

Modules/SolidProperties

Modules/TensorMechanics

Modules/TensorMechanics/CohesiveZoneMaster

Modules/TensorMechanics/DynamicMaster

Modules/TensorMechanics/GeneralizedPlaneStrain

Modules/TensorMechanics/GlobalStrain

Modules/TensorMechanics/LineElementMaster

Modules/TensorMechanics/Master

Modules/TensorMechanics/MaterialVectorBodyForce

MortarGapHeatTransfer

MultiApps

NEML2

NodalKernels

NodalNormals

Outputs

ParameterStudy

Physics

Physics/Diffusion

Physics/Diffusion/ContinuousGalerkin

Physics/Diffusion/FiniteVolume

Physics/HeatConduction

Physics/HeatConduction/FiniteElement

Physics/HeatConduction/FiniteVolume

Physics/MultiSpeciesDiffusion

Physics/MultiSpeciesDiffusion/ContinuousGalerkin

Physics/NavierStokes

Physics/NavierStokes/Flow

Physics/NavierStokes/FlowSegregated

Physics/NavierStokes/FluidHeatTransfer

Physics/NavierStokes/FluidHeatTransferSegregated

Physics/NavierStokes/ScalarTransport

Physics/NavierStokes/ScalarTransportSegregated

Physics/NavierStokes/SolidHeatTransfer

Physics/NavierStokes/Turbulence

Physics/NavierStokes/TwoPhaseMixture

Physics/NavierStokes/TwoPhaseMixtureSegregated

Physics/SolidMechanics

Physics/SolidMechanics/CohesiveZone

Physics/SolidMechanics/Dynamic

Physics/SolidMechanics/GeneralizedPlaneStrain

Physics/SolidMechanics/GlobalStrain

Physics/SolidMechanics/LineElement

Physics/SolidMechanics/LineElement/QuasiStatic

Physics/SolidMechanics/MaterialVectorBodyForce

Physics/SolidMechanics/QuasiStatic

Positions

Postprocessors

Preconditioning

Problem

ProjectedStatefulMaterialStorage

RayBCs

RayKernels

ReactionNetwork

ReactionNetwork/AqueousEquilibriumReactions

ReactionNetwork/SolidKineticReactions

Reporters

Samplers

ScalarKernels

SolidProperties

StochasticTools

Surrogates

ThermalContact

Times

Trainers

Transfers

UserObjects

VariableMappings

Variables

Variables/CHPFCRFFSplitVariables

Variables/HHPFCRFFSplitVariables

Variables/PFCRFFVariables

Variables/PolycrystalVariables

VectorPostprocessors