A Modular Approach to Trusted System Design for Arms Control Treaty Verification.
Abstract not provided.
Polack, John Kyle↗
SEARCH · Search NASA
Results for “system verification”
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.
Implementation Plan for Combined Heat and Power Systems VOLTTRON Controller: Performance Monitoring and Real-Time Commissioning Algorithm Verification
Building-integrated cooling, heating, and power (CHP) systems are more efficient than conventional systems at providing local power and thermal energy, and favorable fuel prices are bound to spur their increased adoption. However, to realize the full benefit of the CHP systems, we must ensure persistence of energy efficient operations. Much of the inefficiency in the current building operations can be eliminated by use of automated performance monitoring (PM), real-time commissioning verification (CxV) and automated fault detection and diagnostic (AFDD) tools. Automation can help system operators make intelligent decisions. Remote and continuous monitoring of system conditions and performance will enable better management and integration of CHP with existing building systems. Continuous PM, real-time CxV, and AFDD could alleviate burdens for operations staff, enhance operations and maintenance (O&M), and improve reliability of building and CHP systems. To address the O&M challenges and to provide a means to maximize the rate-of-return of building-integrated CHP systems, the Building Technologies Office (BTO) within the U.S. Department of Energy’s (DOE’s) Office of Energy Efficiency and Renewable Energy (EERE) initiated a project to design, develop, and field test a VOLTTRON™-based supervisory controller and associated open-source algorithms. These algorithms will ensure real-time optimal operation of a building-integrated CHP system, support electric grid reliability, and lead to achieving the goal of clean, efficient, reliable, and affordable next-generation integrated energy system. Previous report listed the components for which PM, real-time CxV, and AFDD algorithms will be developed, how the algorithms will be tested, and the metrics that will be used to validate the algorithms and their ease of deployment. Deployment of these algorithms in the field will result in a reduction in energy consumption of between 10% and 20% (for both CHP and conventional building systems). This report builds upon the previous report by detailing the process by which PNNL will implement performance monitoring and real-time commissioning algorithms for CHP systems in conjunction with the use of the VOLTTRON CHP economic dispatch agent in host facilities.
32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
Optimizing a detection system for fissile material in nuclear disarmament verification
In arms control treaties, verification plays a crucial role in detecting non-compliance, deterring future violations, and building trust between state parties. Neutron interrogation that induces fission reactions in fissile isotopes and measures the resulting fission neutrons, could be employed for this purpose. This study aims to develop a system which can determine the presence of fissile material while intrinsically protecting information. In this paper, we focus on optimizing the system for discriminating between an enriched uranium block from a depleted uranium (DU) block. The system was built and we report on benchmark measurements with DU and 16% enriched uranium blocks. Furthermore, the Excalibur (Experiment for Calibration with Uranium) neutron source, a neutron spectrometer (redBubble Technology Industries (BTI) N-Probe), and superheated droplet detectors were used for these measurements. MCNP simulations provided insights into detector responses to fissile materials with varying isotopic compositions, confirming that the system functioned as designed.
Active neutron interrogation↗
Progress of Tripwire: Multi-Modal Distributed Sensing for Repository Verification
This project is developing and demonstrating a multi-modal sensor system, TRIPWIRE, for containment verification in inaccessible radiological and nuclear waste repositories. The TRIPWIRE system will continuously monitor ionizing radiation and electromagnetic fields in the vicinity of emplaced nuclear materials buried in a repository, reporting on disturbances with a real-time alarm control station. The system will use long-length scintillating fiber bundles (SFBs) to perform area radiation monitoring; these will be coupled to kilometer-scale multimodal optical communication fibers – all light sensors and electronic components used with this system will be located above ground. Electromagnetic fields, and changes in local dielectric conditions caused by intrusion and soil movement, will be monitored using commercial grade, ported "leaky" coaxial cables (PCCs), with control electronics also located above ground. This paper documents the results of the simulations and modeling efforts that have helped identify the optimal placement of the SFBs. Additionally, the paper includes the current progress on the multi-modal SFB-PCC system, including the fabrication of long-length (>3-m) fibers and their coupling to optical fibers.
98 - NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL↗
Progress of Tripwire: Multi-modal Distributed Sensing for Repository Verification
This project is developing and demonstrating a multi-modal sensor system, TRIPWIRE, for containment verification in inaccessible radiological and nuclear waste repositories. The TRIPWIRE system will continuously monitor ionizing radiation and electromagnetic fields in the vicinity of emplaced nuclear materials buried in a repository, reporting on disturbances with a real-time alarm control station. The system will use long-length scintillating fiber bundles (SFBs) to perform area radiation monitoring; these will be coupled to kilometer-scale multimodal optical communication fibers – all light sensors and electronic components used with this system will be located above ground. Electromagnetic fields, and changes in local dielectric conditions caused by intrusion and soil movement, will be monitored using commercial grade, ported "leaky" coaxial cables (PCCs), with control electronics also located above ground. This paper documents the results of the simulations and modeling efforts that have helped identify the optimal placement of the SFBs. Additionally, the paper includes the current progress on the multi-modal SFB-PCC system, including the fabrication of long-length (>3-m) fibers and their coupling to optical fibers.
98 - NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL↗
PROACTIVE FA4: Progress Update 2024
The Priority Research Objectives for Arms Control Technology Innovation, Verification, and Evaluation (PROACTIVE) venture’s overall goal is to address the technical challenges that will “enable the negotiation and implementation of future nuclear arms limitation/reduction treaties with verification at the level of individual warheads by advancing the state of the art in verification and monitoring capabilities.” One of the four focus areas of the venture, Focus Area 4 (FA4), is a system-of-systems effort to establish methodologies for the integration of monitoring and verification (M&V) technologies into verification systems that support treaty objectives.
98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
(Poster) TRIPWIRE: Multi-modal Distributed Sensing For Repository Verification
Poster submission. This project is developing and demonstrating a multi-modal sensor system, TRIPWIRE, for containment verification in inaccessible radiological and nuclear waste repositories. The TRIPWIRE system will continuously monitor ionizing radiation, electromagnetic fields and vibration in the vicinity of emplaced nuclear materials buried in a repository, reporting on disturbances with a real-time alarm control station.
98 - NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL↗
AUTOMATIC GENERATION OF EVENT TREES AND FAULT TREES: A MODEL-BASED APPROACH
In the past few decades, increasing complexity in modern engineering systems has been driven by the integration of a large number of components and by the fact that the system operations involve many disciplines (e.g., thermal-hydraulics, plant operations, cyber-security). Current safety/reliability modeling approaches to such systems are labor intensive, difficult to learn, and rely heavily on simplistic Boolean logic to depict failure propagation and accident progression. While these methods serve well for simple systems (i.e., linear causal systems with limited small inter- and intra-system interactions), their results are difficult to verify when modeling complex systems (typically performed through the extensive use of modeling assumptions). The development of new methods is addressed to meet these challenges through a model-based system engineering (MBSE) lens. Under MBSE philosophy, every aspect of the system (form or function) is represented by a model that completely characterizes its architecture or behavior. MBSE approach greatly improves the management of design, analysis and verification of complex systems. An integration of Dynamic Probabilistic Risk Assessment (DPRA) methods with MBSE models is proposed to perform safety/reliability analyses of engineering systems. In particular, MBSE representation of the system (performed using Systems Modeling Language [SysML]) is coupled with DPRA methods to automatically generate event trees and fault trees.
97 - MATHEMATICS AND COMPUTING↗
133Xe Noble Gas Mass Spectrometry Measurement for High Purity Germanium Detector Performance Verification
Idaho National Laboratory produces quality control standards for laboratories that operate xenon radionuclide monitoring systems. Activities reported with each quality control standard are quantified using high purity germanium detectors. A collection of measurement capabilities are being set up at Idaho National Laboratory to establish an in-house high purity germanium detector performance verification system, with noble gas mass spectrometry being one of these measurement capabilities. The first noble gas mass spectrometry and high purity germanium measurement comparison is presented here. A Xe-133 gas sample was prepared and the activity was quantified with high purity germanium detectors. The Xe-133 sample was diluted with a known quantity of isotopically enriched Xe-126 gas; the resulting Xe-133 : Xe-126 atom ratio was calculated to be 1.15x10-4 +/- 2% at reference time t. An aliquot of this gas sample containing approximately 10 million Xe-133 atoms was introduced into a ThermoFisher Scientific Helix MC Plus noble gas mass spectrometer for analysis. The measured Xe-133 : Xe-126 atom ratio was determined to be 1.10x10-4 +/- 2% (1-sigma uncertainty) at reference time t, about 4.3% lower than the atom ratio determined with the measured high purity germanium activity.
46 - INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AN↗
Multi-Rigor Agile Verification and Rapid Prototyping for Formally Verified Software
We propose a novel approach to developing formally verified systems through Multi-rigor Agile Verification. Multi-rigor Agile Verification is rooted in the hypothesis of Rigor Independence, that a system’s specification and verification architecture depend primarily on the system requirements to be verified, and they depend very little on the rigor level of the methods used to verify those requirements. Due to its iterative nature, Multi-rigor Agile Verification promises to mitigate many of the high upfront design costs experienced by formally verified systems and to deliver a better-architected, and thus better-trusted, system in the end. We then discuss the tooling needed to perform Multi-rigor Agile Verification and go in depth to build one of those tools, which directly generates executable prototype code from declarative formal specifications using the Maude rewrite-logic framework.
97 MATHEMATICS AND COMPUTING↗
Field Evaluation of the High Efficiency Dehumidification System (HEDS) at the Timken Museum of Art - Measurement and Verification (M&V) Results from Summer, Winter and Spring Evaluation Periods
The High Efficiency Dehumidification System (HEDS) technology from Conservant Systems Inc., installed at the Timken Museum of Art in San Diego, California, was evaluated to determine its performance relative to appropriate baseline operation. Data was collected for measurement and verification for several weeks during three evaluation periods: Summer (Aug-Sep 2023), Winter (Dec 2023-Feb 2024) and Spring (May-Jun 2024). The evaluation included operating the heating, ventilation and air conditioning (HVAC) system in both constant air volume (CAV) and variable air volume (VAV) modes, with and without the HEDS energy recovery and HVAC system optimization technology enabled. The electricity consumption of the chiller and the gas-supplied reheat energy were measured to characterize savings achieved by the HEDS operation. Based on these measurements, the HEDS was responsible for chiller electrical load savings during the summer evaluation period of 39% and 42% for the CAV and VAV operating modes, respectively; 97% and 100% chiller electrical load reductions were observed during the winter evaluation for the CAV and VAV operating modes, respectively; and the corresponding reductions during the spring evaluation were 42% and 52% for CAV and VAV operation, respectively. The measured reheat energy reductions, which are typically provided by natural gas, due to the HEDS during summer were 64% and 97% in CAV and VAV operating modes, respectively, while the corresponding values were 99% and 78% during the winter evaluation, and 59% and 56% during the spring evaluation.
32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
A secure measurement unit for an inspection system used in nuclear arms-control verification
Verification of arms control treaties may require information barriers to protect sensitive data acquired during the verification process. These information barriers are commonly implemented in software, but must store and operate on data that are vulnerable to attack and tampering. Here, we present a new Secure Measurement Unit based on a modified pipeline SAR ADC architecture. The idea is to move the information barrier back into the digitization process so that prohibited data is never created. A prototype 65nm CMOS Secure Measurement Unit (SMU) was tested using U-235, U-238, Co-60, Cs-137 and Am-241 sources. Here, the prototype accurately digitized allowable signals while being immune to side-channel attacks on signals within preset forbidden regions.
46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
Experimental Verification of An Electro-Hydraulic Actuation System Driven by An Integrated Electro-Hydraulic Unit
This paper proposes an electro-hydraulic actuator (EHA) system, and a novel-designed electro-hydraulic unit (EHU) consisting of a fixed-displacement hydraulic gear machine and a variable-speed electric machine. The novel EHU design integrates an electric machine and a hydraulic machine in a single housing, targeting optimal compactness, power density, and component reduction. The EHA system features an open circuit design, where hydraulic hoses connect the EHU with a tank, a valve manifold, and the hydraulic cylinder. In this way, the proposed EHA technology can be used to implement distributed hydraulic actuation in a vehicle without requiring changes to the hydraulic actuators or at the overall layout of the hydraulic components with respect to the original vehicle design. A dedicated test rig is developed to verify the performance of the proposed EHA system. Here, the efficiency of the EHA is measured in a steady state and under a realistic duty cycle of a commercial compact loader. The efficiency of the EHA system based on the measurements on the test rig can reach 54% with up to 20 kN load and 6 kW power level. Furthermore, the EHU is implemented on the reference machine to drive the boom function. Preliminary results on the performance of the EHU show an efficiency of up to 68% under different loading conditions.
32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
Verification of Digital Numerics for High Consequence Systems
Presentation given at FPTalks (https://fpbench.org/talks/fptalks24.html)
Pollard, Samuel Douglas↗
Numerical investigation and experimental verification of a directly-excited dynamical system with freeplay nonlinearity.
Abstract not provided.
Saunders, Brian↗
Open Radiation Monitoring: Histogram Builder Module Design
The Open Radiation Monitoring Project seeks to develop and demonstrate a modular radiation detection architecture designed specifically for use in arms control treaty verification (ACTV) applications that will facilitate rapid development of trusted systems to meet the needs of potential future treaties. A modular architecture can be used to reduce more complex systems to a series of single purpose building blocks, thereby facilitating equipment inspection and in turn building trust in the equipment by all treaty parties. Furthermore, a modular architecture can be used to control data flow within the measurement system, reducing the risk of "hidden switches" and constraining the amount of sensitive information that could potentially be inadvertently leaked. This report details the first revision of a prototype circuit that will convert analog pulses directly into a histogrammed data set for further processing. The circuit was designed with both spectroscopy and multiplicity analysis in mind but can, in principle, be used to reduce any raw data stream into a histogram. The number of output channels is limited, and the histogram bin ranges are user configurable to allow for non-uniform and discontinuous bins, which makes it possible to restrict the information being passed down stream if desired. Pulse processing relies entirely on analog circuitry and non- programmable logic, which enables operation without the need for a central processor or other programmable control unit. The circuit remains untested under the Open Radiation Monitoring project due to the closure of the sponsoring program. However, further development and testing is scheduled to take place in support of a purpose-built trusted verification system development effort known as COGNIZANT, which demonstrates the potential benefit of developing a suite of modular trusted system components.
46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
Evaluation of Real-Time Mitigation Techniques forCyber Security in IEC 61850 / IEC 62351Substations
This paper presents the design logic and implementation aspects of three potential real-time mitigation techniques capable of countering GOOSE-based attacks: (i) IEC 62351-compliant message authentication code (MAC) scheme, (ii) a semantics-enforced rule- based intrusion detection system (IDS), and (iii) a hybrid approach integrating both MAC verification and Intrusion Detection System (IDS). A comparative evaluation of these real-time mitigation approaches is conducted using a cyber-physical system(CPS) security testbed. The results show that the hybrid integration significantly enhances mitigation capability. Furthermore, the processing delays of all three methods remain within the strict delivery requirements of GOOSE communication. The study also identifies limitations that none of the techniques can fully address, highlighting areas for future work.
Liu, Chen-Ching [Virginia Polytechnic Inst. and St↗
Verification of a Modeling Toolkit for the Design of Building Electrical Distribution Systems
DC electrical distribution systems offer many potential advantages over their AC counterparts. They can facilitate easier integration with distributed energy resources, improve system energy efficiency by eliminating AC/DC converters at end-use devices (e.g., laptop chargers), and reduce installation material, time, and cost. However, DC electrical distribution systems present additional design considerations, largely resulting from potentially greater magnitude and variation in cable losses. Modeling and simulation are rarely used to design such systems. However, the greater dependency of DC system energy efficiency on design choices such as distribution voltages, architecture, and integration of PV and BESS suggests that modeling and simulation may be required. Such system performance analysis is currently not a standard practice, in part due to limited availability and validation of capable software tools. This paper characterizes the accuracy of a Modelica-based Building Electrical Efficiency Analysis Model (BEEAM) toolkit, as a precursor for validating its use to perform system performance analysis and inform design decisions. The study builds upon previous verification research by characterizing complete systems comprised of commercially available equipment, and providing a more detailed analysis of simulation results. Five lighting systems with varying electrical distribution architectures were designed using market-available equipment, installed in a laboratory environment, modeled using BEEAM, and simulated using three Modelica integrated development environments (IDEs). Simulated and measured results were compared to characterize toolkit accuracy. Initial results revealed that simulated performance was mostly within ±5% of measured system-level and device-level performance. While simulation results were not found to be dependent on the IDE, some Modelica compiler interoperability issues were identified. Although the BEEAM toolkit showed promise for the targeted use case, further work is needed to determine whether the demonstrated 5% accuracy is sufficient for making real-world design decisions, and for BEEAM to advance from an interesting research tool to one that can impact real-world building projects.
24 POWER TRANSMISSION AND DISTRIBUTION↗