Results for “Software Safety” — Page 46

NASA NTRS1995

Concurrent engineering research center

The projects undertaken by The Concurrent Engineering Research Center (CERC) at West Virginia University are reported and summarized. CERC's participation in the Department of Defense's Defense Advanced Research Project relating to technology needed to improve the product development process is described, particularly in the area of advanced weapon systems. The efforts committed to improving collaboration among the diverse and distributed health care providers are reported, along with the research activities for NASA in Independent Software Verification and Validation. CERC also takes part in the electronic respirator certification initiated by The National Institute for Occupational Safety and Health, as well as in the efforts to find a solution to the problem of producing environment-friendly end-products for product developers worldwide. The 3M Fiber Metal Matrix Composite Model Factory Program is discussed. CERC technologies, facilities,and personnel-related issues are described, along with its library and technical services and recent publications.

Callahan, John R.↗

DOE OSTI2017

A SUMMARY OF THE THEORETICAL BASIS OF THE RELAP-7 NUCLEAR REACTOR SYSTEM SAFETY ANALYSIS CODE

The RELAP-7 code is the next generation nuclear reactor system safety analysis code being developed at the Idaho National Laboratory (INL)[1]. The code is based on INL’s scientific software development framework, MOOSE (Multi-physics Object Oriented Simulation Environment)[2]. The primary basis of the RELAP-7 governing theory includes 7-equation two-phase flow, reactor core heat transfer, and reactor kinetics models. This paper will focus upon the compressible, fully nonequilibrium two-phase flow model.

7-equation two-phase model↗

NASA NTRS1990

Knowledge-based system verification and validation

The objective of this task is to develop and evaluate a methodology for verification and validation (V&V) of knowledge-based systems (KBS) for space station applications with high reliability requirements. The approach consists of three interrelated tasks. The first task is to evaluate the effectiveness of various validation methods for space station applications. The second task is to recommend requirements for KBS V&V for Space Station Freedom (SSF). The third task is to recommend modifications to the SSF to support the development of KBS using effectiveness software engineering and validation techniques. To accomplish the first task, three complementary techniques will be evaluated: (1) Sensitivity Analysis (Worchester Polytechnic Institute); (2) Formal Verification of Safety Properties (SRI International); and (3) Consistency and Completeness Checking (Lockheed AI Center). During FY89 and FY90, each contractor will independently demonstrate the user of his technique on the fault detection, isolation, and reconfiguration (FDIR) KBS or the manned maneuvering unit (MMU), a rule-based system implemented in LISP. During FY91, the application of each of the techniques to other knowledge representations and KBS architectures will be addressed. After evaluation of the results of the first task and examination of Space Station Freedom V&V requirements for conventional software, a comprehensive KBS V&V methodology will be developed and documented. Development of highly reliable KBS's cannot be accomplished without effective software engineering methods. Using the results of current in-house research to develop and assess software engineering methods for KBS's as well as assessment of techniques being developed elsewhere, an effective software engineering methodology for space station KBS's will be developed, and modification of the SSF to support these tools and methods will be addressed.

Johnson, Sally C.↗

NASA NTRS1993

Software reliability through fault-avoidance and fault-tolerance

Strategies and tools for the testing, risk assessment and risk control of dependable software-based systems were developed. Part of this project consists of studies to enable the transfer of technology to industry, for example the risk management techniques for safety-concious systems. Theoretical investigations of Boolean and Relational Operator (BRO) testing strategy were conducted for condition-based testing. The Basic Graph Generation and Analysis tool (BGG) was extended to fully incorporate several variants of the BRO metric. Single- and multi-phase risk, coverage and time-based models are being developed to provide additional theoretical and empirical basis for estimation of the reliability and availability of large, highly dependable software. A model for software process and risk management was developed. The use of cause-effect graphing for software specification and validation was investigated. Lastly, advanced software fault-tolerance models were studied to provide alternatives and improvements in situations where simple software fault-tolerance strategies break down.

Vouk, Mladen A.↗

DOE OSTI2025

Scan2Sim: Software to Convert Network Scans to Emulations

