Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “software reliability software”

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

A Numerical Tool for the Design of Enhanced Geothermal Reservoirs based on Modeling of Thermo-Hydro-Mechanical Processes and Explicit Representation of 3D Discrete Fracture Networks

This project has developed a coupled thermo-hydro-mechanical numerical modeling tool for prediction of energy production from Enhanced Geothermal Reservoirs (EGS). The tool is unique because it can explicitly represent thousands of pre-existing natural fractures. The capabilities developed in this project were built on the already existing expertise of Itasca arising from thirty years of research and development in discrete element modeling of fractured rocks. A thermal module suitable for analysis of different heat transfer mechanisms in fractured rocks percolated by fluids was developed and coupled with the already existing hydro-mechanical calculation in 3DEC, a commercial software for analysis of jointed rock based on the discrete element method (DEM). The heat transfer module simulates heat conduction, heat advection by moving fluid in rock fractures, and convective heat exchange at the fracture walls between the rock and the moving fluid. Techniques for spatial discretization of heat transfer in EGS-type problems were evaluated, and a boundary layer meshing approach was developed. Also, given the significant differences in time scale of physical processes involved, temporal integration schemes for coupled advection-diffusion processes and coupled thermal-hydro-mechanical processes were developed by taking advantage of both implicit and explicit time integration and also optimizing the coupling intervals. These improvements were necessary for modeling EGS reservoirs. Also, the DFN capacities in 3DEC were extended to include a larger number of fractures. Research was carried out on approaches to simplify the DFN so that the model can meet computational demands, while preserving thermo-hydro-mechanical characteristics of the DFN. The developed modules were coupled with the already existing capabilities of 3DEC. The results were presented as a submitted conference paper (Riahi et al., 2018a). A series of benchmark and test examples showed the developed capabilities. Finally, the developed tool was tested for a large-scale reservoir model for longer periods of injection and production. The thermal draw-down curves were generated and presented. The project successfully met all the milestones laid out in the proposal. Results demonstrated the feasibility of developing a fast and reliable software for the EGS community to use for assessment and prediction of reservoir performance. Some of its applications include assessment of stimulated volume and produced temperature and power. It can also be used for improved engineering, design and optimization of EGS reservoirs as well as other unconventional resources such as shale gas. Finally, the 3D analysis presented in this study showed that simulating EGS reservoirs with tens of thousands of fractures is feasible, and confirmed that the developed tool can serve toward meeting the goals and objectives of Geothermal Technologies Office in overcoming technical barriers associated with commercial EGS development.

15 GEOTHERMAL ENERGY↗

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↗

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↗

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↗

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↗

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↗

SAPHIRE 8 Basics An Introduction to Probabilistic Risk Assessment via the Systems Analysis Program for Hands-On Integrated Reliability Evaluations (SAPHIRE) Software P-201

The SAPHIRE Basics course material is intended to both (1) provide guidance for learning SAPHIRE during the Basics class and (2) become a stand-alone reference document after finishing the class. Thus, the format for the class material is a combination of the traditional “overhead-type” of presentation information with a structured, reference-type document.

97 MATHEMATICS AND COMPUTING↗

Advanced SAPHIRE 8 Modeling Methods for Probabilistic Risk Assessment via the Systems Analysis Program for Hands-On Integrated Reliability Evaluations (SAPHIRE) Software P-202

1.1. Overview of the Advanced SAPHIRE Material The Advanced SAPHIRE course material is intended to both (1) provide guidance for learning advanced SAPHIRE features during the class and (2) become a stand-alone reference document after finishing the class. Thus, the format for the class material is a combination of the traditional “overhead-type” of presentation information with a structured, reference-type document. Major topics that are covered in the Advanced SAPHIRE class include: Advanced data base concepts such as Model Type (e.g., random, seismic, fire, flood). Definition of house events and how they are used on a sequence-by-sequence basis to manipulate individual fault tree logic using sequence flag sets or fault tree flag sets. ? Basic event templates, compound basic event equation editors, and human error worksheets. A rule-based event tree top event substitution feature (called the Link Event Tree Rule Editor) which allows for top event substitutions. A rule-based cut set post-processing feature (called the Recovery Rules) which allows cut set manipulation. Cut set analysis based upon rule-based end state categories (called End State Analysis). Cut set generation options for both fault trees and event tree sequences. The large event tree methodology and how SAPHIRE can be used to generate sequence cut sets for this method. The transfer of data between SAPHIRE data bases and between other PRA codes (MAR-D).

97 MATHEMATICS AND COMPUTING↗

