Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “low memory”

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 919 records · Page 51
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Fast-Response-Time Shape-Memory-Effect Foam Actuators

Bulk shape memory alloys, such as Nitinol or CuAlZn, display strong recovery forces undergoing a phase transformation after being strained in their martensitic state. These recovery forces are used for actuation. As the phase transformation is thermally driven, the response time of the actuation can be slow, as the heat must be passively inserted or removed from the alloy. Shape memory alloy TiNi torque tubes have been investigated for at least 20 years and have demonstrated high actuation forces [3,000 in.-lb (approximately equal to 340 N-m) torques] and are very lightweight. However, they are not easy to attach to existing structures. Adhesives will fail in shear at low-torque loads and the TiNi is not weldable, so that mechanical crimp fits have been generally used. These are not reliable, especially in vibratory environments. The TiNi is also slow to heat up, as it can only be heated indirectly using heater and cooling must be done passively. This has restricted their use to on-off actuators where cycle times of approximately one minute is acceptable. Self-propagating high-temperature synthesis (SHS) has been used in the past to make porous TiNi metal foams. Shape Change Technologies has been able to train SHS derived TiNi to exhibit the shape memory effect. As it is an open-celled material, fast response times were observed when the material was heated using hot and cold fluids. A methodology was developed to make the open-celled porous TiNi foams as a tube with integrated hexagonal ends, which then becomes a torsional actuator with fast response times. Under processing developed independently, researchers were able to verify torques of 84 in.-lb (approximately equal to 9.5 Nm) using an actuator weighing 1.3 oz (approximately equal to 37 g) with very fast (less than 1/16th of a second) initial response times when hot and cold fluids were used to facilitate heat transfer. Integrated structural connections were added as part of the net shape process, eliminating the need for welding, adhesives, or mechanical crimping. Inexpensive net-shape processing was used, which reduces the cost of the actuator by over a factor of 10 over nonporous TiNi made by hot drawing of tube or electrical discharge machining. By forming the alloy as an open-celled foam, the surface area for heat transfer is dramatically increased, allowing for much faster response times. The technology also allows for netshape fabrication of the actuator, which allows for structural connections to be integrated into the actuator material, making these actuators significantly less expensive. Commercial applications include actuators for concepts such as the variable area chevron and nozzle in jet aircraft. Lightweight tube or rod components can be supplied to interested parties.

Jardine, Peter↗
NASA NTRSDate not supplied

Overview of Results from the MISSE 9-15 Polymers and Composites Experiment 1-4 (PCE 1-4)

Spacecraft in low Earth orbit (LEO) and other planetary orbits are subjected to harsh environmental conditions that can result in erosion, embrittlement and optical property degradation of susceptible materials threatening spacecraft performance and durability. To increase our understanding of space environmental effects on spacecraft materials, NASA Glenn Research Center has developed a series of experiments flown as part of the Materials International Space Station Experiment (MISSE) missions on the exterior of the International Space Station (ISS). Four Glenn experiments with 365 flight samples were flown on ISS’s MISSE-Flight Facility (MISSE-FF). These experiments are the Polymers and Composites Experiment-1 (PCE-1) flown as part of the MISSE-9 mission, the PCE-2 flown as part of the MISSE-10 mission, the PCE-3 flown as part of the MISSE-12 and MISSE-15 missions, and the PCE-4 flown as part of the MISSE-13 mission. The PCE 1-4 flight samples were flown in either ram, wake, zenith or nadir flight orientations. The primary objectives of the PCE 1-4 experiments are to determine the LEO atomic oxygen (AO) erosion yield, Ey (volume loss per incident oxygen atom) and radiation durability of spacecraft polymers, composites and coatings. In addition, each experiment has a wide variety of materials with numerous sample objectives. This presentation provides an overview of the PCE 1-4 experiments, the numerous sample collaborators, the space environmental exposure of the flight samples, and an overview of the post-flight observations and results. The results include AO fluence and contamination analyses for each mission flight orientation, erosion data for the PCE 1-4 AO Ey samples, optical property data, and tensile results for the MISSE-9 and MISSE-13 tensile samples. In addition, an introduction of results from other unique samples such as indium tin oxide (ITO) coated thermal control samples, shape memory polymer composites, melanin based composites, and specialty coatings, will be provided.