Within operational technology (OT) systems design, the construction of testing environments for simulation is often a tedious, manual process that slows down safety and security evaluations. This document details the design and functionality of Scan2Sim, a program designed to construct high-fidelity topological schematics for OT systems without significant manual human input. Scan2Sim may take as input a detailed network scan of a system, and produces an instruction set to re-create the original scanned network within a virtualized simulation network. This construction is achieved via heuristic methods of machine template selection, which allows for a fast, performant approach to automated environment construction. The current tool is designed to produce topology schematics compatible with the Minimega, a tool designed by Sandia National Laboratories for repeatable experimentation management.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS2002

REACH: Real-Time Data Awareness in Multi-Spacecraft Missions

Missions have been proposed that will use multiple spacecraft to perform scientific or commercial tasks. Indeed, in the commercial world, some spacecraft constellations already exist. Aside from the technical challenges of constructing and flying these missions, there is also the financial challenge presented by the tradition model of the flight operations team (FOT) when it is applied to a constellation mission. Proposed constellation missions range in size from three spacecraft to more than 50. If the current ratio of three-to-five FOT personnel per spacecraft is maintained, the size of the FOT becomes cost prohibitive. The Advanced Architectures and Automation Branch at the Goddard Space Flight Center (GSFC Code 588) saw the potential to reduce the cost of these missions by creating new user interfaces to the ground system health-and-safety data. The goal is to enable a smaller FOT to remain aware and responsive to the increased amount of ground system information in a multi-spacecraft environment. Rather than abandon the tried and true, these interfaces were developed to run alongside existing ground system software to provide additional support to the FOT. These new user interfaces have been combined in a tool called REACH. REACH-the Real-time Evaluation and Analysis of Consolidated Health-is a software product that uses advanced visualization techniques to make spacecraft anomalies easy to spot, no matter how many spacecraft are in the constellation. REACH reads a real-time stream of data from the ground system and displays it to the FOT such that anomalies are easy to pick out and investigate. Data visualization has been used in ground system operations for many years. To provide a unique visualization tool, we developed a unique source of data to visualize: the REACH Health Model Engine. The Health Model Engine is rule-based software that receives real-time telemetry information and outputs "health" information related to the subsystems and spacecraft that the telemetry belong to. The Health Engine can run out-of-the-box or can be tailored with a scripting language. Out of the box, it uses limit violations to determine the health of subsystems and spacecraft; when tailored, it determines health using equations combining the values and limits of any telemetry in the spacecraft. The REACH visualizations then "roll up" the information from the Health Engine into high level, summary displays. These summary visualizations can be "zoomed" into for increasing levels of detail. Currently REACH is installed in the Small Explorer (SMEX) lab at GSFC, and is monitoring three of their five spacecraft. We are scheduled to install REACH in the Mid-sized Explorer (MIDEX) lab, which will allow us to monitor up to six more spacecraft. The process of installing and using our "research" software in an operational environment has provided many insights into which parts of REACH are a step forward and which of our ideas are missteps. Our paper explores both the new concepts in spacecraft health-and-safety visualization, the difficulties of such systems in the operational environment, and the cost and safety issues of multi-spacecraft missions.

Maks, Lori↗

DOE OSTI2026

Improving Performance via Energy Efficiency JUSTIFI: Open-Source Software for Identifying and Quantifying Non-Energy Benefits

Energy efficiency is pivotal to achieving operational excellence, as it enhances value while reducing waste. This presentation explores the integration of non-energy benefits (NEBs) into energy efficiency projects, which can lead to risk reduction, value creation, and cost savings. By quantifying NEBs - such as improved safety, decreased pollution, and increased productivity - companies can strengthen their business cases for energy investments, ultimately improving payback periods and aligning with strategic goals. Designed for a diverse audience, from trained auditors to novices in energy assessments, we have developed open-source software called JUSTIFI, NEB finding methodology, and training materials which build on existing frameworks and leverages resources from the U.S. Department of Energy and Better Plants energy system analysis software suite such as MEASUR. This work aims to maximize ROI through NEB identification, utilizing tools like JUSTIFI and the NEBs Discovery Protocol.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2016

TU-AB-204-00: CDRH/FDA Regulatory Processes and Device Science Activities