Comparative Assessment of Experimental Testing of Instrument with an Embedded Digital Device Using Model-Based and Conventional Methods

The use of digital equipment has not been widespread in U.S. nuclear facilities. A major contributing factor to this situation arises from regulatory concerns about common cause failures (CCFs) stemming from the use of identical software in redundant systems, questions as to how to quantify the reliability of software-based products, validity of tools that are used for software verification and validation (V&V), and the effectiveness of software QA procedures. Compounding the concerns are sporadic incidents of digital equipment malfunctions in nuclear power plants, including lockups resulting from software memory leaks, feedwater control malfunctions due to excessive traffic on Ethernet networks, software logic errors, and other problems leading to plant trips. Additionally, the limited amount of demonstrated research and a lack of industry consensus on quantitative software reliability methodologies has hindered the widespread adoption of digital I&C in the nuclear industry. In a recent Regulatory Issue Summary (RIS), the U.S. Nuclear Regulatory Commission (NRC) identified concerns about the impact of greater use of instrumentation and control (I&C) equipment with an embedded digital device (EDD) [1]. Specifically, the NRC staff states that increased use of such devices “may increase a facility’s vulnerability to a CCF” (i.e., common-cause failure). The prevailing NRC guidance regarding software CCF (SCCF) identifies two design attributes that are acceptable for eliminating CCF concerns: (1) diversity or (2) testability (specifically, 100% testability). Either solution can result in high costs and remaining licensing uncertainty (i.e., how much diversity is enough? how to ensure test coverage of every possible sequence of device states?). Consequently, many utilities and reactor designers have limited or avoided more extensive use of digital technology to minimize licensing, scheduling, and financial risk. Without development of cost effective qualification methods to satisfy regulatory requirements and address the potential for CCF vulnerability associated with EDDs, the nuclear power industry may not be able to realize the benefits of digital technology achieved by other industries. In order to address these challenges, the U.S. Department of Energy (DOE) is sponsoring this research to assess the prospect of CCF in digital I&C equipment. The purpose of the current research is to develop an effective approach employing science-based methods to resolve concerns about CCF vulnerability that serve to inhibit deployment of advanced instrumentation (e.g., sensors, actuators, microcontrollers) with EDDs in nuclear power applications. The research objectives address the challenge of establishing high levels of safety and reliability assurance needed for the qualification of EDDs (e.g., microprocessors, programmable logic devices) that are subject to software design faults, complex failure modes, and CCF vulnerability. Specific objectives are: (1) assess the regulatory context for treatment of CCF vulnerability a graded approach to their qualification, (3) develop and extend model-based testing methods to enable effective demonstration of whether devices are subject to CCF, which may arise from vulnerabilities introduced at any stage of the design lifecycle, (4) establish a cost-effective testing framework that incorporates automation and test scenario prioritization, and (5) demonstrate the qualification approach through selection and testing of candidate digital device(s). This report documents an assessment of the results from experimental testing of a representative instrument with an embedded digital device. The experiment serves as a proof-of-concept demonstration of a model-based testing (MBT) framework. The objective of MBT is to ensure that an EDD undergoes suitably comprehensive testing to establish that it is not subject to SCCF. The approach by which MBT accomplishes this objective is through development and application of an effective test suite that provides the appropriate coverage to detect the full range of postulated faults that may arise at the requirements, design, and code (implementation) level of the EDD software. The findings of the experiment involve the application of the MBT framework by Ohio State University (OSU) through testing of the selected demonstration instrument (i.e., the prototype smart pressure sensor developed by Virginia Commonwealth University, VCU). In addition, the experiment findings also involve application of a more conventional black-box testing approach that serves as a baseline against which the MBT methodology can be compared. The primary outcome documented in this report is the comparative analysis of the capabilities demonstrated for each method. The results of the analysis demonstrate clear benefits that arise from the MBT methodology. The comparison indicates greater effectiveness from the more comprehensive evidence available through MBT and enhanced efficiency achieved through automation within the MBT framework. The structure of the report addresses the approach and application of each test method as well as the comparative analysis of the experimental results. Chapter 2 gives a summary overview of the demonstration approach. Chapter 3 covers the baseline testing and Chapter 4 documents the model-based testing. Chapter 5 describes the findings of the comparative analysis and presents the conclusions that can be drawn about the effectiveness and efficiency of the MBT methodology.

47 OTHER INSTRUMENTATION↗

A software environment for effective reliability management for pulsed power design

