Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “leak test”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Destructive Examination Protocol for 3013-Container-Package Storing Plutonium-Bearing Materials

The 3013-container-package consists of a convenience, inner and outer container and is used for long-term storage of plutonium-bearing materials. A destructive examination (DE) protocol has been developed to examine the container package visually and with microscopic aid to find any corrosion conditions that could result in the loss of the integrity of the container package over its lifetime. The DE protocol contains three main steps: initial container examination, helium (He) leak testing, and detailed imaging and analysis of the inner container closure weld region (ICCWR). The ICCWR has been determined to be bounding, defined as exhibiting worst case conditions for stress corrosion cracking (SCC) of the inner container. To assess SCC in the ICCWR, the inner container lid is cut into quarters and the weld and He-leak testing gasket are removed. Then a citric acid wash is performed to remove adherent chlorides from the ICCWR. The wash is then sent for analysis to determine the concentration of chlorides in the ICCWR. While the analysis for chloride concentration is being performed, the quarter sections are further sectioned into 1/8th subsections by cutting each section in half. These subsections are washed using nitric acid to remove corrosion products. Then each subsection is imaged using a Wide Angle 3-D Measurement System (WAMS). After analysis of microscope images for potential SCC, additional imaging can be performed, including subsurface imaging. After review, a determination is made of whether the container integrity may potentially affect the safe storage of the material.

container↗
DOE OSTI2023

Experimental Evaluation of Refrigerant Leak Characteristics for Different HVAC&R Equipment Types–Phase 2