The responsibilities of the Food and Drug Administration (FDA) have increased since the inception of the Food and Drugs Act in 1906. Medical devices first came under comprehensive regulation with the passage of the 1938 Food, Drug, and Cosmetic Act. In 1971 FDA also took on the responsibility for consumer protection against unnecessary exposure to radiation-emitting devices for home and occupational use. However it was not until 1976, under the Medical Device Regulation Act, that the FDA was responsible for the safety and effectiveness of medical devices. This session will be presented by the Division of Radiological Health (DRH) and the Division of Imaging, Diagnostics, and Software Reliability (DIDSR) from the Center for Devices and Radiological Health (CDRH) at the FDA. The symposium will discuss on how we protect and promote public health with a focus on medical physics applications organized into four areas: pre-market device review, post-market surveillance, device compliance, current regulatory research efforts and partnerships with other organizations. The pre-market session will summarize the pathways FDA uses to regulate the investigational use and commercialization of diagnostic imaging and radiation therapy medical devices in the US, highlighting resources available to assist investigators and manufacturers. The post-market session will explain the post-market surveillance and compliance activities FDA performs to monitor the safety and effectiveness of devices on the market. The third session will describe research efforts that support the regulatory mission of the Agency. An overview of our regulatory research portfolio to advance our understanding of medical physics and imaging technologies and approaches to their evaluation will be discussed. Lastly, mechanisms that FDA uses to seek public input and promote collaborations with professional, government, and international organizations, such as AAPM, International Electrotechnical Commission (IEC), Image Gently, and the Quantitative Imaging Biomarkers Alliance (QIBA) among others, to fulfill FDA’s mission will be discussed. Learning Objectives: Understand FDA’s pre-market and post-market review processes for medical devices Understand FDA’s current regulatory research activities in the areas of medical physics and imaging products Understand how being involved with AAPM and other organizations can also help to promote innovative, safe and effective medical devices J. Delfino, nothing to disclose.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2016

TU-AB-204-01: Device Approval Process

The responsibilities of the Food and Drug Administration (FDA) have increased since the inception of the Food and Drugs Act in 1906. Medical devices first came under comprehensive regulation with the passage of the 1938 Food, Drug, and Cosmetic Act. In 1971 FDA also took on the responsibility for consumer protection against unnecessary exposure to radiation-emitting devices for home and occupational use. However it was not until 1976, under the Medical Device Regulation Act, that the FDA was responsible for the safety and effectiveness of medical devices. This session will be presented by the Division of Radiological Health (DRH) and the Division of Imaging, Diagnostics, and Software Reliability (DIDSR) from the Center for Devices and Radiological Health (CDRH) at the FDA. The symposium will discuss on how we protect and promote public health with a focus on medical physics applications organized into four areas: pre-market device review, post-market surveillance, device compliance, current regulatory research efforts and partnerships with other organizations. The pre-market session will summarize the pathways FDA uses to regulate the investigational use and commercialization of diagnostic imaging and radiation therapy medical devices in the US, highlighting resources available to assist investigators and manufacturers. The post-market session will explain the post-market surveillance and compliance activities FDA performs to monitor the safety and effectiveness of devices on the market. The third session will describe research efforts that support the regulatory mission of the Agency. An overview of our regulatory research portfolio to advance our understanding of medical physics and imaging technologies and approaches to their evaluation will be discussed. Lastly, mechanisms that FDA uses to seek public input and promote collaborations with professional, government, and international organizations, such as AAPM, International Electrotechnical Commission (IEC), Image Gently, and the Quantitative Imaging Biomarkers Alliance (QIBA) among others, to fulfill FDA’s mission will be discussed. Learning Objectives: Understand FDA’s pre-market and post-market review processes for medical devices Understand FDA’s current regulatory research activities in the areas of medical physics and imaging products Understand how being involved with AAPM and other organizations can also help to promote innovative, safe and effective medical devices J. Delfino, nothing to disclose.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2016

TU-AB-204-02: Device Adverse Events and Compliance

