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 1,549 records · Page 86

Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL

The clean energy transformation includes the integration of distributed energy resources with the power grid, which has led to a substantial increase in the complexity of power grids infrastructure and the underlying operational technology environment. Power grids infrastructure represents an operational technology environment that has become a system of systems, integrating heterogeneous devices which are both software-and hardware-intensive; as a result, there are increasing demands to exploit advances in the commodity of software-hardware infrastructures to improve energy systems requirements such as cybersecurity and resilience. In such a setting, system requirements at different levels mix, which leads to vulnerabilities and undesirable outcomes. The use of formal methods to characterize and prove system requirements removes ambiguity, increases automation, and provides high levels of assurance and reliability. In this paper, we contribute a methodology and a framework for the system-level verification of zero trust architecture requirements in operational technology environments. We define a formal specification for the core functionalities of operational technology environments, the corresponding invariants, and security proofs. Of particular note is our modular approach for the formal verification of asynchronous interactions in operational technology environments. The formal specification and the proofs have been mechanized using the interactive theorem proving environment Isabelle/HOL.

formal methods↗

Simulation and characterization of a laterally-driven inertial micro-switch

A laterally-driven inertial micro-switch was designed and fabricated using surface micromachining technology. The dynamic response process was simulated by ANSYS software, which revealed the vibration process of movable electrode when the proof mass is shocked by acceleration in sensitive direction. The test results of fabricated inertial micro-switches with and without anti-shock beams indicated that the contact process of micro-switch with anti-shock beams is more reliable than the one without anti-shock beams. The test results indicated that three contact signals had been observed in the contact process of the inertial switch without anti-shock beams, and only one contact signal in the inertial switch with anti-shock beams, which demonstrated that the anti-shock beams can effectively constrain the vibration in non-sensitive direction.

36 MATERIALS SCIENCE↗

Diffraction properties of cylindrically bent KAP crystals in energy range of 2.3–7.5 keV using synchrotron radiation

Verification of physics models and computer simulations are heavily reliant upon the accuracy of experimental measurements. Calibration of instrument responses becomes an important step to achieve this goal. This paper presents systematic studies of bent potassium acid phthalate (KAP) crystals using Lawrence Berkeley National Laboratories, Advanced Light Source, beamline 9.3.1 in the energy range of 2.3 to 7.5 keV. A set of KAP crystals, gradually bent from flat up to a 50.8 mm cylindrical curvature. The measured integrated reflectivity for this set of KAP crystals shows good agreement with the X-ray Oriented Program (XOP) calculations when adjusting the Debye–Waller temperature factor and using the multilamellar model in the calculations. Significant differences in rocking curve profiles were observed between experimental measurements and theory. A forward convolution model and software code were developed to include experimental parameters, allowing the investigation of the difference between measurements and calculations. After considering the experimental parameters, good agreements were obtained for the rocking curve profiles for all bending radii with a unique set of parameters. Our results show that XOP can be a useful and reliable tool to predict performance of cylindrically bent KAP crystals in this energy range.

Wu, Ming↗

Power Converter Control Algorithm Design and Simulation for the NREL Next-Generation Drivetrain: July 8, 2013 - January 7, 2016

The National Renewable Energy Laboratory (NREL) and NREL Next-Generation Drivetrain Partners are developing a next-generation drivetrain (NGD) design as part of a Funding Opportunity Announcement award from the U.S. Department of Energy. The proposed NGD includes comprehensive innovations to the gearbox, generator, and power converter that increase the gearbox reliability and drivetrain capacity, while lowering deployment and operation and maintenance costs. A key task within this development effort is the power converter fault control algorithm design and associated computer simulations using an integrated electromechanical model of the drivetrain. The results of this task will be used in generating the embedded control software to be utilized in the power converter during testing of the NGD in the National Wind Technology Center 2.5-MW dynamometer. A list of issues to be addressed with these algorithms was developed by review of the grid interconnection requirements of various North American transmission system operators, and those requirements that presented the greatest impact to the wind turbine drivetrain design were then selected for mitigation via power converter control algorithms.

17 WIND ENERGY↗

The Penn State Doppler network progress report

