SEARCH · Search NASA

Results for “Digital Faults”

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.

SourceResearch connectionFrom yearThrough year

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

At least 163 records · Page 9

All sources NASA NTRS DOE OSTI

NASA NTRS1993

Formal verification of algorithms for critical systems

We describe our experience with formal, machine-checked verification of algorithms for critical applications, concentrating on a Byzantine fault-tolerant algorithm for synchronizing the clocks in the replicated computers of a digital flight control system. First, we explain the problems encountered in unsynchronized systems and the necessity, and criticality, of fault-tolerant synchronization. We give an overview of one such algorithm, and of the arguments for its correctness. Next, we describe a verification of the algorithm that we performed using our EHDM system for formal specification and verification. We indicate the errors we found in the published analysis of the algorithm, and other benefits that we derived from the verification. Based on our experience, we derive some key requirements for a formal specification and verification system adequate to the task of verifying algorithms of the type considered. Finally, we summarize our conclusions regarding the benefits of formal verification in this domain, and the capabilities required of verification systems in order to realize those benefits.

Rushby, John M.↗

NASA NTRS1986

Flight test of a resident backup software system

A new fault-tolerant system software concept employing the primary digital computers as host for the backup software portion has been implemented and flight tested in the F-8 digital fly-by-wire airplane. The system was implemented in such a way that essentially no transients occurred in transferring from primary to backup software. This was accomplished without a significant increase in the complexity of the backup software. The primary digital system was frame synchronized, which provided several advantages in implementing the resident backup software system. Since the time of the flight tests, two other flight vehicle programs have made a commitment to incorporate resident backup software similar in nature to the system described in this paper.

Deets, D. A.↗

NASA NTRS1987

Flight test of a resident backup software system

Deets, Dwain A.↗

DOE OSTI2024

Digital Twin Enabling Technologies for Online Condition Monitoring of Nuclear Power Plant Components

Online condition monitoring is an area of active research that may enable improved scheduling, maintenance, and safety of nuclear power plant components, reducing unnecessary derate while simultaneously improving operational capacity. Digital twins are one avenue to conduct online condition monitoring and are currently being explored by national laboratories and universities alike. Digital twins for online condition monitoring are, in essence, state concurrent models that emulate a physical process which predicts a parameter and compares it against a measured value. However, digital twins may also provide additional insights by combining and interpreting various sources of information. These insights may be used for preventative maintenance scheduling optimization or early fault detection and are projected to be valuable for meeting requirements under 10 CFR 50.55a. However, digital twin technologies are still under significant development; quantifying model uncertainties, improving unique fault identification, and multimodal sensor fusion are some areas under investigation. Therefore, in this work, we discuss and review the various enabling technologies, in the form of advanced sensors, instrumentation, and modelling methods, that may be used to implement and enhance digital twins for online condition monitoring. A potential use case for pump-motors is presented to demonstrate how these various pieces of enabling digital twin technologies may integrated together for online condition monitoring. Challenges and opportunities associated with the pump-motor digital twin enabling technologies are also identified and discussed.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2024

Digital-Twin-Enabling Technologies for Online Condition Monitoring of Nuclear Power Plant Components

Online condition monitoring is an area of active research that may enable improved scheduling, maintenance, and safety of nuclear power plant components, reducing unnecessary derates while simultaneously improving operational capacity. Digital twins are one avenue to conduct online condition monitoring and are currently being explored by national laboratories and universities alike. Digital twins for online condition monitoring are, in essence, state concurrent models that emulate a physical process which predicts a parameter and compares it against a measured value. However, digital twins may also provide additional insights by combining and interpreting various sources of information. These insights may be used for preventative maintenance scheduling optimization or early fault detection and are projected to be valuable for meeting requirements under 10 CFR 50.55a. However, digital twin technologies are still under significant development; quantifying model uncertainties, improving unique fault identification, and multimodal sensor fusion are some areas under investigation. Therefore, in this work, we discuss and review the various enabling technologies, in the form of advanced sensors, instrumentation, and modelling methods, that may be used to implement and enhance digital twins for online condition monitoring. A potential use case for pump-motors is presented to demonstrate how these various pieces of enabling digital twin technologies may integrated together for online condition monitoring. Challenges and opportunities associated with the pump-motor digital twin enabling technologies are also identified and discussed.

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2025