The reliable design of magnetically insulated transmission lines (MITLs) for very high current pulsed power machines must be accomplished in the future by utilizing a variety of sophisticated modeling tools. The complexity of the models required is high and the number of sub-models and approximations large. The potential for significant analyst error using a single tool is large, with possible reliability issues associated with the plasma modeling tools themselves or the chosen approach by the analyst to solve a given problem. Here, we report on a software infrastructure design that provides a workable framework for building self-consistent models and constraining feedback to limit analyst error. The framework and associated tools aid the development of physical intuition, the development of increasingly sophisticated models, and the comparison of performance results. The work lays the computational foundation for designing state-of-the-art pulsed-power experiments. The design and useful features of this environment are described. We discuss the utility of the Git source code management system and a GitLab interface for use in project management that extends beyond software development tasks.

42 ENGINEERING↗

A Survey of Techniques for Modeling and Improving Reliability of Computing Systems

Recent trends of aggressive technology scaling have greatly exacerbated the occurrences and impact of faults in computing systems. This has made `reliability' a first-order design constraint. To address the challenges of reliability, several techniques have been proposed. In this study, we provide a survey of architectural techniques for improving resilience of computing systems. We especially focus on techniques proposed for microarchitectural components, such as processor registers, functional units, cache and main memory etc. In addition, we discuss techniques proposed for non-volatile memory, GPUs and 3D-stacked processors. To underscore the similarities and differences of the techniques, we classify them based on their key characteristics. We also review the metrics proposed to quantify vulnerability of processor structures. Finally, we believe that this survey will help researchers, system-architects and processor designers in gaining insights into the techniques for improving reliability of computing systems.

3D-stacked processors↗

Final Technical Report on Quantifying Dependability Attributes of Software Based Safety Critical Instrumentation and Control Systems in Nuclear Power Plants

With the current transition from analog to digital instrumentation and control systems in nuclear power plants, the number and variety of software-based systems have significantly increased. The sophisticated nature and increasing complexity of software raises trust in these systems as a significant challenge. The trust placed in a software system is typically termed software dependability. Software dependability analysis faces uncommon challenges since software systems’ characteristics differ from those of hardware systems. The lack of systematic science-based methods for quantifying the dependability attributes in software-based instrumentation as well as control systems in safety critical applications has proved itself to be a significant inhibitor to the expanded use of modern digital technology in the nuclear industry. Dependability refers to the ability of a system to deliver a service that can be trusted. Dependability is commonly considered as a general concept that encompasses different attributes, e.g., reliability, safety, security, availability and maintainability. Dependability research has progressed significantly over the last few decades. For example, various assessment models and/or design approaches have been proposed for software reliability, software availability and software maintainability. Advances have also been made to integrate multiple dependability attributes, e.g., integrating security with other dependability attributes, measuring availability and maintainability, modeling reliability and availability, quantifying reliability and security, exploring the dependencies between security and safety and developing integrated analysis models. However, there is still a lack of understanding of the dependencies between various dependability attributes as a whole and of how such dependencies are formed. To address the need for quantification and give a more objective basis to the review process -- therefore reducing regulatory uncertainty -- measures and methods are needed to assess dependability attributes early on, as well as throughout the life-cycle process of software development. In this research, extensive expert opinion elicitation is used to identify the measures and methods for assessing software dependability. Semi-structured questionnaires were designed to elicit expert knowledge. A new notation system, Causal Mechanism Graphing, was developed to extract and represent such knowledge. The Causal Mechanism Graphs were merged, thus, obtaining the consensus knowledge shared by the domain experts. In this report, we focus on how software contributes to dependability. However, software dependability is not discussed separately from the context of systems or socio-technical systems. Specifically, this report focuses on software dependability, reliability, safety, security, availability, and maintainability. Our research was conducted in the sequence of stages found below. Each stage is further examined in its corresponding chapter. Stage 1 (Chapter 2): Elicitation of causal maps describing the dependencies between dependability attributes. These causal maps were constructed using expert opinion elicitation. This chapter describes the expert opinion elicitation process, the questionnaire design, the causal map construction method and the causal maps obtained. Stage 2 (Chapter 3): Elicitation of the causal map describing the occurrence of the event of interest for each dependability attribute. The causal mechanisms for the “event of interest” were extracted for each of the software dependability attributes. The “event of interest” for a dependability attribute is generally considered to be the “attribute failure”, e.g. security failure. The extraction was based on the analysis of expert elicitation results obtained in Stage 1. Stage 3 (Chapter 4): Identification of relevant measurements. Measures for the “events of interest” and their causal mechanisms were obtained from expert opinion elicitation for each of the software dependability attributes. The measures extracted are presented in this chapter. Stage 4 (Chapter 5): Assessment of the coverage of the causal maps via measures. Coverage was assessed to determine whether the measures obtained were sufficient to quantify software dependability, and what measures are further required. Stage 5 (Chapter 6): Identification of “missing” measures and measurement approaches for concepts not covered. New measures, for concepts that had not been covered sufficiently as determined in Stage 4, were identified using supplementary expert opinion elicitation as well as literature reviews. Stage 6 (Chapter 7): Building of a detailed quantification model based on the causal maps and measurements obtained. Ability to derive such a quantification model shows that the causal models and measurements derived from the previous stages (Stage 1 to Stage 5) can form the technical basis for developing dependability quantification models. Scope restrictions have led us to prioritize this demonstration effort. The demonstration was focused on a critical system, i.e. the reactor protection system. For this system, a ranking of the software dependability attributes by nuclear stakeholders was developed. As expected for this application, the stakeholder ranking identified safety as the most critical attribute to be quantified. A safety quantification model limited to the requirements phase of development was built. Two case studies were conducted for verification. A preliminary control gate for software safety for the requirements stage was proposed and applied to the first case study. The control gate allows a cost effective selection of the duration of the requirements phase.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

FORCE Regression Testing

Via programs including the Light Water Reactor Sustainability and Integrated Energy Systems, the U.S. Department of Energy has invested in the Framework for Optimization of ResourCes and Economics (FORCE) software framework (Idaho National Laboratory 2024a) for the technical and economic analysis of nuclear-integrated energy systems (IES). Nuclear IES expand the use of nuclear from traditional baseload electricity generation to a flexible and adaptive source of combined heat and power. Nuclear heat can be used in the production of a variety of energy currencies such as hydrogen and ammonia as well as other heat applications including water desalination and district heating. FORCE is designed with the intent to provide interconnected analysis tools that enable the accurate technical and economic assessment of specific nuclear IES configurations for individual energy markets. FORCE consists of three main analysis pathways: HYBRID (Idaho National Laboratory 2024b), which contains high-resolution physical models for IES; Holistic Energy Resource Optimization Network (HERON) (Idaho National Laboratory 2024c), which analyzes IES long-term economic viability; and Optimization of Real-time Capacity Allocation (ORCA) (Idaho National Laboratory 2024d), designed for real-time control of IES via digital twins and optimal decision making, including autonomous and remote operation research. Development of the FORCE ecosystem is guided by three pillars: capability, which assures that the computational requirements of IES analysis are met by the software tools; reliability, which provides for consistent code performance and expected behaviors; and accessibility, which lowers the barrier to entry for using the software and accelerates analysis by users beyond the FORCE primary developers. Reliability of the FORCE ecosystem is established according to the American Nuclear Society?s Nuclear Quality Assurance (NQA-1) program [American Society of Mechanical Engineers 1982], with specific levels of software quality assurance (SQA) within NQA-1 applied to each software tool in FORCE. As the tools within FORCE have matured, some integration algorithms to accurately connect the software tools for holistic analysis have been developed and deployed within the FORCE software repository. In accordance with NQA-1 standards, regression tests are required to guarantee the software performs consistently even when new capabilities are added to the software. In this report, we document the deployment of both unit tests, which test the consistent behavior of small pieces of the FORCE code base, as well as integration tests, which test the consistent performance of full use cases for the FORCE integration algorithms. We further document the encapsulation of these tests within a test harness, which collectively checks for each successful test completion on demand. Finally, we document the automation of the test harness using GitHub Actions [GitHub 2024], which require all tests succeed before any new capability or other changes can be added to the FORCE integration software

97 MATHEMATICS AND COMPUTING↗

A product data network to enable faster, easier, and better planning of building envelopes

The building envelopes contributes significantly to the energy-efficiency of the building. Building performance simulation has made it possible to compare façade technologies regarding energy demand, daylighting, thermal and visual comfort in detail. Planners, such as architects and engineers, need experience to find product data with the right quality and level of detail, and to process the data to fit the calculation and the application. In the available time, planners can compare only a limited number of products, which means that better solutions could go unnoticed. This paper presents a new concept for making product data easily accessible for building façade planning. The concept consists of a network of databases for the efficient exchange and use of optical and calorimetric data of glazing units, shading devices, and combinations of both. The paper presents the research questions, an analysis of the current challenges, six design goals for the product data network and its implementation together with a discussion. Many product data sources can be connected to many planning software applications via the specified application programming interface. When planning software connects to the product data network, the planning of building envelopes can be much faster because planners do not need to spend so much time to search and process product data manually. The planning of building envelopes can also become much easier, especially for planners with limited experience. They do not need to understand all the details about which data fits which calculation if the software company implements this. The planning of building envelopes can become much more reliable when software companies validate their use of the product data network, because the current manual process is prone to errors. The planning of building envelopes can also improve because more products can be compared in the available time, allowing better solutions to be found.

Maurer, Christoph↗

UQpy v4.1: Uncertainty quantification with Python

This paper presents the latest improvements introduced in Version 4 of the UQpy, Uncertainty Quantification with Python, library. In the latest version, the code was restructured to conform with the latest Python coding conventions, refactored to simplify previous tightly coupled features, and improve its extensibility and modularity. To improve the robustness of UQpy, software engineering best practices were adopted. A new software development workflow significantly improved collaboration between team members, and continuous integration and automated testing ensured the robustness and reliability of software performance. Continuous deployment of UQpy allowed its automated packaging and distribution in system agnostic format via multiple channels, while a Docker image enables the use of the toolbox regardless of operating system limitations.

97 MATHEMATICS AND COMPUTING↗

Using benchmarks for radiation testing of microprocessors and FPGAs

Performance benchmarks have been used over the years to compare different systems. These benchmarks can be useful for researchers trying to determine how changes to the technology, architecture, or compiler affect the system's performance. No such standard exists for systems deployed into high radiation environments, making it difficult to assess whether changes in the fabrication process, circuitry, architecture, or software affect reliability or radiation sensitivity. In this paper, we propose a benchmark suite for high-reliability systems that is designed for field-programmable gate arrays and microprocessors. As a result, we describe the development process and report neutron test data for the hardware and software benchmarks.

97 MATHEMATICS AND COMPUTING↗

Investigation of the Use of Dynamic Probabilistic Risk Assessment Methodologies for Identifying Digital I&C System Common Cause Failures

Digital Instrumentation and Control (I&C) systems have a key role in nuclear power plants in the upgrade of aging analog systems. Digital systems improve plant safety and reliability through features such as increased hardware reliability and stability and improved failure detection capability. There is no consensus on which of the current probabilistic risk assessment methods are most suitable for use in the reliability analysis of digital I&C systems. While the traditional event-tree/fault-tree (ET/FT) approach is still used for their reliability modeling, there are concerns regarding this approach in properly accounting for dynamic interactions among system components since potentially significant dependencies among failure events may not be identified and/or their likelihood may not be properly quantified. Dynamic methodologies are expected to provide a much more accurate representation of probabilistic evolution of the I&C systems in time due to their capability to more properly account for complex interactions than the static approach. The applicability of dynamic PRA methodologies for digital I&C system is investigated using the criteria presented in the NUREG/CR-6901, and the comparisons made in NUREG/CR-6901 are updated in light of the latest studies. The Dynamic Event Tree (DET) approach has been identified as one of the top dynamic methods when evaluated against the requirements for the reliability modeling of digital I&C systems. The DET method is a strong candidate for integration into existing PRA studies, as it bears many similarities to the traditional ET approach. In this study, the DET approach has been applied to the Plant Protection System of the APR1400 design, and the results are compared to results from its available traditional ET/FT analysis. Possible approaches to evaluate and quantify the effects of common cause failures on system safety using dynamic methods are also examined.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Towards understanding the formation of internal fragments generated by collisionally activated dissociation for top-down mass spectrometry

Top-down mass spectrometry (TD-MS) generates fragment ions that returns information on the polypeptide amino acid sequence. In addition to terminal fragments, internal fragments that result from multiple cleavage events can also be formed. Traditionally, internal fragments are largely ignored due to a lack of available software to reliably assign them, mainly caused by a poor understanding of their formation mechanism. To accurately assign internal fragments, their formation process needs to be better understood. Here we applied a statistical method to compare fragmentation patterns of internal and terminal fragments of peptides and proteins generated by collisionally activated dissociation (CAD). Internal fragments share similar fragmentation propensities with terminal fragments (e.g., enhanced cleavages N-terminal to proline and C-terminal to acidic residues), suggesting that their formation follows conventional CAD pathways. Internal fragments should be generated by subsequent cleavages of terminal fragments and their formation can be explained by the well-known mobile proton model. Additionally, internal fragments can be coupled with terminal fragments to form complementary product ions that span the entire protein sequence. These enhance our understanding of internal fragment formation and can help improve sequencing algorithms to accurately assign internal fragments, which will ultimately lead to more efficient and comprehensive TD-MS analysis of proteins and proteoforms.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