The US Department of Energy (DOE) Building Technology Office (BTO) and the Air-conditioning, Heating & Refrigeration Technology Institute (AHRTI) collaborated to sponsor an experimental study of refrigerant leak characteristics at Oak Ridge National Laboratory (ORNL); AHRTI project 9012. The project has been conducted in two phases with objectives to conduct refrigerant leak tests on several heating, ventilating, air-conditioning and refrigeration (HVAC&R) systems under operating conditions representative of actual applications to document the pressure decay rate and the mass flow rate of leaked refrigerant as a function of time. Phase 1 of the project ran from late 2017 to late 2018 with refrigerant leaks imposed on five systems and the collection of data to meet the project objectives. Systems chosen covered three air-conditioning (AC) applications (packaged terminal AC or PTAC, 3-ton residential split system AC, and 5-ton packaged rooftop AC) and two refrigeration applications (split system unit cooler, and standalone display case). AHRTI members donated the test systems used for the project. The systems were tested at two different leak rates (catastrophic high rate simulating full line break and a lower flow rate), two leak locations (high-pressure side and low-pressure side), and two operating conditions (compressor ON or OFF). Phase 1 results were summarized in a project report by Baxter, et al. (2019)1. The leak rates imposed in Phase 1 led to much more rapid charge releases than the more typical much slower rates seen in practice that would take days, weeks, or months to empty a system of its entire charge. For Phase 2, the project sponsors asked that the “higher” leak rate target a total charge release time of about 4 min. This was intended to represent a “reasonable” worst case release scenario to match the refrigerant leak rate assumption used in the International Electrotechnical Commission (IEC) standard IEC 60335-2-40 (2016 version [IEC 2016]. A charge release time of about 20–40 min (leak release rate 5 to 10 times lower than higher rate) was targeted for the “lower” leak rate. This report provides a summary of the Phase 2 effort. Two additional HVAC systems were selected for testing in this phase. First was a multi-split air-conditioning (MS-AC) system with one outdoor section and two indoor units and a nameplate refrigerant charge of 1.75 kg (3.86 lb.) of R-410A. The MS-AC was tested in cooling only or AC operation. Second was a split system heat pump coupled to two different representative supply duct systems (HP-duct) and a nameplate charge of 3.83 kg (8.44 lb.) of R-410A. This system was tested in both space heating and AC modes. As in Phase 1 of the project, all tests were conducted using R-410A.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2024

Embedding of Optical Fibers with Electric Field Assisted Sintering

The Electric Field Assisted Sintering (EFAS) technique was used for embedding the fibers, involving rapid heating via an electric current and pressure, reducing fiber exposure to high temperatures. Stainless steel guide tubes were inserted at the fiber-matrix junctions to prevent fiber breakage during the sintering process. The study varied key EFAS parameters—temperature (800°C to 980°C), pressure (40-50 MPa), and hold time (5-10 minutes)—to assess how they influenced fiber embedding. After embedding, the fibers were inspected using optical frequency domain reflectometry (OFDR) to evaluate optical losses and strain along the fiber length. The OFDR scans confirmed that the fibers remained intact, and subsequent transmission tests demonstrated no macroscopic fractures. The embedded samples were also analyzed using scanning electron microscopy (SEM) and X-ray computed tomography (CT) scans. These tests confirmed good bonding between the fiber and matrix with no cracking, though some porosity was present in samples fabricated at lower temperatures. At higher temperatures (980°C), the fiber-matrix bonding was continuous and defect-free, with metal coatings aiding in the bonding process. Elemental analysis showed interdiffusion between the fiber coatings and matrix materials, particularly between the gold coating and stainless steel. Helium leak tests revealed that lower sintering temperatures resulted in matrix porosity, causing leaks, but samples fabricated at 980°C were leak-tight.

46 - INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AN↗
DOE OSTI2023

NREL 25-cm2 High-Pressure Low-Temperature Electrolysis Cell Hardware (Open Source)

This data resource describes an open-source cell hardware that enables low temperature electrolysis (LTE) testing at elevated pressures. Existing commercial options have several downsides when it comes to R&D testing. They are often not designed for repeated reassembly, may not be able to accommodate porous transport layers with different thicknesses, and do not give state-of-the-art performance. Therefore, this hardware was developed specifically with LTE R&D in mind and its design is being made available to the global LTE community. This work was planned and funded by the U.S. Department of Energy's H2NEW consortium (https://h2new.energy.gov/). The hardware design package (.zip file) details the drawings, auxiliary materials, and procedures required to fabricate, assemble, and operate the National Renewable Energy Laboratory's (NREL's) high-pressure low-temperature electrolysis cells. While the hardware itself—end plates, current collectors, flow fields, bolts and washers, tube fittings—is always the same, the assembly and operating procedures may change depending on the active materials being tested, especially for the membrane. Material-specific assembly and operating procedures will be posted to the H2NEW website as they are developed and validated. Disclaimer: The documents and drawings included in this download package describe a design for a low temperature electrolysis hardware that is intended to comply with leak testing according to ASME B31.1. Safe operation at ambient and elevated pressures is the sole responsibility of the end user, which should be evaluated on a case-by-case basis for each individual cell. Factors affecting the sealing capability may depend on, for example, machining quality, cell assembly components, operating conditions, and operating history. Operation at pressure should only be performed on qualified test stands by qualified operators. NREL/ALLIANCE FOR SUSTAINABLE ENERGY, LLC/DOE DISCLAIM ALL WARRANTIES, EXPRESS OR IMPLIED, INCLUDING THE WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, AND MAKES NO WARRANTY AS TO THE ACCURACY, COMPLETENESS, OR USEFULNESS OF ANY INFORMATION PROVIDED HEREIN. USE OF THIS PACKAGE IS AT THE USER’S OWN RISK.

08 HYDROGEN↗
DOE OSTI2023

Radiation Hardened Foam Cold Test Plan - Phase II: Foam Characterization Testing and Environmental Chamber Testing of FoamBag Fixative Foam

This document outlines the Phase II test objectives and implementation plan for a down-select foam fixative technology intended to facilitate activities in support of the Savannah River Site (SRS) F/H labs deactivation and decommissioning (D&D) efforts. It is a collaborative effort between Savannah River National Laboratory (SRNL), Florida International University (FIU), and the SRS F/H labs team intended to test and evaluate the potential of a polyurethane resin foam in mitigating the release of contamination during dismantling operations on radioactively contaminated piping in legacy facilities. The cold test plan addresses specific requirements highlighted by site and safety personnel and will be executed at FIU and SRNL test and lab facilities. Results from the cold tests will inform the hot test at F/H labs, which will use the foam fixative to confine and/or isolate residual contamination within a 3-dimensional void space of Hastelloy C-22 piping designated for removal from the area and transported to a designated disposal facility. Phase I testing was previously conducted using Hilti CP620 fixative foam. Results from Phase I testing indicate Hilti CP-620 fixative foam is incompatible with SRS site hot taps as an effective foam delivery method into Hastelloy C-22 piping. Phase II testing will be conducted using FoamBag TM fixative foam as an alternative fixative foam option. Phase II testing will address eight test objectives: (1) evaluation of the adhesion and bonding properties of FoamBag TM in Hastelloy C-22 piping, (2) evaluation of the adhesion of FoamBag TM in piping under various moisture conditions, (3) determination of the heat profile of FoamBag TM during curing, (4) determination of the internal pipe pressure after FoamBag TM deployment and curing, (5) conduct a leak test to determine if FoamBag TM is effective at creating a full seal within piping, (6) headspace testing of FoamBag TM to determine if there are any associated off-gas hazards during FoamBag TM curing, (7) conduct environmental chamber testing of FoamBag TM to understand how environmental parameters impacts FoamBag TM curing, and (8) conduct fire testing to evaluate FoamBag TM fire retardant characteristics.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2025

Novel Technology of Non-Contact Real-Time Radiation Damage Sensor for High Power Targets

High-power proton beams planned for forthcoming long-baseline neutrino experiments will subject solid targets to unprecedented radiation damage, threatening reliability and increasing costs. To address this challenge, we are building a real-time, non-contact sensor that tracks damage by measuring broadband laser reflectivity changes from the target surface. A low-power super-continuum Class 3B laser illuminates the sample inside a vacuum test chamber while a high-resolution fiber-coupled spectrometer captures S- and P-polarized light; spectral shifts reveal defect-driven variations in optical constants. My internship goal is to design, build, and commission this prototype by implementing a laser-safety interlock and light shield, integrating remote-operation cameras, and fabricating modular 3-D-printed mounts that enable tool-free swaps without disturbing alignment. The laser, spectrometer, and vacuum chamber have been delivered; interlock hardware, cameras, and mounts are in final assembly, and leak testing of the chamber is underway. Upcoming work will focus on initial calibration of the sensor and executing first beam-irradiation studies.

Pumarino, Rafael↗
DOE OSTI2022

Friction surfacing and cold spray deposition for surface crack repair in austenitic stainless steels

Two technologies, friction surfacing (FS) and cold spray deposition (CSD), have been investigated for field repair of cracks in 304L austenitic stainless steel. Both technologies are low-heat-input, solid-state technologies that do not introduce the detrimental effects of solidification, such as compositionally segregated microstructures and shrinkage stresses. Friction surfacing was performed using a 304L stainless steel rod over the substrate of the same material. Further, the process was performed at a high spindle speed of 20,000 RPM allowing for process forces below 500N to be used effectively. Spherical gas-atomized 304L stainless steel powder, in size range of 25–44 µm, was used as feedstock powder for the cold spray process for deposition on 304L substrates. Both technologies showed leak-tight crack repair capabilities on ~30–50 µm wide simulated through-crack specimens based on helium leak tests.

36 MATERIALS SCIENCE↗
DOE OSTI2023

FY2023 Status Report: Model 9975 O-Ring Fixture Long-Term Leak Performance

Leak testing experiments to monitor the aging performance of Viton ® GLT and GLT-S O-rings used in the model 9975 shipping package has been ongoing since 2004 at Savannah River National Laboratory. Seventy tests using mock-up 9975 primary containment vessels (PCVs) with GLT O-rings were assembled and heated to temperatures ranging from 200 to 450 °F. Due to material substitution, fourteen tests with GLT-S O-rings were initiated in 2008 and heated to temperatures ranging from 200 to 400 °F. The conditioning temperatures are elevated compared to the calculated maximum O-ring temperature in a 9975 package in storage, 158 °F, to accelerate aging and enable observations of O-ring failures in a reasonable time frame.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2026

A Mobile Hot Cell for Conditioning Disused Sealed Radioactive Sources for Storage or Transportation

An innovative Mobile Hot Cell (MHC) has been developed for conditioning Disused Sealed Radioactive Sources (DSRS) category 1 and 2 for storage or transportation. The MHC is designed to provide both Radiological and Biological containment with a maximum capacity of 1000 Ci Co60 or 5000Ci Cs137 source and can be transported via standard cargo containers. This project has been supported through the National Nuclear Safety Administration (NNSA) Offsite Source Recovery Program (OSRP). The project is intended for the international community rather than domestic although domestic use is a possibility. Many countries have significant stockpiles of these devices that are often stored in less-than-optimal circumstances. This necessitates that these devices be addressed expeditiously, and the sources secured. The MHC utilizes robotics, automation, and other non-traditional methods for disassembling, characterizing, and packaging these sources that have reached end of life or are otherwise not needed. These innovative approaches are necessary to facilitate an expedited timeline to efficiently and safely secure these sources in a non-proliferation effort. Conditioning efforts include disassembling the device such as a teletherapy head used for cancer treatment, or blood/research irradiators such that the radioactive sources may be removed safely. The sources are then characterized. Leak checks are performed, dimensions are verified, and serial numbers are confirmed. Upon completion, the sources are typically placed into a Standard Forms Capsule which is seal welded closed. It is leak tested and placed into a Long-Term Storage Shield (LTSS) which can either be secured for storage directly or loaded into an appropriate cask for transportation. Further innovations include multiple deployment scenarios that include a full deployment of MHC components, deployment of the MHC automation internal components to an existing hot cell, deployment of minimally required MHC components and incorporation of sand for shielding, and integration of the MHC for Silo Storage, or Bore Hole Storage efforts. The MHC has evolved from a very specific use case to a “Swiss Army Knife” type of a tool in that it can be readily adapted to a large variety of situations. Innovative approaches such as the use of robotics, Computer Numeric Control (CNC) machining centers, automated welding equipment, HDMI Cameras, and LED lighting are some of the developed technologies incorporated into the MHC design. Shielding is accomplished with a steel walled Base Box which is surrounded by four nesting doll shield shells which when combined limits the external dose rate to 5mr/hr when a 1000 Ci Co60 source is exposed inside.

99 - GENERAL AND MISCELLANEOUS↗
DOE OSTI2024

SELF-HEALING PNEUMATIC ACTUATOR DIAPHRAGMS

In the oil and gas industry, damaged diaphragms in pneumatic actuators can lead to unintended methane leaks, increasing emissions. In this work, replacement self-healing diaphragms are manufactured for a commercial pneumatic actuator. To enable self-healing, hollow microvascular networks are created within the diaphragms using sacrificial 3D printed PLA w/ tin(II) oxalate. These microvascular networks are filled with healing chemistries and, upon damage, rupture. After rupturing, the healing chemistries mix and cure to “heal” the damage and reduce leaks. Separate actuator test stands using nitrogen gas and using natural gas were developed to assess the healing performance of diaphragms. A fatigue stand was also developed to evaluate the effects of the different microvascular network geometries on the fatigue life of diaphragms. Our results demonstrate self-healing in diaphragms subjected to damage and tested for leaks. In fatigue testing, our results indicate that the introduction of microvascular networks does not influence the fatigue life.

Self-healing, pneumatic actuator↗
DOE OSTI2025

Evaluation of an Accident Tolerant Fuel Leak in the Advanced Test Reactor

Accident Tolerant Fuels (ATF), which are nuclear fuel sources designed to withstand operational irregularities and incidents, have been a topic of interest in the nuclear industry for several decades. Interest in ATF technology surged following the 2011 accident at Fukushima Daiichi in Japan. At the Advanced Test Reactor (ATR), one of Idaho National Laboratory’s (INL) four operating nuclear reactors, the ATF program is a collaborative effort between the national laboratory and various stakeholders within the nuclear industry. This program focuses on the research and development of novel fuel compositions, cladding, and component materials with enhanced accident-resistant properties. During one of ATR’s 60-day operating cycles in 2024, the reactor experienced five unplanned shutdowns. Following the fifth shutdown, radiation monitors detected an increase in radiation levels coming from the loop piping. Subsequent water samples confirmed the cause was a leak of fission products from the ATF experiment, designated as ATF-2C. The source of the leak was identified as the instrumented section of the test train. The primary discussions in this paper are 1) the design of the ATF test train, 2) the operating parameters leading up to and following the detection of the leak, and 3) the quantification and characterization of the released fission products.