The responsibilities of the Food and Drug Administration (FDA) have increased since the inception of the Food and Drugs Act in 1906. Medical devices first came under comprehensive regulation with the passage of the 1938 Food, Drug, and Cosmetic Act. In 1971 FDA also took on the responsibility for consumer protection against unnecessary exposure to radiation-emitting devices for home and occupational use. However it was not until 1976, under the Medical Device Regulation Act, that the FDA was responsible for the safety and effectiveness of medical devices. This session will be presented by the Division of Radiological Health (DRH) and the Division of Imaging, Diagnostics, and Software Reliability (DIDSR) from the Center for Devices and Radiological Health (CDRH) at the FDA. The symposium will discuss on how we protect and promote public health with a focus on medical physics applications organized into four areas: pre-market device review, post-market surveillance, device compliance, current regulatory research efforts and partnerships with other organizations. The pre-market session will summarize the pathways FDA uses to regulate the investigational use and commercialization of diagnostic imaging and radiation therapy medical devices in the US, highlighting resources available to assist investigators and manufacturers. The post-market session will explain the post-market surveillance and compliance activities FDA performs to monitor the safety and effectiveness of devices on the market. The third session will describe research efforts that support the regulatory mission of the Agency. An overview of our regulatory research portfolio to advance our understanding of medical physics and imaging technologies and approaches to their evaluation will be discussed. Lastly, mechanisms that FDA uses to seek public input and promote collaborations with professional, government, and international organizations, such as AAPM, International Electrotechnical Commission (IEC), Image Gently, and the Quantitative Imaging Biomarkers Alliance (QIBA) among others, to fulfill FDA’s mission will be discussed. Learning Objectives: Understand FDA’s pre-market and post-market review processes for medical devices Understand FDA’s current regulatory research activities in the areas of medical physics and imaging products Understand how being involved with AAPM and other organizations can also help to promote innovative, safe and effective medical devices J. Delfino, nothing to disclose.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2016

TU-AB-204-03: Research Activities in Medical Physics

The responsibilities of the Food and Drug Administration (FDA) have increased since the inception of the Food and Drugs Act in 1906. Medical devices first came under comprehensive regulation with the passage of the 1938 Food, Drug, and Cosmetic Act. In 1971 FDA also took on the responsibility for consumer protection against unnecessary exposure to radiation-emitting devices for home and occupational use. However it was not until 1976, under the Medical Device Regulation Act, that the FDA was responsible for the safety and effectiveness of medical devices. This session will be presented by the Division of Radiological Health (DRH) and the Division of Imaging, Diagnostics, and Software Reliability (DIDSR) from the Center for Devices and Radiological Health (CDRH) at the FDA. The symposium will discuss on how we protect and promote public health with a focus on medical physics applications organized into four areas: pre-market device review, post-market surveillance, device compliance, current regulatory research efforts and partnerships with other organizations. The pre-market session will summarize the pathways FDA uses to regulate the investigational use and commercialization of diagnostic imaging and radiation therapy medical devices in the US, highlighting resources available to assist investigators and manufacturers. The post-market session will explain the post-market surveillance and compliance activities FDA performs to monitor the safety and effectiveness of devices on the market. The third session will describe research efforts that support the regulatory mission of the Agency. An overview of our regulatory research portfolio to advance our understanding of medical physics and imaging technologies and approaches to their evaluation will be discussed. Lastly, mechanisms that FDA uses to seek public input and promote collaborations with professional, government, and international organizations, such as AAPM, International Electrotechnical Commission (IEC), Image Gently, and the Quantitative Imaging Biomarkers Alliance (QIBA) among others, to fulfill FDA’s mission will be discussed. Learning Objectives: Understand FDA’s pre-market and post-market review processes for medical devices Understand FDA’s current regulatory research activities in the areas of medical physics and imaging products Understand how being involved with AAPM and other organizations can also help to promote innovative, safe and effective medical devices J. Delfino, nothing to disclose.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2016

TU-AB-204-04: Partnerships