Atomic oxygen↗
DOE OSTI2021

Timely Reporting of Heavy Hitters Using External Memory

Given an input stream S of size N, a Φ-heavy hitter is an item that occurs at least ΦN times in S. The problem of finding heavy-hitters is extensively studied in the database literature. In this work, we study a real-time heavy-hitters variant in which an element must be reported shortly after we see its T = Φ N-th occurrence (and hence it becomes a heavy hitter). We call this the Timely Event Detection (TED) Problem. The TED problem models the needs of many real-world monitoring systems, which demand accurate (i.e., no false negatives) and timely reporting of all events from large, high-speed streams with a low reporting threshold (high sensitivity). Like the classic heavy-hitters problem, solving the TED problem without false-positives requires large space (Ω (N) words). Thus in-RAM heavy-hitters algorithms typically sacrifice accuracy (i.e., allow false positives), sensitivity, or timeliness (i.e., use multiple passes). We show how to adapt heavy-hitters algorithms to external memory to solve the TED problem on large high-speed streams while guaranteeing accuracy, sensitivity, and timeliness. Our data structures are limited only by I/O-bandwidth (not latency) and support a tunable tradeoff between reporting delay and I/O overhead. With a small bounded reporting delay, our algorithms incur only a logarithmic I/O overhead. We implement and validate our data structures empirically using the Firehose streaming benchmark. Multi-threaded versions of our structures can scale to process 11M observations per second before becoming CPU bound. In comparison, a naive adaptation of the standard heavy-hitters algorithm to external memory would be limited by the storage device’s random I/O throughput, i.e., ≈100K observations per second.

97 MATHEMATICS AND COMPUTING↗
NASA NTRSDate not supplied

Behavioral consequences of low dose radiation and sex differences in MCAT mouse model

Our study used 1-year old C57BL/6NJ male and female mice (astronaut-relevant age) that underwent exposure to 0.5 gray of gamma radiation and were euthanized 12 weeks after. In this study, we used an MCAT mouse model for mitochondrial ROS quenching, which overexpress human catalase. MCAT mice were shown to live longer and age better. Hence, in this study we determined whether quenching ROS in the mitochondria will mitigate the adverse effects of ionizing radiation exposure on spaceflight-relevant tissues. As part of the analysis, we have completed 5 different behavioral tests which focus on memory, physical stance, stress, anxiety, and other mission relevant behaviors. In the Neuro-score battery, performed after both 1and 8 weeks post IR we saw that all female groups had significantly higher scores compared to males. When comparing the baseline vs 8 weeks of radiation, we saw that all the male groups (including the sham) had lower neuro-score, pointing out to aging effect in addition to IR. In the female groups only the female IR group had lower neuro-score and the MCAT group was protected from this effect. In the Nestlet building test we saw similarly that only females were affected by radiation, having lower scores and this effect was mitigated in the MCAT animals as well. In the Catwalk test we saw that females were faster, had higher swing speed and stride length in all four paws. Males had higher stand, step cycle and max contact area. Aging is associated with slowing of gait speed, swing speed and shortening of stride length which we see in males, this is consistent with physical appearance where males look markedly older. In the Light-Dark Box test we saw that females were more frequently present in the light side and altered zones more frequently, pointing out to a more exploratory and less anxious pattern of behavior. Similarly, to what was detected in the Nest building and Neuro-score test, in the Barnes maze test, during the acquisition phase (learning) we saw that IR affected more the females who did not do better in the maze after 4 days. On the other hand, during the probe phase of the test (spatial memory) the females visited the target hole and the box quadrant more often, but also had more errors vs males, which points out to possible serial escape vs spatial escape strategy. Overall, we see that older females look physically better are faster and perform better almost in all behavioral tests compared to their male counterparts. On the other hand, they are more sensitive to low dose radiation in many cases, in some cases this effect was mitigated in the MCAT model pointing out to the importance of ROS in these stressors. In the near future we will focus on corelating these behavioral tests with molecular findings such as for example brain IHC, plasma and hippocampal cytokines in order to find specific biomarkers for behavioral deficits.

radiation↗
DOE OSTI2016

Engineering the switching dynamics of TiO{sub x}-based RRAM with Al doping