Accident Tolerant Fuels↗
DOE OSTI2025

Evaluation of an Accident Tolerant Fuel Leak in the Advanced Test Reactor

Accident Tolerant Fuels (ATF), which are nuclear fuel sources designed to withstand operational irregularities and incidents, have been a topic of interest in the nuclear industry for several decades. Interest in ATF technology surged following the 2011 accident at Fukushima Daiichi in Japan. At the Advanced Test Reactor (ATR), one of Idaho National Laboratory’s (INL) four operating nuclear reactors, the ATF program is a collaborative effort between the national laboratory and various stakeholders within the nuclear industry. This program focuses on the research and development of novel fuel compositions, cladding, and component materials with enhanced accident-resistant properties. During one of ATR’s 60-day operating cycles in 2024, the reactor experienced five unplanned shutdowns. Following the fifth shutdown, radiation monitors detected an increase in radiation levels coming from the loop piping. Subsequent water samples confirmed the cause was a leak of fission products from the ATF experiment, designated as ATF-2C. The source of the leak was identified as the instrumented section of the test train. The primary discussions in this presentation are 1) the design of the ATF test train, 2) the operating parameters leading up to and following the detection of the leak, and 3) the quantification and characterization of the released fission products.

11 - NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2025

SENSEI at SNOLAB: Single-Electron Event Rate and Implications for Dark Matter

