Reliability of imperfect redundant systems
Reliability estimation of redundant systems for determining statistical probability of mission success
SEARCH · Search NASA
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.
Reliability estimation of redundant systems for determining statistical probability of mission success
Redundancy techniques in two and three level logic circuits - reliability improvement
Response characteristics, frequency, and mode shape of Saturn SA-DI vehicle - analysis of redundant structures
Redundant low power PCM telemeter for OSO
Combined integrated and discrete circuit breadboard model for redundant multiple logic version of Mariner C spacecraft central computer and sequencer
Design and testing of majority logic redundancy for spaceborne and GSE digital systems
High speed analog-to-digital converters compared using redundancy encoding techniques
Redundancy removal processes, classification and nomenclature compared by plotting compression ratio vs rms error and stressing ZVA process
Circuitry, logical design, and test data on redundant spacecraft sequencer breadboard
Reliability of redundant electrical generating system configurations for use in SNAP-2 AND SNAP-8
Eliminating redundancy in fixed frame television, and relationship between spectral properties of original sampled waveform and interpolation error
Redundancy at both mission and spacecraft systems level of Voyager program
Partial redundancy for improved reliability of computing machine
Optimal allocation of n test points within redundant digital system for prelaunch and in-flight spacecraft reliability estimate
Application of redundancy in Saturn V guidance and control system to achieve desired reliability
Effective guidance and control redundancy for spacecraft configurations and mission outcomes, discussing computer systems
We present a test methodology for estimating system error rates of Field Programmable Gate Arrays (FPGAs) mitigated with Triple Modular Redundancy (TMR). The test methodology is founded in a mathematical model, which is also presented. Accelerator data from 90 nm Xilins Military/Aerospace grade FPGA are shown to fit the model. Fault injection (FI) results are discussed and related to the test data. Design implementation and the corresponding impact of multiple bit upset (MBU) are also discussed.
We propose a method for TMR insertion verification that satisfies the process for reliable and trusted systems. If a system is expected to be protected using TMR, improper insertion can jeopardize the reliability and security of the system. Due to the complexity of the verification process, there are currently no available techniques that can provide complete and reliable confirmation of TMR insertion. This manuscript addresses the challenge of confirming that TMR has been inserted without corruption of functionality and with correct application of the expected TMR topology. The proposed verification method combines the usage of existing formal analysis tools with a novel search-detect-and-verify tool. Field programmable gate array (FPGA),Triple Modular Redundancy (TMR),Verification, Trust, Reliability,