The software and hardware implementation for the Penn State University network were discussed. Delayed delivery of radio frequency equipment and signal processing components resulted in modification of the original timetables. It was determined that the best approach for implementing the second very high frequency (VHF) would be when the VHF radar was in reliable and unattended operation. A short summary of the specifications for the three radars is presented.

Williams, S. R.↗

The Single Event Effect Characteristics of the 486-DX4 Microprocessor

This research describes the development of an experimental radiation testing environment to investigate the single event effect (SEE) susceptibility of the 486-DX4 microprocessor. SEE effects are caused by radiation particles that disrupt the logic state of an operating semiconductor, and include single event upsets (SEU) and single event latchup (SEL). The relevance of this work can be applied directly to digital devices that are used in spaceflight computer systems. The 486-DX4 is a powerful commercial microprocessor that is currently under consideration for use in several spaceflight systems. As part of its selection process, it must be rigorously tested to determine its overall reliability in the space environment, including its radiation susceptibility. The goal of this research is to experimentally test and characterize the single event effects of the 486-DX4 microprocessor using a cyclotron facility as the fault-injection source. The test philosophy is to focus on the "operational susceptibility," by executing real software and monitoring for errors while the device is under irradiation. This research encompasses both experimental and analytical techniques, and yields a characterization of the 486-DX4's behavior for different operating modes. Additionally, the test methodology can accommodate a wide range of digital devices, such as microprocessors, microcontrollers, ASICS, and memory modules, for future testing. The goals were achieved by testing with three heavy-ion species to provide different linear energy transfer rates, and a total of six microprocessor parts were tested from two different vendors. A consistent set of error modes were identified that indicate the manner in which the errors were detected in the processor. The upset cross-section curves were calculated for each error mode, and the SEU threshold and saturation levels were identified for each processor. Results show a distinct difference in the upset rate for different configurations of the on-chip cache, as well as proving that one vendor is superior to the other in terms of latchup susceptibility. Results from this testing were also used to provide a mean-time-between-failure estimate of the 486-DX4 operating in the radiation environment for the International Space Station.

Kouba, Coy↗

Micromechanics of Spray-On Foam Insulation

Understanding the thermo-mechanical response of the Space Shuttle External Tank spray-on foam insulation (SOFI) material is critical, to NASA's Return to Flight effort. This closed-cell rigid polymeric foam is used to insulate the metallic Space Shuttle External Tank, which is at cryogenic temperatures immediately prior to and during lift off. The shedding of the SOFI during ascent led to the loss of the Columbia, and eliminating/minimizing foam lass from the tank has become a priority for NASA as it seeks to resume scheduled space shuttle missions. Determining the nature of the SOFI material behavior in response to both thermal and mechanical loading plays an important role as any structural modeling of the shedding phenomenon k predicated on knowledge of the constitutive behavior of the foam. In this paper, the SOFI material has been analyzed using the High-Fidelity Generalized Method of Cells (HFGMC) micromechanics model, which has recently been extended to admit a triply-periodic 3-D repeating unit cell (RUC). Additional theoretical extensions that mere made in order to enable modeling of the closed-cell-foam material include the ability to represent internal boundaries within the RUC (to simulated internal pores) and the ability to impose an internal pressure within the simulated pores. This latter extension is crucial as two sources contribute to significant internal pressure changes within the SOFI pores. First, gas trapped in the pores during the spray process will expand or contract due to temperature changes. Second, the pore pressure will increase due to outgassing of water and other species present in the foam skeleton polymer material. With HFGMC's new pore pressure modeling capabilities, a nonlinear pressure change within the simulated pore can be imposed that accounts for both of these sources, in addition to stmdar&-thermal and mechanical loading; The triply-periodic HFGMC micromechanics model described above was implemented within NASA GRC's MAC/GMC software package, giving the model access to a range of nonlinear constitutive models for the polymeric foam skeleton material. A repeating unit cell architecture was constructed that, while relatively simple, still accounts for the geometric anisotropy of the porous foam microstructure and its thin walls and thicker edges. With the lack of reliable polymeric foam skeleton materia1 properties, many simulations were executed aimed at backing out these material properties. Then, using these properties, predictions of the thermo-mechanical behavior of the foam, including calculated internal applied pressure profiles, were performed and compared with appropriate experimental data.