We present results from data acquired by the SENSEI experiment at SNOLAB after a major upgrade in May 2023, which includes deploying 16 new sensors and replacing the copper trays that house the CCDs with a new light-tight design. We observe a single-electron event rate of (1.39±0.11)×10^{-5} e^{-}/pix/day, corresponding to (39.8±3.1) e^{-}/gram/day. This is an order-of-magnitude improvement compared to the previous lowest single-electron rate in a silicon detector and the lowest for any photon detector in the wavelength range between near-infrared and ultraviolet. We use these data to obtain a 90% confidence level upper bound of 1.53×10^{-5} e^{-}/pix/day and to set constraints on sub-GeV dark matter candidates that produce single-electron events. We hypothesize that the data taken at SNOLAB in the previous run, with an older tray design for the sensors, contained a larger rate of single-electron events due to light leaks. We test this hypothesis using data from the SENSEI detector located in the MINOS cavern at Fermilab.

dark matter↗
DOE OSTI2024

Analysis of pressure test results of tube fittings for the potential application in cryo systems for helium leak rate reduction

Due to the nature of Helium, it is notoriously difficult to maintain a closed system without experiencing helium inventory loss through leakage in large tubing and piping runs. There are two standard fitting options readily available for piping and tubing assemblies, welded fittings or Swagelok ® . Welding is the best option for leak rate reduction, but more costly than Swagelok ® . A new style of fitting has come to the attention of BNL C-AD Cryo group, and a pressure test and leak rate analysis were performed to evaluate the viability of incorporating this new style fitting into current engineering design of warm helium tubing runs for the purpose of leak rate reduction.