Titanium oxide (TiO{sub x}) has attracted a lot of attention as an active material for resistive random access memory (RRAM), due to its versatility and variety of possible crystal phases. Although existing RRAM materials have demonstrated impressive characteristics, like ultra-fast switching and high cycling endurance, this technology still encounters challenges like low yields, large variability of switching characteristics, and ultimately device failure. Electroforming has been often considered responsible for introducing irreversible damage to devices, with high switching voltages contributing to device degradation. In this paper, we have employed Al doping for tuning the resistive switching characteristics of titanium oxide RRAM. The resistive switching threshold voltages of undoped and Al-doped TiO{sub x} thin films were first assessed by conductive atomic force microscopy. The thin films were then transferred in RRAM devices and tested with voltage pulse sweeping, demonstrating that the Al-doped devices could on average form at lower potentials compared to the undoped ones and could support both analog and binary switching at potentials as low as 0.9 V. This work demonstrates a potential pathway for implementing low-power RRAM systems.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

On modeling and measuring the temperature of the z ∼ 5 intergalactic medium

The temperature of the low-density intergalactic medium (IGM) at high redshift is sensitive to the timing and nature of hydrogen and He II reionization, and can be measured from Lyman-alpha (Lyα) forest absorption spectra. Since the memory of intergalactic gas to heating during reionization gradually fades, measurements as close as possible to reionization are desirable. In addition, measuring the IGM temperature at sufficiently high redshifts should help to isolate the effects of hydrogen reionization since He II reionization starts later, at lower redshift. Motivated by this, we model the IGM temperature at z ≳ 5 using semi-numeric models of patchy reionization. We construct mock Lyα forest spectra from these models and consider their observable implications. We find that the small-scale structure in the Lyα forest is sensitive to the temperature of the IGM even at redshifts where the average absorption in the forest is as high as 90%. We forecast the accuracy at which the z ≳ 5 IGM temperature can be measured using existing samples of high resolution quasar spectra, and find that interesting constraints are possible. For example, an early reionization model in which reionization ends at z ∼ 10 should be distinguishable—at high statistical significance—from a lower redshift model where reionization completes at z ∼ 6. We discuss improvements to our modeling that may be required to robustly interpret future measurements.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2021

Reduced Order Model of Transactive Bidding Loads

Transactive energy (TE) has been identified to provide better grid efficiency and reliability by market-based transactive exchanges between energy producers and energy consumers. Simulations of TE systems are crucial to evaluate the benefits and impacts of different transactive mechanisms. However, such simulations can be time consuming due to the information exchange between various participants and complex co-simulation environments. In this paper, we develop a reduced order model to speed up the simulation of transactive systems in TE simulation platform (TESP) while achieving very low error between the reduced order and full model results. Specifically, the developed reduced order model consists of an aggregate responsive load agent which utilizes two Recurrent Neural Networks (RNNs) with Long Short-Term Memory units (LSTMs) to enable transactive elements to collectively participate in the TE system. The proposed aggregate responsive load (ARL) agent is able to produce similar transactive behaviors to the full simulation model while achieving significant simulation time reduction. Finally, we also show that the developed model enables generalization of simulation results across different dates and across different number of loads included in the simulations.

24 POWER TRANSMISSION AND DISTRIBUTION↗
NASA NTRS1985

Programable Driver for Voltage-Controlled Oscillators

Electronically programable read-only memory (EPROM) and digital-to-analog converter provide customized time-varying voltage for frequency modulation. Voltage used to modulate IMPATT oscillator that serves as microwave pump for solid-state maser in low-noise amplifier. EPROM simple to tailor voltage waveform to suit characteristics of given maser. Digital information for waveform programed into EPROM chip; digital-to-analog converter reads information and produces corresponding analog wave. Principle readily adapted to other applications.

Fowler, L. E.↗
NASA NTRS1991

The role of time and speed in NASA's SUNLITE program