Bednarcyk, Brett A.↗

Compact, Reliable EEPROM Controller

A compact, reliable controller for an electrically erasable, programmable read-only memory (EEPROM) has been developed specifically for a space-flight application. The design may be adaptable to other applications in which there are requirements for reliability in general and, in particular, for prevention of inadvertent writing of data in EEPROM cells. Inadvertent writes pose risks of loss of reliability in the original space-flight application and could pose such risks in other applications. Prior EEPROM controllers are large and complex and do not provide all reasonable protections (in many cases, few or no protections) against inadvertent writes. In contrast, the present controller provides several layers of protection against inadvertent writes. The controller also incorporates a write-time monitor, enabling determination of trends in the performance of an EEPROM through all phases of testing. The controller has been designed as an integral subsystem of a system that includes not only the controller and the controlled EEPROM aboard a spacecraft but also computers in a ground control station, relatively simple onboard support circuitry, and an onboard communication subsystem that utilizes the MIL-STD-1553B protocol. (MIL-STD-1553B is a military standard that encompasses a method of communication and electrical-interface requirements for digital electronic subsystems connected to a data bus. MIL-STD- 1553B is commonly used in defense and space applications.) The intent was to both maximize reliability while minimizing the size and complexity of onboard circuitry. In operation, control of the EEPROM is effected via the ground computers, the MIL-STD-1553B communication subsystem, and the onboard support circuitry, all of which, in combination, provide the multiple layers of protection against inadvertent writes. There is no controller software, unlike in many prior EEPROM controllers; software can be a major contributor to unreliability, particularly in fault situations such as the loss of power or brownouts. Protection is also provided by a powermonitoring circuit.

Katz, Richard↗

NASA Tech Briefs, July 2004

Topics: Optoelectronic Sensor System for Guidance in Docking; Hybrid Piezoelectric/Fiber-Optic Sensor Sheets; Multisensor Arrays for Greater Reliability and Accuracy; Integrated-Optic Oxygen Sensors; Ka-Band Autonomous Formation Flying Sensor; CMOS VLSI Active-Pixel Sensor for Tracking; Lightweight, Self-Deploying Foam Antenna Structures; Electrically Small Microstrip Quarter-Wave Monopole Antennas; A 2-to-28-MHz Phase-Locked Loop; Portable Electromyograph; Open-Source Software for Modeling of Nanoelectronic Devices; Software for Generating Strip Maps from SAR Data; Calibration Software for use with Jurassicprok; Software for Probabilistic Risk Reduction; Software Processes SAR Motion-Measurement Data; Improved Method of Purifying Carbon Nanotubes; Patterned Growth of Carbon Nanotubes or Nanofibers; Lightweight, Rack-Mountable Composite Cold Plate/Shelves; SiC-Based Miniature High-Temperature Cantilever Anemometer; Inlet Housing for a Partial-Admission Turbine; Lightweight Thermoformed Structural Components and Optics; Growing High-Quality InAs Quantum Dots for Infrared Lasers; Selected Papers on Protoplanetary Disks; Module for Oxygenating Water without Generating Bubbles; Coastal Research Imaging Spectrometer; Rapid Switching and Modulation by use of Coupled VCSELs; Laser-Induced-Fluorescence Photogrammetry and Videogrammetry; Laboratory Apparatus Generates Dual-Species Cold Atomic Beam; Laser Ablation of Materials for Propulsion of Spacecraft; Small Active Radiation Monitor; Hybrid Image-Plane/Stereo Manipulation; Partitioning a Gridded Rectangle into Smaller Rectangles; Digital Radar-Signal Processors Implemented in FPGAs; Part 1 of a Computational Study of a Drop-Laden Mixing Layer; and Some Improvements in Signal-Conditioning Circuits.

Source record↗

Bootstrapping Multi-Agent Unmanned Aerial Vehicle (UAV) System Integration Using Ground-Based Assets: Lessons Learned

