- Radiation Effects in Electronics
- VLSI and Analog Circuit Testing
- Graphite, nuclear technology, radiation studies
- Nuclear Physics and Applications
- Radiation Detection and Scintillator Technologies
- Integrated Circuits and Semiconductor Failure Analysis
- Parallel Computing and Optimization Techniques
- Low-power high-performance VLSI design
- Distributed systems and fault tolerance
- Embedded Systems Design Techniques
- Semiconductor materials and devices
- Nuclear and radioactivity studies
- Radiation Therapy and Dosimetry
- Software Reliability and Analysis Research
- Physical Unclonable Functions (PUFs) and Hardware Security
- Advancements in Semiconductor Devices and Circuit Design
- Nuclear Materials and Properties
- Planetary Science and Exploration
- Spacecraft Design and Technology
- Astro and Planetary Science
- Distributed and Parallel Computing Systems
- VLSI and FPGA Design Techniques
- Interconnection Networks and Systems
- Radioactive contamination and transfer
- Oceanographic and Atmospheric Processes
United States Air Force Research Laboratory
2024-2025
Los Alamos National Laboratory
2015-2024
Wright-Patterson Air Force Base
2024
Maryland Geological Survey
2020-2023
United States Geological Survey
2020-2023
Sandia National Laboratories
2022
Ball (France)
2013-2014
National Superconducting Cyclotron Laboratory
2014
Michigan State University
2014
National Research Nuclear University MEPhI
2014
Abstract The Scanning Habitable Environments with Raman and Luminescence for Organics Chemicals (SHERLOC) is a robotic arm-mounted instrument on NASA’s Perseverance rover. SHERLOC has two primary boresights. Spectroscopy boresight generates spatially resolved chemical maps using fluorescence spectroscopy coupled to microscopic images (10.1 μm/pixel). second Wide Angle Topographic Sensor Operations eNgineering (WATSON); copy of the Mars Science Laboratory (MSL) Hand Lens Imager (MAHLI) that...
This paper provides a methodology for estimating the proton and heavy ion static saturation cross-sections multi-bit upsets (MBUs) in Xilinx field-programmable gate arrays describes determining MBUs' effects on triple-modular redundancy protected circuits. Experimental results are provided.
This paper investigates the viability of deploying SRAM-based FPGAs into harsh Earth-orbit environments. A reliability model is presented for estimating MTTF SRAM FPGA designs in specific orbits and orbit conditions. The requires orbit- condition-specific SEU rates design-specific estimates probability failure during a single scrubbing period. Probability are reported several from both fault-injection accelerator experiments. also includes method composite mean time to (MTTF) that...
This paper discusses the limitations of single-FPGA triple-modular redundancy in presence multiple-bit upsets on Xilinx Virtex-II devices. presents results from both fault injection and accelerated testing. From this study we have found that configurable logic block's routing network is vulnerable to domain crossing errors, or TMR defeats, by even 2-bit upsets.
Performance benchmarks have been used over the years to compare different systems. These can be useful for researchers trying determine how changes technology, architecture, or compiler affect system's performance. No such standard exists systems deployed into high radiation environments, making it difficult assess whether in fabrication process, circuitry, software reliability sensitivity. In this paper, we propose a benchmark suite high-reliability that is designed field-programmable gate...
As of 2013, the gold standard for assessing radiation-hardness assurance (RHA) a system, subsystem, or component is accelerated radiation testing and/or pulsed laser testing. Fault injection tools, which include both fault simulation and emulation have become more common in last 15 years. tools use analytical methods RHA, whereas uses hardware methods. Both allow designers to augment traditional RHA techniques determine whether circuit designs, microarchitectures, components,...
Many space programs depend on cutting-edge technology to increase computational power without increasing the or weight of payload. For these types programs, component testing is necessary ensure that components do not fail while deployed. Radiation for advanced can be challenging since underlying architecture and organization might complex. This paper will cover a review best practices total ionizing dose single-event effect from recent years.
Extracting information about MCUs from SEU data sets can be a challenge without physical layout information. Many modern static-random access memory (SRAM) components interleave cells to improve the robustness of error-correcting codes (ECC) that detect and correct errors in array. Bit interleaving has also become popular with other large SRAM arrays, including field-programmable gate arrays (FPGAs). In this paper, we present technique for extracting statistically radiation test data....
This paper presents proton and heavy ion static results for the latest Xilinx field-programmable gate arrays (FPGAs). The analyzes bit cross-sections, resources, multiple-bit upsets (MBUs) angular effects.
ARMs and microcontrollers are low-cost, low-power microprocessors that frequently used in embedded computing. While not immune to the naturally occurring radiation environment space, these can be worthwhile replacements for space-grade non-mission-critical computational tasks. In this paper results from testing several available presented.
Field-programmable gate arrays (FPGAs) are co-processing hardware used in image and signal processing. FPGA programmed with custom implementations of an algorithm. These algorithms highly parallel designs that faster than software implementations. This flexibility speed has made FPGAs attractive for many space programs need situ, high-speed processing data categorization compression. Most commercial affected by the radiation environment, though. Problems TID restricted use flash-based FPGAs....
We present an in-depth analysis of transient faults effects on HPC applications in Intel Xeon Phi processors based radiation experiments and high-level fault injection. Besides measuring the realistic error rates Phi, we quantify Silent Data Corruption (SDCs) by correlating distribution corrupted elements output to application's characteristics. evaluate benefits imprecise computing for reducing programs' rate. For example, HotSpot a 0.5% tolerance value reduces rate 85%.
Graphics processing units (GPUs) are increasingly common in both safety-critical and high-performance computing (HPC) applications. Some current supercomputers composed of thousands GPUs so the probability device corruption becomes very high. Moreover, GPU's parallel capabilities attractive for automotive aerospace markets, where reliability is a serious concern. In this paper, neutron sensitivity modern GPU caches, internal resources experimentally evaluated. Various Duplication With...
Problems with terrestrial-based neutron radiation from cosmic rays have become more commonplace. While the incident rate is lower than space-based radiation, physics, system design and locations combined to make systems increasingly vulnerable terrestrial radiation. FPGA are particularly sensitive as FPGAs, microprocessors memory all upsets. We interested in reconfigurable supercomputers, which need be highly reliable available despite being very In this paper, we estimate error for memory,...
Journal Article The Use of Microparticulates in Gel Permeation Chromatography Get access Richard V. Vivilecchia, Vivilecchia Research and Development, Waters Associates Inc., Milford, Massachusetts 01757 Search for other works by this author on: Oxford Academic PubMed Google Scholar Brian G. Lightbody, Lightbody Norma Z. Thimot, Thimot Hubert M. Quinn Chromatographic Science, Volume 15, Issue 9, September 1977, Pages 424–433, https://doi.org/10.1093/chromsci/15.9.424 Published: 01 1977
Commercial off-the-shelf microcontrollers can be useful for noncritical processing on spaceborne platforms. These microprocessors inexpensive and consume small amounts of power. However, the software running these processors is vulnerable to radiation upsets. In this paper, we present a fully automated, configurable, software-based tool increase reliability in high-radiation environments. This consists set open-source LLVM compiler passes automatically implement mitigation techniques. We...
We are rapidly approaching an inflection point where the conventional target of producing perfect, identical transistors that operate without upset can no longer be maintained while continuing to reduce energy per operation. With power requirements already limiting chip performance, demand upset-free would mean end scaling benefits. The big challenges in device variability and reliability driven by uncommon tails distributions, infrequent upsets, one-size-fits-all technology requirements, a...
Using reconjigurable.static random-access memory (SRAM) based jield-programmable gate arrays (FPGAs) for space-based computation has been an very active area of resea rch the past decade.Since these devices are commercially-available.radiation-tolerant devices.the device must be qualified spacecraft usage.Furthermore.mission requirements often dictate need to do radiation experiments on FPGA user circuit.Because both circuit and circuit's state stored in radiation-tolerant memory.both could...
Microprocessor-based systems are a common design for high-performance computing (HPC) platforms. In these systems, several thousands of microprocessors can participate in single calculation that may take weeks or months to complete. When used this manner, fault any the could cause computation crash silent data corruption (SDC), i.e., computationally incorrect results originate from an undetected fault. recent years, neutron-induced effects HPC hardware have been observed, and researchers...
Software-based techniques offer several advantages to increase the reliability of processor-based systems at very low cost, but they cause performance degradation and an code size. To meet constraints in memory, we propose SETA, a new control-flow software-only technique that uses assertions detect errors affecting program flow. SETA is independent technique, it was conceived work together with previously proposed data-flow aim reducing memory overheads. Thus, combined such submitted fault...
Over the past 15 years many organizations have researched use of Static-Random Access Memory (SRAM)-based Field-Programmable Gate Arrays (FPGAs) in space. Although components can provide a performance improvement over radiation-hardened processing components, random soft errors occur from naturally occurring space radiation environment. Many been developing methods for characterizing, emulating, and simulating radiation-induced events; mitigating removing computational errors; designing...
Commercially available microprocessors could be useful to the space community for noncritical computations. There are many possible components that smaller, lower-power, and less expensive than traditional radiation-hardened microprocessors. Many commercial have issues with single-event effects (SEEs), such as upsets (SEUs) transients (SETs), can cause microprocessor calculate an incorrect result or crash. In this paper we present Trikaya technique masking SEUs SETs through software...
Radiation effects such as soft errors are the major threat to reliability of SRAM-based FPGAs. This work analyzes effectiveness in correcting a novel scrubbing technique using internal frame redundancy called Frame-level Redundancy Scrubbing (FLR-scrubbing). correction can be implemented coarse grain TMR design. The FLR-scrubbing was on mid-size Xilinx Virtex-5 FPGA device used case study. tested under neutron radiation and fault injection. Implementation results demonstrated minimum area...