The SUNLITE program of NASA's LaRC aims to demonstrate lower noise and better frequency stability for continuous-wave (CW) solid-state lasers in the microgravity environment of space. The program will utilize laser-diode-pumped nonplanar-ring oscillators regulated by ultra-stable high-finesse Fabry-Perot Spectrometers to produce light beams with phase rate or frequency variations as low as 3 Hz. SUNLITE will use the period-method (P-method) to measure the phase rate and frequency stability of the lasers. The P-method was chosen because it requires less memory space for the raw data, because frequencies can be analyzed on-line in real-time simply by reciprocating the periods (fi = 1/pi), and because the mean and variance of the frequencies can be calculated as fast or faster than they can be with the fastest fast Fourier transformations. Furthermore, for a given signal-to-noise power ratio, the P-method requires less data and less computer time to extract the noise components. Although the P-method does require fast Time Interval Counters, the Fourier transformation method requires comparably fast Sampling Volt meters. For either method, however, time and computer speed play a critical role.

Hafele, Joseph C.↗
NASA NTRS1993

Technical support for digital systems technology development. Task order 1: ISP contention analysis and control

Alternatives for realizing a packet-based network switch for use on a frequency division multiple access/time division multiplexed (FDMA/TDM) geostationary communication satellite were investigated. Each of the eight downlink beams supports eight directed dwells. The design needed to accommodate multicast packets with very low probability of loss due to contention. Three switch architectures were designed and analyzed. An output-queued, shared bus system yielded a functionally simple system, utilizing a first-in, first-out (FIFO) memory per downlink dwell, but at the expense of a large total memory requirement. A shared memory architecture offered the most efficiency in memory requirements, requiring about half the memory of the shared bus design. The processing requirement for the shared-memory system adds system complexity that may offset the benefits of the smaller memory. An alternative design using a shared memory buffer per downlink beam decreases circuit complexity through a distributed design, and requires at most 1000 packets of memory more than the completely shared memory design. Modifications to the basic packet switch designs were proposed to accommodate circuit-switched traffic, which must be served on a periodic basis with minimal delay. Methods for dynamically controlling the downlink dwell lengths were developed and analyzed. These methods adapt quickly to changing traffic demands, and do not add significant complexity or cost to the satellite and ground station designs. Methods for reducing the memory requirement by not requiring the satellite to store full packets were also proposed and analyzed. In addition, optimal packet and dwell lengths were computed as functions of memory size for the three switch architectures.

Stehle, Roy H.↗
NASA NTRS2010

Flexible Peripheral Component Interconnect Input/Output Card

The Flexible Peripheral Component Interconnect (PCI) Input/Output (I/O) Card is an innovative circuit board that provides functionality to interface between a variety of devices. It supports user-defined interrupts for interface synchronization, tracks system faults and failures, and includes checksum and parity evaluation of interface data. The card supports up to 16 channels of high-speed, half-duplex, low-voltage digital signaling (LVDS) serial data, and can interface combinations of serial and parallel devices. Placement of a processor within the field programmable gate array (FPGA) controls an embedded application with links to host memory over its PCI bus. The FPGA also provides protocol stacking and quick digital signal processor (DSP) functions to improve host performance. Hardware timers, counters, state machines, and other glue logic support interface communications. The Flexible PCI I/O Card provides an interface for a variety of dissimilar computer systems, featuring direct memory access functionality. The card has the following attributes: 8/16/32-bit, 33-MHz PCI r2.2 compliance, Configurable for universal 3.3V/5V interface slots, PCI interface based on PLX Technology's PCI9056 ASIC, General-use 512K 16 SDRAM memory, General-use 1M 16 Flash memory, FPGA with 3K to 56K logical cells with embedded 27K to 198K bits RAM, I/O interface: 32-channel LVDS differential transceivers configured in eight, 4-bit banks; signaling rates to 200 MHz per channel, Common SCSI-3, 68-pin interface connector.

Bigelow, Kirk K.↗
NASA NTRS2023

P-ACTIVE Project Report