The responsibilities of the Food and Drug Administration (FDA) have increased since the inception of the Food and Drugs Act in 1906. Medical devices first came under comprehensive regulation with the passage of the 1938 Food, Drug, and Cosmetic Act. In 1971 FDA also took on the responsibility for consumer protection against unnecessary exposure to radiation-emitting devices for home and occupational use. However it was not until 1976, under the Medical Device Regulation Act, that the FDA was responsible for the safety and effectiveness of medical devices. This session will be presented by the Division of Radiological Health (DRH) and the Division of Imaging, Diagnostics, and Software Reliability (DIDSR) from the Center for Devices and Radiological Health (CDRH) at the FDA. The symposium will discuss on how we protect and promote public health with a focus on medical physics applications organized into four areas: pre-market device review, post-market surveillance, device compliance, current regulatory research efforts and partnerships with other organizations. The pre-market session will summarize the pathways FDA uses to regulate the investigational use and commercialization of diagnostic imaging and radiation therapy medical devices in the US, highlighting resources available to assist investigators and manufacturers. The post-market session will explain the post-market surveillance and compliance activities FDA performs to monitor the safety and effectiveness of devices on the market. The third session will describe research efforts that support the regulatory mission of the Agency. An overview of our regulatory research portfolio to advance our understanding of medical physics and imaging technologies and approaches to their evaluation will be discussed. Lastly, mechanisms that FDA uses to seek public input and promote collaborations with professional, government, and international organizations, such as AAPM, International Electrotechnical Commission (IEC), Image Gently, and the Quantitative Imaging Biomarkers Alliance (QIBA) among others, to fulfill FDA’s mission will be discussed. Learning Objectives: Understand FDA’s pre-market and post-market review processes for medical devices Understand FDA’s current regulatory research activities in the areas of medical physics and imaging products Understand how being involved with AAPM and other organizations can also help to promote innovative, safe and effective medical devices J. Delfino, nothing to disclose.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2012

NEAMS Update: Quarterly Report for October - December 2011

The Advanced Modeling and Simulation Office within the DOE Office of Nuclear Energy (NE) has been charged with revolutionizing the design tools used to build nuclear power plants during the next 10 years. To accomplish this, the DOE has brought together the national laboratories, U.S. universities, and the nuclear energy industry to establish the Nuclear Energy Advanced Modeling and Simulation (NEAMS) Program. The mission of NEAMS is to modernize computer modeling of nuclear energy systems and improve the fidelity and validity of modeling results using contemporary software environments and high-performance computers. NEAMS will create a set of engineering-level codes aimed at designing and analyzing the performance and safety of nuclear power plants and reactor fuels. The truly predictive nature of these codes will be achieved by modeling the governing phenomena at the spatial and temporal scales that dominate the behavior. These codes will be executed within a simulation environment that orchestrates code integration with respect to spatial meshing, computational resources, and execution to give the user a common 'look and feel' for setting up problems and displaying results. NEAMS is building upon a suite of existing simulation tools, including those developed by the federal Scientific Discovery through Advanced Computing and Advanced Simulation and Computing programs. NEAMS also draws upon existing simulation tools for materials and nuclear systems, although many of these are limited in terms of scale, applicability, and portability (their ability to be integrated into contemporary software and hardware architectures). NEAMS investments have directly and indirectly supported additional NE research and development programs, including those devoted to waste repositories, safeguarded separations systems, and long-term storage of used nuclear fuel. NEAMS is organized into two broad efforts, each comprising four elements. The quarterly highlights October-December 2011 are: (1) Version 1.0 of AMP, the fuel assembly performance code, was tested on the JAGUAR supercomputer and released on November 1, 2011, a detailed discussion of this new simulation tool is given; (2) A coolant sub-channel model and a preliminary UO{sub 2} smeared-cracking model were implemented in BISON, the single-pin fuel code, more information on how these models were developed and benchmarked is given; (3) The Object Kinetic Monte Carlo model was implemented to account for nucleation events in meso-scale simulations and a discussion of the significance of this advance is given; (4) The SHARP neutronics module, PROTEUS, was expanded to be applicable to all types of reactors, and a discussion of the importance of PROTEUS is given; (5) A plan has been finalized for integrating the high-fidelity, three-dimensional reactor code SHARP with both the systems-level code RELAP7 and the fuel assembly code AMP. This is a new initiative; (6) Work began to evaluate the applicability of AMP to the problem of dry storage of used fuel and to define a relevant problem to test the applicability; (7) A code to obtain phonon spectra from the force-constant matrix for a crystalline lattice has been completed. This important bridge between subcontinuum and continuum phenomena is discussed; (8) Benchmarking was begun on the meso-scale, finite-element fuels code MARMOT to validate its new variable splitting algorithm; (9) A very computationally demanding simulation of diffusion-driven nucleation of new microstructural features has been completed. An explanation of the difficulty of this simulation is given; (10) Experiments were conducted with deformed steel to validate a crystal plasticity finite-element code for bodycentered cubic iron; (11) The Capability Transfer Roadmap was completed and published as an internal laboratory technical report; (12) The AMP fuel assembly code input generator was integrated into the NEAMS Integrated Computational Environment (NiCE). More details on the planned NEAMS computing environment is given; and (13) The NEAMS program website (neams.energy.gov) is nearly ready to launch.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRSDate not supplied