A Digital Twin for an Inverter-Based Resource Power Plant: Real-time data streaming unlocks situation awareness

Here, this study presents the development and successful implementation of a digital twin specifically designed for a grid-connected IBR power plant. By integrating a reduced-order model of the IBR system and dynamically updating the grid impedance with real-time data, the digital twin effectively captures and replicates the behavior of the physical system. Its accuracy and reliability are validated through critical test scenarios, including a three-phase fault and a line-tripping event. The results confirm that the digital twin closely emulates its physical counterpart, demonstrating its strong potential for real-time analysis, system monitoring, and predictive decision making in modern power systems.

Digital twins↗

NASA NTRS1985

SSME digital control design characteristics

To protect against a latent programming error (software fault) existing in an untried branch combination that would render the space shuttle out of control in a critical flight phase, the Backup Flight System (BFS) was chartered to provide a safety alternative. The BFS is designed to operate in critical flight phases (ascent and descent) by monitoring the activities of the space shuttle flight subsystems that are under control of the primary flight software (PFS) (e.g., navigation, crew interface, propulsion), then, upon manual command by the flightcrew, to assume control of the space shuttle and deliver it to a noncritical flight condition (safe orbit or touchdown). The problems associated with the selection of the PFS/BFS system architecture, the internal BFS architecture, the fault tolerant software mechanisms, and the long term BFS utility are discussed.

Mitchell, W. T.↗

NASA NTRS1987

Source parameters for 11 earthquakes in the Tien Shan, central Asia, determined by P and SH waveform inversion

The style and the distribution of faulting occurring today in the Tien Shan region were studied, by digitizing long-period World-Wide Standard Seismograph Network P and SH waveforms of 11 of the largest Tien Shan earthquakes between 1965 and 1982 and then using a least squares inversion routine to constrain their fault plane solutions and depths. The results of the examination indicate that north-south shortening is presently occurring in the Tien Shan, with the formation of basement uplifts flanked by moderately dipping thrust faults. The present-day tectonics of the Tien Shan seem to be analogous to those of the Rocky Mountains in Colorado, Wyoming, and Utah during the Laramide orogeny in Late Cretaceous and Early Tertiary time.

Nelson, Michael R.↗

NASA NTRS2007

Deep Space Network Antenna Logic Controller

The Antenna Logic Controller (ALC) software controls and monitors the motion control equipment of the 4,000-metric-ton structure of the Deep Space Network 70-meter antenna. This program coordinates the control of 42 hydraulic pumps, while monitoring several interlocks for personnel and equipment safety. Remote operation of the ALC runs via the Antenna Monitor & Control (AMC) computer, which orchestrates the tracking functions of the entire antenna. This software provides a graphical user interface for local control, monitoring, and identification of faults as well as, at a high level, providing for the digital control of the axis brakes so that the servo of the AMC may control the motion of the antenna. Specific functions of the ALC also include routines for startup in cold weather, controlled shutdown for both normal and fault situations, and pump switching on failure. The increased monitoring, the ability to trend key performance characteristics, the improved fault detection and recovery, the centralization of all control at a single panel, and the simplification of the user interface have all reduced the required workforce to run 70-meter antennas. The ALC also increases the antenna availability by reducing the time required to start up the antenna, to diagnose faults, and by providing additional insight into the performance of key parameters that aid in preventive maintenance to avoid key element failure. The ALC User Display (AUD) is a graphical user interface with hierarchical display structure, which provides high-level status information to the operation of the ALC, as well as detailed information for virtually all aspects of the ALC via drill-down displays. The operational status of an item, be it a function or assembly, is shown in the higher-level display. By pressing the item on the display screen, a new screen opens to show more detail of the function/assembly. Navigation tools and the map button allow immediate access to all screens.

Ahlstrom, Harlow↗

DOE OSTI2020

