Radshield: Software Radiation Protection for Commodity Hardware in Space
Haoda Wang, Steven Myint, Vandi Verma, Yonatan Winetraub, Junfeng Yang, Asaf Cidon
Abstract
Exponentially-declining launch costs have led to an explosion of inexpensive satellites launched to space, often equipped with off-the-shelf chips. These chips, however, lack hardware radiation protection, leaving them vulnerable to space radiation. We thus design Radshield, a software system protecting against the two most ubiquitous and costly radiation fault scenarios: (a) radiation-induced short-circuits that lead to permanent hardware failure; and (b) radiationinduced transient charges that result in single-bit silent data corruption (SDC). Radshield counters these failure scenarios with two components. First, it uses a short-circuit detector that can detect tiny increases in the device's current draw by estimating the normal current draw when resource utilization is low. Second, it duplicates the execution of spacecraft workloads in a CPU and memory-efficient manner, and catches SDCs even when they affect the CPU's pipeline or cache. In our experiments, we show Radshield is very effective at preventing both errors, and is 1.4-35.5× more power-efficient than the state-of-the-art protection mechanisms in detecting SDC. Radshield is deployed on missions in low-earth orbit and in deep space. "The 9000 series is the most reliable computer ever made. No 9000 computer has ever made a mistake or distorted information. We are all, by any practical definition of the words, foolproof and incapable of error. " HAL, 2001: A Space Odyssey CCS Concepts: • Computer systems organization → Dependable and fault-tolerant systems and networks; •
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 098d78fd-1de3-4dfe-b429-b4b4cffc914eBuilds on6
- Orbital Edge Computing: Nanosatellite Constellations as a New Class of Computer SystemBradley Denby, Brandon LuciaASPLOS 2020 · 272 citations
- Kodan: Addressing the Computational Bottleneck in SpaceBradley Denby, Krishna Chintalapudi, Ranveer Chandra, Brandon Lucia et al.ASPLOS 2023 · 62 citations
- Understanding Silent Data Corruptions in a Large Production CPU PopulationShaobu Wang, Guangyan Zhang, Junyu Wei, Yang Wang et al.SOSP 2023 · 56 citations
- Arithmetic-intensity-guided fault tolerance for neural network inference on GPUsJack Kosaian, K. V. RashmiSC 2021 · 51 citations
- SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit FlipsWenxin Zheng, Bin Xu, Jinyu Gu, Haibo ChenUSENIX ATC 2025 · 8 citations
Related papers
- Space RADSIM: Binary-Agnostic Fault Injection to Evaluate Cosmic Radiation Impact on Exploit Mitigation Techniques in SpaceJohannes Willbold, Tobias Cloosters, Simon Wörner, Felix Buchmann et al.S&P 2025
- Deploying Lightweight Input-Aware Selective Instruction Duplication in HPC ApplicationsMd Hasanur Rahman, Guanpeng LiSC 2025 · 1 citation
- REMU: Memory-aware Radiation Emulation via Dual Addressing for In-orbit Deep Learning SystemLongnv Xu, Meiqi Wang, Han Qiu, Jun Liu et al.DAC 2025 · 1 citation
- Understanding a program's resiliency through error propagationZhimin Li, Harshitha Menon, Kathryn Mohror, Peer-Timo Bremer et al.PPoPP 2021 · 19 citations
- PEPPA-X: finding program test inputs to bound silent data corruption vulnerability in HPC applicationsMd Hasanur Rahman, Aabid Shamji, Shengjian Guo, Guanpeng LiSC 2021 · 16 citations