Formal Methods in the Development of Highly Assured Software for Unmanned Aircraft Systems

In traditional software development methodologies, operational and functional requirements of systems are often specified in structured natural language notations. These restricted notations provide good documentation support, but only provide limited support for semantic analysis. These notations are generally not rich enough to unambiguously specify the requirements of safety-critical systems that, for example, involve complex numerical computations or that interact with the physical environment. Examples of these safety-critical systems are autonomous vehicles such as unmanned aircraft systems. This talk advocates the use of expressive formal logics, such as higher-order logic, to specify the operational and functional requirement of unmanned systems and to prove the correctness of these requirements. Semantic analysis of requirements written in higher-order logic is supported through the use of interactive theorem provers. Formal models serve as ideal reference implementations of functional requirements. Hence, formal logics enable software validation techniques where software implementations can be checked against functional requirements in a mechanical way. The Formal Methods group in the Safety-Critical Avionics Systems Branch at NASA Langley Research Center has conducted research on the development and application of formal verification techniques to safety-critical applications of interest to NASA for more than 30 years. This talk illustrates the use of formal methods in the development of highly-assured autonomous unmanned aircraft systems.

Formal Methods↗

DOE OSTI2026

Development and Implementation of a New AI-Based Tool to Support Fast Reactor Software Model Generation and Validation

This report summarizes FY26 work to develop Maggie, an artificial intelligence-based assistant designed to support software model generation and validation activities for fast reactor analysis codes. The project established a modular, code-agnostic software architecture that separates reusable agent capabilities from code-specific knowledge and tools, with initial implementation focused on the FRP-supported fast reactor safety analysis code SAS4A/SASSYS1 (SAS). A curated SAS-specific knowledge base was assembled from the code manual, training materials, historical analysis reports, and representative input files, and was integrated through retrieval-augmented generation to ground Maggie’s responses in authoritative sources. Maggie was deployed on the internal Argonne network, where it demonstrated practical user-facing capability as a chatbot for answering natural language questions about SAS and retrieving relevant technical information. Demonstration cases also showed that Maggie can generate useful snippets of SAS input for selected modeling tasks, while highlighting current limitations in reliability and consistency for more complex input generation tasks. Overall, the FY26 effort established the technical foundation for an AI-assisted capability intended to improve the efficiency, consistency, and accessibility of fast reactor software model development at Argonne and, with further improvements, to support eventual use by the broader fast reactor community, including industry users of FRP-supported analysis tools.