In support of the Autonomy Teaming and TRAjectories for Complex Trusted Operational Reliability (ATTRACTOR) project, a fleet of unmanned ground vehicles (UGVs) was developed as a test and evaluation (T\&E) platform to reduce system integration gaps between simulation and live flight hardware. While simulation and hardware-in-the-loop bench testing provide adequate environments for preliminary validation, differences in system deployment architecture, software interfaces, and hardware infrastructure increase the risks to safety, property, and the project. Given ATTRACTOR’s goal of establishing a basis of certification of trust and trustworthiness in multi-agent autonomous systems, bridging these gaps was critical to successful project execution and feasibility assessment. In this paper we present the UGV fleet and its role in speeding up system integration, smoothing the transition from simulation to flight, and providing researchers an easy-to-use hardware test bed. An overview of the hardware and software on-board the vehicles is provided along with supporting infrastructure. The system integration process is documented including results in supporting both the overarching design reference mission (DRM) of ATTRACTOR and individual research efforts conducted since the creation of the fleet. Finally, we discuss the practical lessons learned regarding the testing, deployment, and operation of multi-agent autonomous systems.

Matthew P. Vaughan↗

Future of Work with Robotics - 18599

The DOE Environmental Management mission continues with remaining tasks that are high-hazards to human workers and high-consequences to the nation, resulting in potentially high risks to project costs and schedules. This is the mission pull. At the same time, robotic technologies are hitting a turning point with increased productivity and reliability within society, supporting a technology push. Enabling this push are better computer processing following Moore's Law, breakthroughs in biometric and learning algorithms,and riding a wave of venture funding for intended commercialization of mechatronic and Internet of Thing (IOT) projects. There has been overall improvements in material technologies, algorithms, and software standardization with tools/libraries such as the Robot Operating System (ROS). The internet has made knowledge ubiquitous and the cell phone sector has pushed the boundaries of systems-on-chip technology. This current growth is a race between large global technology companies, and between countries that understand that there is a prize with increased commerce based on being a leader in the field of robotics and automation. This technological advances have placed this technology solidly within the next 4. Industrial Revolution being tracked by the World Economic Council. Policies and law can slow this progression down, but technological changes in adjacent fields will put additional pressure on human workers by being more economical and in saving lives. A fundamental issue is will this change be gradual or disruptive such as with the forecasted singularity. There is also a realization with automation that the transition of human workers to other fields may be temporary, but in the long run, workers may run out of viable work and long-term occupations. The obvious future of human jobs are most assured by those who can embrace the change through the design, development, installment, and maintenance of the technology. Younger workers can be re-educated while older humans can be re-trained. The goal of this paper is to explore all the forces that are enabling this revolution, investigating its many impacts, and speculating on the future of human jobs during nuclear remediation. Automation has made an impact to the manufacturing sector, and has since expanded to the retail and services sectors. The question is will this same automation transition, including robotics and artificial intelligence, occur to the environmental management and cleanup sector, and how should we prepare ourselves for this change. (author)

42 ENGINEERING↗

Best effort broadcast under cascading failures in interdependent critical infrastructure networks

Here, we present a novel study of reliable broadcast in interdependent networks, in which the failures in one network may cascade to another network. In particular, we focus on the interdependency between a communication network and a power grid network, where the power grid depends on the communication network for control and the communication network depends on the grid for power. In this paper, we propose a best effort broadcast algorithm to handle crash failures in the communication network that may cause cascading failures. We guarantee that all the correct nodes, which operate correctly according to the protocol and do not experience any software or hardware or network failures, eventually deliver the message if the sender is correct. We provide a centralized algorithm and a fully distributed algorithm for nodes to analyze and handle cascading failures. At the core of our work is the fully distributed algorithm which enjoys great performance and scalability. Our evaluation results show that the algorithm handles cascading failures with low overhead.

97 MATHEMATICS AND COMPUTING↗

High-Performance First-Principles Molecular Dynamics for Predictive Theory and Modeling