Machine Learning Based Cavity Fault Classification and Prediction

We report on the development of machine learning models for classifying C100 superconducting radio frequency (SRF) cavity faults in the Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab. CEBAF is a continuous-wave recirculating linac utilizing 418 SRF cavities to accelerate electrons up to 12 GeV through 5-passes. Of these, 96 cavities (12 cryomodules) are designed with a digital low-level RF system configured such that a cavity fault triggers waveform recordings of 17 RF signals for each of the eight cavities in the cryomodule. Subject matter experts (SME) can analyze the collected time-series data, identify which of the eight cavities faulted first, and classify the type of fault. This information is used to find trends and strategically deploy mitigations to problematic cryomodules. However, manually labeling the data is laborious and time-consuming. By leveraging machine learning, near real-time – rather than post-mortem – identification of the offending cavity and classification of the fault type has been implemented. We discuss the performance of the ML models during a recent physics run.

43 PARTICLE ACCELERATORS↗

NASA NTRS2015

Fault-Tolerant Software-Defined Radio on Manycore

Software-defined radio (SDR) platforms generally rely on field-programmable gate arrays (FPGAs) and digital signal processors (DSPs), but such architectures require significant software development. In addition, application demands for radiation mitigation and fault tolerance exacerbate programming challenges. MaXentric Technologies, LLC, has developed a manycore-based SDR technology that provides 100 times the throughput of conventional radiationhardened general purpose processors. Manycore systems (30-100 cores and beyond) have the potential to provide high processing performance at error rates that are equivalent to current space-deployed uniprocessor systems. MaXentric's innovation is a highly flexible radio, providing over-the-air reconfiguration; adaptability; and uninterrupted, real-time, multimode operation. The technology is also compliant with NASA's Space Telecommunications Radio System (STRS) architecture. In addition to its many uses within NASA communications, the SDR can also serve as a highly programmable research-stage prototyping device for new waveforms and other communications technologies. It can also support noncommunication codes on its multicore processor, collocated with the communications workload-reducing the size, weight, and power of the overall system by aggregating processing jobs to a single board computer.

Ricketts, Scott↗

NASA NTRS1987

The Fringe Reading Facility at the Max-Planck-Institut fuer Stroemungsforschung

A Mach-Zehnder interferometer is used for optical flow measurements in a transonic wind tunnel. Holographic interferograms are reconstructed by illumination with a He-Ne-laser and viewed by a video camera through wide angle optics. This setup was used for investigating industrial double exposure holograms of truck tires in order to develop methods of automatic recognition of certain manufacturing faults. Automatic input is achieved by a transient recorder digitizing the output of a TV camera and transferring the digitized data to a PDP11-34. Interest centered around sequences of interferograms showing the interaction of vortices with a profile and subsequent emission of sound generated by this process. The objective is the extraction of quantitative data which relates to the emission of noise.

Becker, F.↗

NASA NTRS2001

A Step Response Based Mixed-Signal BIST Approach for Continuous-time Linear Circuits

A new Mixed-Signal Built-in self-test approach that is based upon the step response of a reconfigurable (or multifunction) analog block is presented in this paper. The technique requires the overlapping step response of the Circuit Under Test (CUT) for two circuit configurations. Each configuration can be realized by changing the topology of the CUT or by sampling two CUT nodes with differing step responses. The technique can effectively detect both soft and hard faults and does not require an analog-to-digital converter (ADC) and/or digital-to-analog converter(DAC). It also does not require any precision voltage sources or comparators. This approach does not require any additional analog circuits to realize the test signal generator and sample circuits. The paper is concluded with the application of the proposed approach to a circuit found in the work of Epstein et al and two ITC 97 analog benchmark circuits.

Walker, Alvernon↗

NASA NTRS2001

A Step Response Based Mixed-Signal BIST Approach