43 PARTICLE ACCELERATORS↗
DOE OSTI2024

Development and experimental evaluation of new building air leakage measurement methods: measurement of interior air leaks and comparison to conventional methods

Building air leaks (both through exterior and interior surfaces) can have a significant impact on energy consumption, indoor air quality, fire safety, and moisture accumulation affecting structural durability. Blower door testing has been used to measure leaks in buildings, but commonly used testing methods do not directly measure interior leaks. In this paper, new testing methods (guarded interior test and zonal multipoint pressure testing method) are presented that directly measure these interior leaks, utilizing common blower door equipment for both single and multi-point testing. Furthermore, these new methods are compared to conventional methods in terms of the information provided, limitations and time/effort needed. In addition, building leak measurement results are analyzed to reveal a) coupling between power law model values (exponent and coefficient) for an ensemble of buildings, b) the error in using single point testing when estimating low pressure leakage, and c) how building power law models vary from low to high pressure ranges.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2023

Heat Exchanger Intensification Through Powder Processing and Enhanced Design (HIPPED)

High intensity, supercritical CO 2 heat exchangers capable of operating at temperatures between 800 and 1100 ˚C and pressures greater than 80 bar are considered a critical component for high efficiency power generation and a range of next-generation industrial processes. A novel heat exchanger concept was proposed in this project. The proposed concept involved a plate-type architecture with three-dimensional fins, called twisted s-shaped fins, that capitalize on additive manufacturing. Four manufacturing processes were studied to realize the complex envisioned design: press and sinter of metallic powders, directed energy deposition, laser powder bed fusion, and a novel powder bed process involving a photoreactive polymer called SEAM (scalable expeditious additive manufacturing), that later was developed at MSU. The team was able to manufacture subscale heat exchangers using laser powder bed fusion (LPBF) and SEAM. The team settled on using SEAM as a final manufacturing approach due to its very low cost. The SEAM-manufactured heat exchanger, however, when tested under pressure, exhibited leaks and the process still requires further development beyond the timeline of the project. To support the heat exchanger design and testing, the team developed a new high temperature flow loop allowing testing under high temperature and pressure. Computational modeling of the heat exchanger was also performed for the twisted s-shaped fins and the computations were validated with experimental data. The new twisted fins resulted in enhanced heat transfer and reduced pressure drop. To further minimize pressure drop in the plate heat exchanger, the team also developed a simplified model for flow maldistribution in the manifolds, providing a new tool for designers that eliminates the need for complex CFD calculations. A technoeconomic analysis was also developed to contrast SEAM with LPBF, this tool indicated that SEAM is several times less costly and offer significant promises as a rapid low cost additive manufacturing process for metallic systems.