This project focused on developing high-performance software tools for First-Principles Molecular Dynamics (FPMD) simulations, and applying them in investigations of materials relevant to energy conversion processes. FPMD is an atomistic simulation method that combines a quantum-mechanical description of electronic structure with the statistical description provided by molecular dynamics (MD) simulations. This reliance on fundamental principles allows FPMD simulations to provide a consistent description of structural, dynamical and electronic properties of a material. This is particularly useful in systems for which reliable empirical models are lacking. FPMD simulations are increasingly used as a predictive tool for applications such as batteries, solar energy conversion, light-emitting devices, electro-chemical energy conversion devices and other materials. During the course of the project, several new features were developed and added to the open-source Qbox FPMD code. The code was further optimized for scalable operation of large-scale, Leadership-Class DOE computers. When combined with Many-Body Perturbation Theory (MBPT) calculations, this infrastructure was used to investigate structural and electronic properties of liquid water, ice, aqueous solutions, nanoparticles and solid-liquid interfaces. Computing both ionic trajectories and electronic structure in a consistent manner enabled the simulation of several spectroscopic properties, such as Raman spectra, infrared spectra, and sum-frequency generation spectra. The accuracy of the approximations used allowed for direct comparisons of results with experimental data such as optical spectra, X-ray and neutron diffraction spectra. The software infrastructure developed in this project, as applied to various investigations of solids, liquids and interfaces, demonstrates that FPMD simulations can provide a detailed, atomic-scale picture of structural, vibrational and electronic properties of complex systems relevant to energy conversion devices.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Pulsar Based Timing for Grid Synchronization

Existing synchronization systems in the power grid, such as the global positioning system, are susceptible to temporary or permanent failures due to various unpredictable and uncontrollable factors such as cyber-attack and electromagnetic interferences, thus affecting the accuracy and reliability of generated timing signal. In this article, a pulsar astronomy-based timing system is proposed to provide an alternative synchronization signal. Further, this clock will offer significant security improvements to power grid applications, such as a wide-area monitoring system, which depends on a precise timing signal. The hardware and software frameworks are described in detail. First, a high-speed sampling hardware platform is designed to collect signals from radio telescopes. Then a periodic pulse extraction method with three steps is proposed to process the pulsar signal, including polyphase filterbanks, incoherent de-dispersion, and sliding window folding. Lastly, three experiments are conducted to verify the effectiveness of the frameworks. The generated pulsar timing pulse is presented, and the factors affecting its accuracy are also discussed. The analysis results demonstrate that the pulsar signals can provide high-accurate timing pulses for grid synchronization.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Evaluation of an in vitro three-dimensional HepaRG spheroid model for genotoxicity testing using the high-throughput CometChip platform

Three-dimensional (3D) culture systems are increasingly being used for genotoxicity studies due to improved cell-to-cell interactions and tissue-like structures that are limited or lacking in 2D cultures. The present study optimized a 3D culture system using metabolically competent HepaRG cells for in vitro genotoxicity testing. 3D HepaRG spheroids, formed in 96- or 384-well ultra-low attachment plates, were exposed to various concentrations of 34 test articles, including 8 direct-acting and 11 indirect-acting genotoxicants/carcinogens as well as 15 compounds that show different genotoxic responses in vitro and in vivo. DNA damage was evaluated using the high-throughput CometChip assay with concurrent cytotoxicity assessment by the ATP assay in both 2D and 3D cultures. 3D HepaRG spheroids maintained a stable phenotype for up to 30 days with higher levels of albumin secretion, cytochrome P450 gene expression, and enzyme activities compared to 2D cultures. 3D spheroids also demonstrated a higher sensitivity than 2D cultures for detecting both direct- and indirect-acting genotoxicants/carcinogens, indicating a better prediction of in vivo genotoxicity responses. When DNA damage dose-response data were quantified using PROAST software, 3D spheroids generally had lower or similar benchmark dose values compared to 2D HepaRG cells and were more comparable with primary human hepatocytes. These results demonstrate that 3D models can be adapted to the CometChip technology for high-throughput genotoxicity testing and that 3D HepaRG spheroids may be used as a reliable and pragmatic in vitro approach to better support the hazard identification and risk assessment of potential human genotoxic carcinogens.

60 APPLIED LIFE SCIENCES↗

Validating the Melusine Gamma Spectroscopy Tool