The Phase change material-based actively-tunable filter (P-ACTIVE, Dr. Hyun Jung Kim, the Principal Investigator / PI) project is a NASA Langley Research Center (LaRC)-led research endeavor that began as a NASA CIF (Center Innovation Fund) project in 2019. The goal of P-ACTIVE is to develop all-solid-state tunable optical filters that can serve as low-Size, Weight, and Power (SWaP) replacements to the ubiquitous filter wheel technology current in use, and serve as a starting point for completely new optical component technologies. By using materials commonly used in electronic memory devices, namely chalcogenide phase-change materials (PCMs), in conjunction with nanostructured surfaces with exotic, tailored optical responses (“metasurfaces”), the P-ACTIVE filters are able to tune their optical transmission/reflection behavior in real-time. Because of this new functionality, P-ACTIVE filters are highlighted for NASA science and space programs such as next generation Lidar, landing system (SLS) thermal monitoring, thermal imaging, imaging spectroscopy, and disaster monitoring (e.g., volcanic eruption observations from SmallSats). This document intends to serve as a compendium of the P-ACTIVE project. We begin by describing the project from background science and assume no prior knowledge of the subject. We then address experimental and theoretical results of P-ACTIVE device performance, as well as recent results obtained from the MISSE-14 mission related to space qualification of P-ACTIVE devices and constituent materials. We conclude with a prospective view of the P-ACTIVE technology, and discuss the potential for these filters and other similar metasurface devices to serve NASA’s mission.

metamaterial↗
DOE OSTI2017

Simulation of the RPI Reactor Critical Facility Core Using High-Fidelity Neutronics Code PROTEUS

The PROTEUS code is a high-fidelity three-dimensional (3D) deterministic neutron transport code developed by ANL under the DOE Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. The code contains the SN2ND (second order discrete ordinates method) and two MOC transport solvers, MOCFE and MOCEX (first order methods of characteristics), based on unstructured finite element meshes which allow users to model complex or unconventional geometry reactor problems. Among the two MOC solvers which normally perform better than SN for heterogeneous geometry problems, MOCEX is based on a rigorous formulation using the two-dimensional (2D) MOC radially and the discontinuous Galerkin finite element method axially to overcome the drawbacks of MOCFE with the full 3D MOC representation which requires enormous memory and computational efforts. The Reactor Critical Facility (RCF), an open tank research reactor at the Rensselaer Polytechnic Institute (RPI), became operational in 1956 under the American Locomotive company and has been operating using low-enriched uranium fuel pins, which makes it the only university research facility to use fuel rods similar to operating commercial light water reactors (LWRs). This paper presents modeling and simulation results of the RCF using PROTEUS for code verification and validation which also supports an ongoing NEUP project in which a set of benchmark validation experiments for multiphysics coupling is being developed.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2023

A Predictor-Corrector Strategy for Adaptivity in Dynamical Low-Rank Approximations

Here, in this paper, we present a predictor-corrector strategy for constructing rank-adaptive, dynamical low-rank approximations (DLRAs) of matrix-valued ODE systems. The strategy is a compromise between (i) low-rank step-truncation approaches that alternately evolve and compress solutions and (ii) strict DLRA approaches that augment the low-rank manifold using subspaces generated locally in time by the DLRA integrator. The strategy is based on an analysis of the error between a forward temporal update into the ambient full-rank space, which is typically computed in a step-truncation approach before recompressing, and the standard DLRA update, which is forced to live in a low-rank manifold. We use this error, without requiring its full-rank representation, to correct the DLRA solution. A key ingredient for maintaining a low-rank representation of the error is a randomized SVD, which introduces some degree of stochastic variability into the implementation. The strategy is formulated and implemented in the context of discontinuous Galerkin spatial discretizations of PDEs and applied to several versions of DLRA methods found in the literature as well as a new variant. Numerical experiments comparing the predictor-corrector strategy to other methods demonstrate robustness to overcome shortcomings of step truncation or strict DLRA approaches: The former may require more memory than is strictly needed, while the latter may miss transients solution features that cannot be recovered. The effect of randomization, tolerances, and other implementation parameters is also explored.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1996

Long-term modifications of synaptic efficacy in the human inferior and middle temporal cortex