Thomas, Rachel [Argonne National Laboratory (ANL),↗

DOE OSTI2014

RELAP-7 Numerical Stabilization: Entropy Viscosity Method

The RELAP-7 code is the next generation nuclear reactor system safety analysis code being developed at the Idaho National Laboratory (INL). The code is based on the INL's modern scientific software development framework, MOOSE (Multi-Physics Object Oriented Simulation Environment). The overall design goal of RELAP-7 is to take advantage of the previous thirty years of advancements in computer architecture, software design, numerical integration methods, and physical models. The end result will be a reactor systems analysis capability that retains and improves upon RELAP5's capability and extends the analysis capability for all reactor system simulation scenarios. RELAP-7 utilizes a single phase and a novel seven-equation two-phase flow models as described in the RELAP-7 Theory Manual (INL/EXT-14-31366). The basic equation systems are hyperbolic, which generally require some type of stabilization (or artificial viscosity) to capture nonlinear discontinuities and to suppress advection-caused oscillations. This report documents one of the available options for this stabilization in RELAP-7 -- a new and novel approach known as the entropy viscosity method. Because the code is an ongoing development effort in which the physical sub models, numerics, and coding are evolving, so too must the specific details of the entropy viscosity stabilization method. Here the fundamentals of the method in their current state are presented.

42 ENGINEERING↗

DOE OSTI2017

RELAP-7 Closure Correlations

The RELAP-7 code is the next generation nuclear reactor system safety analysis code being developed at the Idaho National Laboratory (INL). The code is based on the INL’s modern scientific software development framework, MOOSE (Multi-Physics Object Oriented Simulation Environment). The overall design goal of RELAP-7 is to take advantage of the previous thirty years of advancements in computer architecture, software design, numerical integration methods, and physical models. The end result will be a reactor systems analysis capability that retains and improves upon RELAP5’s and TRACE’s capabilities and extends their analysis capabilities for all reactor system simulation scenarios. The RELAP-7 code utilizes the well-posed 7-equation two-phase flow model for compressible two-phase flow. Closure models used in the TRACE code has been reviewed and selected to reflect the progress made during the past decades and provide a basis for the colure correlations implemented in the RELAP-7 code. This document provides a summary on the closure correlations that are currently implemented in the RELAP-7 code. The closure correlations include sub-grid models that describe interactions between the fluids and the flow channel, and interactions between the two phases.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

DOE OSTI2017

High temperature high velocity direct power extraction using an open-cycle oxy-combustion system

The implementation of oxy-fuel technology in fossil-fuel power plants may contribute to increased system efficiencies and a reduction of pollutant emissions. One technology that has potential to utilize the temperature of undiluted oxy-combustion flames is open-cycle magnetohydrodynamic (MHD) power generators. These systems can be configured as a topping cycle and provide high enthalpy, electrically conductive flows for direct conversion of electricity. This report presents the design and modeling strategies of a MHD combustor operating at temperatures exceeding 3000 K. Throughout the study, computational fluid dynamics (CFD) models were extensively used as a design and optimization tool. A lab-scale 60 kWth model was designed, manufactured and tested as part of this project. A fully-coupled numerical method was developed in ANSYS FLUENT to characterize the heat transfer in the system. This study revealed that nozzle heat transfer may be predicted through a 40% reduction of the semi-empirical Bartz correlation. Experimental results showed good agreement with the numerical evaluation, with the combustor exhibiting a favorable performance when tested during extended time periods. A transient numerical method was employed to analyze fuel injector geometries for the 60-kW combustor. The ANSYS FLUENT study revealed that counter-swirl inlets achieve a uniform pressure and velocity ratio when the ports of the injector length to diameter ratio (L/D) is 4. An angle of 115 degrees was found to increase distribution efficiency. The findings show that this oxy-combustion concept is capable of providing a high-enthalpy environment for seeding, in order to render the flow to be conductive. Based on previous findings, temperatures in the range of 2800-3000 K may enable magnetohydrodynamic power extraction. The heat loss fraction in this oxy-combustion system, based on CFD and analytical calculations, at optimal operating conditions, was estimated to be less than 10 percent. Furthermore, the heat transfer design removed approximately 7 MW/m2. The results observed in the lab-scale system were employed to develop a 1-MW scaled prototype. Scaling methods were based on critical design criteria found in similar systems, aimed at replicating combustion flow fields and reducing possible instabilities. A numerical simulation of the combustor wall was developed for a combined thermal steady model and static structural model. This combined model was developed predict combined stress parameters within the wall during testing conditions. Both models were developed within ANSYS FEA software package. The relative accuracy presented as well major performance parameters are discussed to assess the design's validity and ensure safety. The scaled prototype was manufactured through selective laser melting (SLM)-based additive manufacturing to reduce lead times and increase geometrical complexity. Additional CFD models were developed to optimize coolant manifold system parameters and perform a parametric study on channel geometry. An investigation on coolant manifold geometry demonstrated improvements in channel flow distribution when enlarging manifold lengths and increasing the number of tubes feeding into the flow. A three-dimensional model based on a single channel was developed to capture the effect of variable properties and thermal stratification. All cases in the simulation exhibited higher wall temperatures and lower convective coefficients than those determined through 1-D analytical equations. This implies that pressure and velocity safety factors must be implemented during system operation. Overall, the findings made in this investigation are thought to be of value to researchers and industrial practitioners when designing oxy-fuel direct power extraction systems operating at temperatures exceeding 3000 K. In addition to this, the implementation of the developed technology at pilot and commercial scales could result in a significant improvement in the efficiencies of heritage and next-generation power cycles.

03 NATURAL GAS↗