This technical report describes testing to evaluate the gamma spectroscopy tool, Melusine, under development by Pacific Northwest National Laboratory. The goal was to verify that the software can successfully be used to provide accurate results and statistical uncertainties for the detection of isotopes of interest and their activities. Of special interest were spectra similar to those produced by radionuclide stations that contribute to the Comprehensive Nuclear Test Ban Treaty Organization’s International Monitoring System. Two data sets were used to test Melusine’s capabilities. The first was the result of a multi-lab calibration effort based on neutron activations produced at the University of California at Davis. The second was taken from the Proficiency Test Exercises conducted by the CTBTO directly in 2005. In 37 of 42 cases, Melusine produced results in agreement with the best answer presently available, in most cases with calculated uncertainties comparable to or better than competing analyses. In fact, Melusine technically provided one more result than CTBTO’s PTE analyses that agreed with the “book answer” (Monte Carlo simulation). Despite these promising results, the Melusine software is still under development. Effort is especially needed to simplify its analysis process, improve stability, and provide user documentation. Some significant analysis tasks require further vetting, such as those to address summing effects. However, our test results indicate that Melusine’s calculations as presently implemented are sound and can be used to reliably analyze spectra from the CTBTO’s radionuclide stations.

CTBTO↗

Multi-Physics Simulations of Heat Pipe Micro Reactor

System Analysis Module (SAM) is under development at Argonne National Laboratory as a modern system-level modeling and simulation tool for advanced non-light water reactor safety analyses. It utilizes the object-oriented application framework MOOSE to leverage the modern software environment and advanced numerical methods. The capabilities of SAM are being extended to enable the transient modeling, analysis, and design of various advanced nuclear reactor systems. This report presents the development of new capabilities for modeling the heat pipe type reactor systems. The need for power at remote locations away from a reliable electrical grid is an important niche for nuclear energy. Heat pipe-cooled fast-spectrum nuclear reactors are well suited for these applications. The key feature of the heat pipe reactors is the use of heat pipes for heat removal from the reactor core. The heat pipe makes use of the phase change of the working fluid and transports a large amount of heat from the evaporator to the condensation end with very small temperature drops. In contrast to the traditional nuclear reactor system that makes use of pumped loop for extracting the thermal power, the heat pipe reactors make use of hundreds of heat pipes for removing the thermal power (including the decay heat) passively. This could potentially significantly improve the reliability and safety of the reactor systems. The essential part in the analysis of a heat pipe type reactor is the modeling of heat transport inside the heat pipe. The capability of SAM was extended to enable the modeling of the conventional heat pipe. The full suite of non-LWR codes for confirmatory analysis at NRC is known as the Comprehensive Reactor Analysis Bundle (CRAB). It makes use of existing NRC codes, and integrates them with several codes developed through the DOE-NE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. In this report, the heat pipe micro reactor is simulated using three submodules under CRAB. The MAMMOTH module is used to simulate the reactor kinetics behavior of the micro reactor; the SAM module is used to simulate the heat conduction in the reactor core and heat removal through the heat pipe heat exchangers and Reactor Cavity Cooling System (RCCS); and the MOOSE Tensor Mechanics module is used to simulate the thermal expansion of the reactor cores. The different sub-models are coupled together using MOOSE’s MultiApp system and executed using the BlueCrab application. The new capability has been demonstrated by a steady-state operation analysis, a failure of a single central heat pipe transient analysis, and a loss of heat sink transient analysis. The fully coupled model is shown to work well.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

NDE research efforts at the FAA Center for Aviation Systems Reliability

The Center for Aviation Systems Reliability (FAA-CASR), a part of the Institute for Physical Research and Technology at Iowa State University, began operation in the Fall of 1990 with funding from the FAA. The mission of the FAA-CASR is to develop quantitative nondestructive evaluation (NDE) methods for aircraft structures and materials including prototype instrumentation, software, techniques, and procedures and to develop and maintain comprehensive education and training programs in aviation specific inspection procedures and practices. To accomplish this mission, FAA-CASR brings together resources from universities, government, and industry to develop a comprehensive approach to problems specific to the aviation industry. The problem areas are targeted by the FAA, aviation manufacturers, the airline industry and other members of the aviation business community. This consortium approach ensures that the focus of the efforts is on relevant problems and also facilitates effective transfer of the results to industry.

Aging Aircraft↗