The primate temporal cortex has been demonstrated to play an important role in visual memory and pattern recognition. It is of particular interest to investigate whether activity-dependent modification of synaptic efficacy, a presumptive mechanism for learning and memory, is present in this cortical region. Here we address this issue by examining the induction of synaptic plasticity in surgically resected human inferior and middle temporal cortex. The results show that synaptic strength in the human temporal cortex could undergo bidirectional modifications, depending on the pattern of conditioning stimulation. High frequency stimulation (100 or 40 Hz) in layer IV induced long-term potentiation (LTP) of both intracellular excitatory postsynaptic potentials and evoked field potentials in layers II/III. The LTP induced by 100 Hz tetanus was blocked by 50-100 microM DL-2-amino-5-phosphonovaleric acid, suggesting that N-methyl-D-aspartate receptors were responsible for its induction. Long-term depression (LTD) was elicited by prolonged low frequency stimulation (1 Hz, 15 min). It was reduced, but not completely blocked, by DL-2-amino-5-phosphonovaleric acid, implying that some other mechanisms in addition to N-methyl-DL-aspartate receptors were involved in LTD induction. LTD was input-specific, i.e., low frequency stimulation of one pathway produced LTD of synaptic transmission in that pathway only. Finally, the LTP and LTD could reverse each other, suggesting that they can act cooperatively to modify the functional state of cortical network. These results suggest that LTP and LTD are possible mechanisms for the visual memory and pattern recognition functions performed in the human temporal cortex.

NASA Discipline Neuroscience↗
DOE OSTI2015

Octonary resistance states in La 0.7 Sr 0.3 MnO 3 /BaTiO 3 /La 0.7 Sr 0.3 MnO 3 multiferroic tunnel junctions

General drawbacks of current electronic/spintronic devices are high power consumption and low density storage. A multiferroic tunnel junction (MFTJ), employing a ferroelectric barrier layer sandwiched between two ferromagnetic layers, presents four resistance states in a single device and therefore provides an alternative way to achieve high density memories. Here, an MFTJ device with eight nonvolatile resistance states by further integrating the design of noncollinear magnetization alignments between the ferromagnetic layers is demonstrated. Through the angle-resolved tunneling magnetoresistance investigations on La 0.7 Sr 0.3 MnO 3 /BaTiO 3 /La 0.7 Sr 0.3 MnO 3 junctions, it is found that, besides collinear parallel/antiparallel magnetic configurations, the MFTJ shows at least two other stable noncollinear (45° and 90°) magnetic configurations. As a result, combining the tunneling electroresistance effect caused by the ferroelectricity reversal of the BaTiO 3 barrier, an octonary memory device is obtained, representing potential applications in high density nonvolatile storage in the future.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS1999

The Variability and Predictability of Precipitation over Southeast Asian

The large scale atmospheric moisture budget, including precipitation, moisture flux convergence, and evaporation is described over southeast Asian. ne results are from the Goddard Earth Observing System (GEOS-1) data assimilation system for the period March 1981 - February 1995. On average, in the late spring and early summer season, precipitation is largely balanced by the atmospheric moisture flux convergence over southeast Asian; evaporation is also an important contributor. The seasonal variability of precipitation is best related to variations in the moisture flux convergence. On the monthly time scales, both the precipitable water and precipitation anomalies are most closely related to moisture flux convergence anomalies and less closely related to evaporation anomalies. The impact of the low-level jet (LLJ) on the strong low-level moisture flux convergence will be discussed. An ensemble of GEOS-2 atmospheric General Circulation Model (GCM) seasonal forecasts and long-term simulation are analyzed to assess the controlling influences of boundary forcing and memory of initial conditions. We also assess the variability and potential predictability from these experiments.

Chang, Yehui↗
NASA NTRS2001

Highly Survivable Avionics Systems for Long-Term Deep Space Exploration

The design of highly survivable avionics systems for long-term (> 10 years) exploration of space is an essential technology for all current and future missions in the Outer Planets roadmap. Long-term exposure to extreme environmental conditions such as high radiation and low-temperatures make survivability in space a major challenge. Moreover, current and future missions are increasingly using commercial technology such as deep sub-micron (0.25 microns) fabrication processes with specialized circuit designs, commercial interfaces, processors, memory, and other commercial off the shelf components that were not designed for long-term survivability in space. Therefore, the design of highly reliable, and available systems for the exploration of Europa, Pluto and other destinations in deep-space require a comprehensive and fresh approach to this problem. This paper summarizes work in progress in three different areas: a framework for the design of highly reliable and highly available space avionics systems, distributed reliable computing architecture, and Guarded Software Upgrading (GSU) techniques for software upgrading during long-term missions. Additional information is contained in the original extended abstract.

Alkalai, L.↗