Scalar Transport System Design Description
This template follows INL template TEM-140, "IT System Design Description."
This document serves as an addendum to Framework System Design Description and captures information for SDD specific to the Scalar Transport module.
Introduction
The MOOSE Scalar Transport module is based on the MOOSE framework and thus inherits the unique features and base characteristics of the framework, as outlined in the Framework System Design Description. Specific details unique to the module are outlined in this document.
System Purpose
The Software Design Description provided here is description of each object in the system. The pluggable architecture of the underlying framework of the Scalar Transport module 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 the Scalar Transport module. More information about the design documentation for MOOSE-based applications and like the Scalar Transport module can be found in Documenting MOOSE.
System Scope
The MOOSE Scalar Transport module scope is to model mass transfer due to advection, diffusion, and reaction.
Dependencies and Limitations
The Scalar Transport module inherits the software dependencies and limitations of the MOOSE framework, as well as the dependencies and limitations of the chemical reactions, Navier-Stokes, and thermal hydraulics modules.
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
Acronym | Description |
---|---|
API | Application Programming Interface |
DOE-NE | Department of Energy, Nuclear Energy |
FE | finite element |
HIT | Hierarchical Input Text |
HPC | High Performance Computing |
I/O | Input/Output |
INL | Idaho National Laboratory |
MOOSE | Multiphysics Object Oriented Simulation Environment |
MPI | Message Passing Interface |
SDD | Software Design Description |
Design Stakeholders and Concerns
Design Stakeholders
Stakeholders for MOOSE include several of the funding sources including DOE-NE and the INL. However, Since MOOSE is an open-source project, several universities, companies, and foreign governments have an interest in the development and maintenance of the MOOSE 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, Scalar Transport module 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, the Scalar Transport module (located within the MOOSE repository) 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
The Scalar Transport module inherits the wide range of pluggable systems from MOOSE. More information regarding MOOSE system design can be found in the framework System Design section. Most of the capability of the Scalar Transport module comes through synthesis of advective transport from Navier-Stokes, diffusive transport through the framework, and reactive transport through the chemical reactions module. However, this module also adds its own objects for volumetric (kernel objects) and surface (boundary condition objects) trapping and recombination. Documentation for each object, data structure, and process specific to the module are kept up-to-date alongside the MOOSE documentation. Expected failure modes and error conditions are accounted for via regression testing, and error conditions are noted in object documentation where applicable.
System Structure
The architecture of the Scalar Transport module consists of a core and several pluggable systems (both inherited from the MOOSE framework). The core of MOOSE consists of a number of key objects responsible for setting up and managing the user-defined objects of a finite element or finite volume simulation. This core set of objects has limited extendability and exists for every simulation configuration that the module is capable of running.
BCs
Kernels
The MooseApp is the top-level object used to hold all of the other objects in a simulation. In a normal simulation a single MooseApp object is created and "run()". This object uses its Factory objects to build user-defined objects which are stored in a series of Warehouse objects and executed. The Finite Element and/or Finite Volume data is stored in the Systems and Assembly objects while the domain information (the Mesh) is stored in the Mesh object. A series of threaded loops are used to run parallel calculations on the objects created and stored within the warehouses.
MOOSE's pluggable systems are documented on MOOSE website, and those for the Scalar Transport module are on this webpage, accessible through the high-level system links above. Each of these systems has a set of defined polymorphic interfaces and are designed to accomplish a specific task within the simulation. The design of these systems is fluid and is managed through agile methods and ticket request system either on GitHub (for MOOSE) or on the defined software repository for this application.
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 Scalar Transport module is a command-line driven program. All interaction with the Scalar Transport module 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 the Scalar Transport module, nor the MOOSE framework, nor the other 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 Scalar Transport module 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
- scalar_transport: DissociationFluxBC
- 17.1.1The system shall be able to solve for multiple species masss transport with various dissociation and recombination reactions occurring at boundaries
Specification(s): exo
Design: DissociationFluxBCBinaryRecombinationBC
Issue(s): #22442
Collection(s): FUNCTIONAL
Type(s): Exodiff
- 17.1.2The system shall calculate a domain averaged flux consistent with the theoretical value for the surface limited case
Specification(s): surface_limited
Design: DissociationFluxBCBinaryRecombinationBC
Issue(s): #22442
Collection(s): FUNCTIONAL
Type(s): Exodiff
- scalar_transport: BinaryRecombinationBC
- 17.1.1The system shall be able to solve for multiple species masss transport with various dissociation and recombination reactions occurring at boundaries
Specification(s): exo
Design: DissociationFluxBCBinaryRecombinationBC
Issue(s): #22442
Collection(s): FUNCTIONAL
Type(s): Exodiff
- 17.1.2The system shall calculate a domain averaged flux consistent with the theoretical value for the surface limited case
Specification(s): surface_limited
Design: DissociationFluxBCBinaryRecombinationBC
Issue(s): #22442
Collection(s): FUNCTIONAL
Type(s): Exodiff
- scalar_transport: LowerBoundNodalKernel
- 17.2.1The system shall be able to solve a positively constrained system of ODEs using NCP and have a non-singular matrix
Specification(s): lm_ncp
Design: LowerBoundNodalKernel
Issue(s): #22443
Collection(s): FUNCTIONAL
Type(s): Exodiff
- 17.2.2The system shall be able to solve a positively constrained PDE using nodal NCP, have diagonal components for the LM variable because of PSPG-type stabilization, and have a non-singular matrix
Specification(s): diagonal_lm_ncp_nodal_enforcement
Design: LowerBoundNodalKernel
Issue(s): #22443
Collection(s): FUNCTIONAL
Type(s): Exodiff
- 17.2.3Nodal enforcement of the positivity constraint shall be solvable using algebraic multi-grid
Specification(s): diagonal_lm_ncp_nodal_amg
Design: LowerBoundNodalKernel
Issue(s): #22443
Collection(s): FUNCTIONAL
Type(s): Exodiff
- 17.2.4The system shall be able to solve a positively constrained PDE using nodal NCP and have a non-singular matrix
Specification(s): interpolated_lm_ncp_nodal_constraint_enforcement
Design: LowerBoundNodalKernel
Issue(s): #22443
Collection(s): FUNCTIONAL
Type(s): Exodiff
- 17.2.5The system shall be able to solve a positively constrained PDE using nodal NCP, and nodal application of resultant forces, and have a non-singular matrix
Specification(s): interpolated_lm_ncp_nodal_constraint_enforcement_nodal_forces
Design: LowerBoundNodalKernel
Issue(s): #22443
Collection(s): FUNCTIONAL
Type(s): Exodiff
- 17.2.6The system shall be able to solve a positively constrained PDE using nodal NCP and nodal application of resultant forces, have diagonal components because of PSPG-type stabilization, and and have a non-singular matrix
Specification(s): diagonal_lm_ncp_nodal_constraint_enforcement_nodal_forces
Design: LowerBoundNodalKernel
Issue(s): #22443
Collection(s): FUNCTIONAL
Type(s): Exodiff