30 DIRECT ENERGY CONVERSION↗
DOE OSTI2025

Slow Strain Rate Testing of A537 Tank Wall Material

At Savannah River Site (SRS), High-Level Waste is stored in below-grade carbon steel tanks. This waste in part consists of sludge, salt cake, and/or supernate. Preparation of this waste for future processing involves dissolution of the salt cake layer. The salt dissolution process can create conditions that leave the carbon steel tanks susceptible to localized corrosion. The salt to be dissolved contains high concentrations of nitrate, that once released, create an environment that may be conducive to pitting corrosion and/or stress corrosion cracking (SCC) of carbon steel. The salt dissolution process also liberates interstitial liquid trapped between the salt crystals. This liquid is initially high in nitrite and hydroxide concentration. High pH and greater ratios of nitrite to nitrate act as inhibitors to minimize corrosion of carbon steel in high nitrate environments. However, as dissolution proceeds, the concentration of nitrate will increase, while the hydroxide and nitrite concentration of the interstitial liquid will deplete and become insufficient to prevent the onset of corrosion attack. Tank blending and the addition of inhibitors are used to ensure adequate concentrations of hydroxide and nitrite. However, this is not desirable during salt dissolution as it can reduce process efficiency and increase the amount of waste that needs processing. This testing program was designed to examine the risk of SCC associated with utilizing the pitting factor (PF) and nitrite/nitrate (NO 2 - /NO 3 - ) ratio limits for handling dissolved salt solutions at an elevated temperature in the carbon steel waste tanks. The previously identified limits are a PF of 1.2 and an NO 2 - /NO 3 - ratio of 0.15. The results indicate that as long as the NO 2 - /NO 3 - ratio exceeds 0.1 and the PF is above approximately 0.8, there is a discernible safety margin between the open circuit potential (OCP) and the critical cracking potential (CCP) observed during applied potential testing. However, this margin, defined by the difference between the OCP and CCP, is relatively narrow, ranging from 0.1 to 0.25 volts. This small margin raises concerns about potential shifts in OCP during waste retrieval operations, which could inadvertently increase the risk of SCC if the OCP approaches or exceeds the CCP. These results confirm that dissolved salt solutions provide a potent chemistry that, under certain conditions, makes carbon steel susceptible to SCC. The next question to consider is the influence these results have on decisions for storage and retrieval of waste from the tanks. For Type III/IIIA waste tanks, the risk of SCC remains very low. First, and most importantly, the post-weld stress relief of the tanks has reduced the residual stress near the welds. Thus, without the stress component, SCC risk is minimized. The material of construction (A537 Carbon steel) for the Type III/IIIA tanks is superior to the steel in its resistance to SCC than the steel that was utilized for the Type I, II, and IV tanks (A285 carbon steel). From a chemistry control standpoint for a Type III/IIIA tank directly involved with handling dissolved salt solutions, the PF and NO 2 - /NO 3 - ratio limits may be utilized wherein chemistry control provides an extra layer of defense against SCC. Chemistry control for a Type III/IIIA tank minimizes the risk for a tank that may receive the dissolved salt solution, particularly if that tank is a Type I, II, or IV waste tank. On the other hand, if the dissolved salt solution is handled by a Type I, II, or IV waste tank the risk of SCC is real. The potent chemistry, absence of stress relief, and inferior material result in a condition that is conducive to cracking. Efforts should be made to either avoid transferring waste that may not meet the PF and NO 2 - /NO 3 - ratio criteria to one of these tanks or if it is unavoidable, take measures to minimize the consequences of a leak. As shown by these tests, even if the PF and NO 2 - /NO 3 - ratio criteria are met, there is a risk that the tank potential may be disturbed in the positive direction and the risk of SCC increase.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2022