A new Mixed-Signal Built-in Self-test approach that is based upon the step response of a reconfigurable (or multifunction) analog block is presented in this paper. The technique requires the overlapping step response of the Circuit Under Test (CUT) for two circuit configurations. Each configuration can be realized by changing the topology of the CUT or by sampling two CUT nodes with differing step responses. The technique can effectively detect both soft and hard faults and does not require an analog-to-digital converter (ADC) and/or digital-to-analog converter( DAC). It also does not require any precision voltage sources or comparators. The approach does not require any additional analog circuits to realize the test signal generator and a two input analog multiplexer for CUT test node sampling. The paper is concluded with the application of the proposed approach to a circuit found in the work of Epstein et a1 and two ITC 97 analog benchmark circuits.

Walker, Alvernon↗

DOE OSTI2026

Digitizing Today’s Buildings in the Real World: Lessons from Field Demonstrations

Digital twins, created by generating a virtual replica of a building, enable safe evaluation of operational scenarios and applications like fault detection and diagnosis and advanced controls. However, a prerequisite is the creation of a machine-readable digital representation of a building, currently hindered by fragmented information scattered across mechanical drawings, point lists, and natural language sequences. As a result, digital twin development remains labor-intensive, error-prone, and difficult to validate. To address these challenges, two efforts from ASHRAE aim to support the digitalization of buildings. ASHRAE s223 establishes a semantic model of buildings, representing system components, configuration, and data sources. ASHRAE s231 defines a vendor-neutral programming language for expressing their control logic. As the industry evaluates implementing them in their products, understanding the challenges that vendors and implementers may face is crucial. In this paper, we present findings and lessons learned from field demonstrations in five buildings that implemented control applications using ASHRAE s223 and s231. The demonstrations highlight how semantic modeling and formalized control descriptions can significantly reduce software development time, manual point mapping, and hard-coding. Beyond time efficiency, they enable reliable automation by minimizing human interpretation and providing a means for consistency across projects. We describe the processes and best practices for model creation and model usage, from translating heterogeneous building documentation into semantic representations to implementing control logic in real-world systems. Finally, we discuss the challenges that persist, including integration with legacy software environments, gaps in interoperability, and the level of expertise still required to effectively leverage semantic models.

Prakash, Anand Krishnan↗

NASA NTRS1988

Structural geology and regional tectonics of the Mineral County area, Nevada, using Shuttle Imaging Radar-B and digital aeromagnetic data

SIR-B and aeromagnetic lineaments show a correlation with known faults within the Walker Lane of the western Basin and Range Province. Walker Lane faults can be extended based on SIR-B data and unmapped Walker Lane features are identified. South of the Pancake Range lineament, Walker Lane faults are seldom recognized but SIR-B data have the potential for delineating structural features in this area. Earthquake hypocenter distribution in profiles across a SIR-B lineament is consistent with that expected from a vertical fault. Field examination indicates that the lineament is an unmapped neotectonic Walker Lane feature.

Borengasser, Marcus X.↗

NASA NTRS1991

Fault tolerant sequential circuits using sequence invariant state machines

The idea of introducing redundancy to improve the reliability of digital systems originates from papers published in the 1950's. Since then, redundancy has been recognized as a realistic means for constructing reliable systems. A method using redundancy to reconfigure the Sequency Invariant State Machine (SISM) to achieve fault tolerance is introduced. This new architecture is most useful in space applications, where recovery rather than replacement of faulty modules is the only means of maintenance.

Alahmad, M.↗

NASA NTRS2006

Modular, Intelligent Power Systems for Space Exploration

NASA's new Space Exploration Initiative demands that vehicles, habitats, and rovers achieve unprecedented levels of reliability, safety, effectiveness, and affordability. Modular and intelligent electrical power systems are critical to achieving those goals. Modular electrical power systems naturally increase reliability and safety through built-in fault tolerance. These modular systems also enable standardization across a multitude of systems, thereby greatly increasing affordability of the programs. Various technologies being developed to support this new paradigm for space power systems will be presented. Examples include the use of digital control in power electronics to enable better performance and advanced modularity functions such as distributed, master-less control and series input power conversion. Also, digital control and robust communication enables new levels of power system control, stability, fault detection, and health management. Summary results from recent development efforts are presented along with expected future technology development needs required to support NASA's ambitious space exploration goals.

Button, Robert↗