Software Verification Toolkit (SVT): Survey on Available Software Verification Tools and Future Direction

Writing software is difficult. However, writing complex, well tested and designed, and functionally correct software is incredibly difficult. An entire field of study is devoted to the validation and verification of software to address this problem, and in this paper we analyze the landscape of currently available third party software. We have divided our analyses into three separate subsections with regards to software validation: formal methods, static analysis, and test generation. Formal verification is the most complex method in which to validate software correctness, but also the most thorough as it truly validates the mathematical validity of the source code. Static analysis generally is relegated to abstract syntax tree traversal techniques to find errors related to faulty software such as memory leaks or stack overflow issues. Automatic test generation is similar in implementation to static analysis, but pushes a bit further in verifying the boundedness of function inputs and outputs with regards to annotated or parsed criteria. The crux of this report is to analyze and describe the software tools that implement these techniques to validate and verify software. Pros and cons related to installation, utilization, and capabilities of the frameworks are described, and reproducible examples are provided with a focus on usability. The initial survey concluded that the most interesting tools of note are Z3, Isabelle/HOL, and TLA+ with regards to formal verification; and Infer, Frama-C, and SonarQube with regards to static analysis. With these tools in mind, a final conjecture is provided that describes future avenues of utilizing these tools for developing a verification framework to assist in validating existing software at Sandia National Laboratories.

97 MATHEMATICS AND COMPUTING↗