Abstract
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) radiation-induced 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
AI Summary
AI-Generated Summary (Experimental)
This summary was generated using automated tools and was not authored or reviewed by the article's author(s). It is provided to support discovery, help readers assess relevance, and assist readers from adjacent research areas in understanding the work. It is intended to complement the author-supplied abstract, which remains the primary summary of the paper. The full article remains the authoritative version of record. Click here to learn more.
Click here to comment on the accuracy, clarity, and usefulness of this summary. Doing so will help inform refinements and future regenerated versions.
To view this AI-generated plain language summary, you must have Premium access.
Formats available
You can view the full content in the following formats:
References
[1]
H. Jones. ''The recent large reduction in space launch cost''. In: 48th International Conference on Environmental Systems. 2018.
[2]
A. C. Boley and M. Byers. ''Satellite mega-constellations create risks in Low Earth Orbit, the atmosphere and on Earth''. In: Scientific Reports 11.1 (2021), pp. 1-8.
[3]
Starlink. 2023. url: https://www.starlink.com/.
[4]
Z. Qu, G. Zhang, H. Cao, and J. Xie. ''LEO satellite constellation for Internet of Things''. In: IEEE Access 5 (2017), pp. 18391-18401.
[5]
J. Gedmark and S. Smith. ''The Evolution of the Satellite Economy''. In: a16z Podcast (Sept. 2023). url: https://a16z.com/podcast/theevolution-of-the-satellite-economy.
[6]
Planet. 2023. url: https://www.planet.com/.
[7]
Spire. 2023. url: https://spire.com/.
[8]
Filecoin Foundation and Lockheed Martin Bring Decentralized Storage to Space. May 2022. url: https://filecoinfoundation.medium.com/filecoin- foundation-and-lockheed- martin-bring- decentralizedstorage- to-space-db9a15e66264.
[9]
Y. Michalevsky and Y. Winetraub. ''WaC: SpaceTEE-Secure and Tamper-Proof Computing in Space using CubeSats''. In: Proceedings of the 2017 Workshop on Attacks and Solutions in Hardware Security. 2017, pp. 27-32.
[10]
A. Fikes, M. Gal-Karziri, E. Gdoutos, M. Kelzenberg, E. Warmann, R. Madonna, H. Atwater, A. Hajimiri, and S. Pellegrino. ''The Caltech space solar power project: Design, progress, and future direction''. In: Proceedings of the IEEE WiSEE Space Solar Power Workshop. 2022.
[11]
F. Michel, M. Trevisan, D. Giordano, and O. Bonaventure. ''A first look at starlink performance''. In: Proceedings of the 22nd ACM Internet Measurement Conference. 2022, pp. 130-136.
[12]
J. Bao, B. Zhao, W. Yu, Z. Feng, C. Wu, and Z. Gong. ''OpenSAN: A software-defined satellite network architecture''. In: ACM SIGCOMM Computer Communication Review 44.4 (2014), pp. 347-348.
[13]
D. Bhattacherjee, W. Aqeel, I. N. Bozkurt, A. Aguirre, B. Chandrasekaran, P. B. Godfrey, G. Laughlin, B. Maggs, and A. Singla. ''Gearing up for the 21st century space race''. In: Proceedings of the 17th ACM Workshop on Hot Topics in Networks. 2018, pp. 113-119.
[14]
S. Kassing, D. Bhattacherjee, A. B. Águas, J. E. Saethre, and A. Singla. ''Exploring the ''Internet from space'' with Hypatia''. In: Proceedings of the ACM Internet Measurement conference. 2020, pp. 214-229.
[15]
A. Singla. ''SatNetLab: a call to arms for the next global Internet testbed''. In: SIGCOMM Comput. Commun. Rev. 51.2 (May 2021), pp. 28-30. issn: 0146-4833. . 1145 / 3464994 . 3465000. url: https://doi.org/10.1145/3464994.3465000.
[16]
D. Perdices, G. Perna, M. Trevisan, D. Giordano, and M. Mellia. ''When satellite is all you have: watching the internet from 550 ms''. In: Proceedings of the 22nd ACM Internet Measurement Conference. 2022, pp. 137-150.
[17]
M. M. Kassem, A. Raman, D. Perino, and N. Sastry. ''A browserside view of starlink connectivity''. In: Proceedings of the 22nd ACM Internet Measurement Conference. 2022, pp. 151-158.
[18]
J. R. Wertz, R. C. Conger, M. Rufer, N. Sarzi-Amadé, and R. E. Van Allen. ''Methods for Achieving Dramatic Reductions in Space Mission Cost''. In: Reinventing Space Conference. 2011, pp. 2-6.
[19]
W. A. Powell. ''High-performance spaceflight computing (HPSC) project overview''. In: Radiation Hardened Electronics Technology Conference (RHET) 2018. GSFC-E-DAA-TN62651. 2018.
[20]
J. Gibney. ''AMD Ryzen™ 6000 Series for Mobile: Technology Overview''. In: 2022 IEEE Hot Chips 34 Symposium (HCS). IEEE Computer Society. 2022, pp. 1-24.
[21]
B. Denby, K. Chintalapudi, R. Chandra, B. Lucia, and S. Noghabi. ''Kodan: Addressing the computational bottleneck in space''. In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3. 2023, pp. 392-403.
[22]
N. Bleier, M. H. Mubarik, G. R. Swenson, and R. Kumar. ''Space Microdatacenters''. In: Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture. 2023, pp. 900-915.
[23]
D. Bhattacherjee, S. Kassing, M. Licciardello, and A. Singla. ''In-orbit computing: An outlandish thought experiment?'' In: Proceedings of the 19th ACM Workshop on Hot Topics in Networks. 2020, pp. 197-204.
[24]
L. Burcin. ''RAD750 experience: The challenge of SEE hardening a high performance commercial processor''. In: Microelectronics Reliability & Qualification Workshop (MRQW). 2002.
[25]
S. M. Guertin. ''Radiation effects on ARM devices''. In: NEPP Electronics Technology Workshop. National Aeronautics and Space Agency. Jet Propulsion Laboratory, 2019.
[26]
H. Leppinen. ''Current use of Linux in spacecraft flight software''. In: IEEE Aerospace and Electronic Systems Magazine 32.10 (2017), pp. 4-13.
[27]
B. Balaram, T. Canham, C. Duncan, H. F. Grip,W. Johnson, J. Maki, A. Quon, R. Stern, and D. Zhu. ''Mars helicopter technology demonstrator''. In: 2018 AIAA Atmospheric Flight Mechanics Conference. 2018, p. 0023.
[28]
P. Layton, D. Czajkowski, J. Marshall, H. Anthony, and R. Boss. ''Single event latchup protection of integrated circuits''. In: RADECS 97. Fourth European Conference on Radiation and its Effects on Components and Systems (Cat. No. 97TH8294). IEEE. 1997, pp. 327-331.
[29]
J. S. Chang, W. Shu, and J. Jiang. Electronic circuit for single-event latch-up detection and protection. US Patent 10,566,780. Feb. 2020.
[30]
A. Dorise, C. Alonso, A. Subias, L. Travé-Massuyès, L. Baczkowski, and F. Vacher. ''Machine learning as an alternative to thresholding for space radiation high current event detection''. In: 2021 21th European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE. 2021, pp. 1-7.
[31]
Y. Shen, G. Heiser, and K. Elphinstone. ''Fault tolerance through redundant execution on cots multicores: Exploring trade-offs''. In: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE. 2019, pp. 188-200.
[32]
W. Li and M. Hudson. ''Earth's Van Allen Radiation Belts: From Discovery to the Van Allen Probes Era''. In: Journal of Geophysical Research: Space Physics 124.11 (Nov. 2019), pp. 8319-8351. issn: 2169-9402. url: http://dx.doi.org/10.1029/2018JA025940.
[33]
K. L. Bedingfield and R. D. Leach. Spacecraft system failures and anomalies attributed to the natural space environment. Vol. 1390. National Aeronautics and Space Administration, Marshall Space Flight Center, 1996.
[34]
S. M. Guertin. ARM Radiation Testing&Collaborations. June 2020. url: https://trs.jpl.nasa.gov/handle/2014/52948 (visited on 12/31/2022).
[35]
A. G. Schmidt, M. French, and T. Flatley. ''Radiation hardening by software techniques on FPGAs: Flight experiment evaluation and results''. In: 2017 IEEE Aerospace Conference. IEEE. 2017, pp. 1-8.
[36]
T. Pfandzelter and D. Bermbach. ''Edge Computing in Low-Earth Orbit - What Could Possibly Go Wrong?'' In: Proceedings of the 1st ACM Workshop on LEO Networking and Communication. LEONET '23. Madrid, Spain: Association for Computing Machinery, 2023, pp. 19-24. isbn: 9798400703324. url: https://doi.org/10.1145/3614204.3616106.
[37]
H. Wang, S. Myint, V. Verma, Y. Winetraub, J. Yang, and A. Cidon. ''Mars Attacks! Software Protection Against Space Radiation''. In: Proceedings of the 22nd ACM Workshop on Hot Topics in Networks. 2023, pp. 245-253.
[38]
W. Kolasinski, J. Blake, J. Anthony, W. Price, and E. Smith. ''Simulation of cosmic-ray induced soft errors and latchup in integratedcircuit computer memories''. In: IEEE Transactions on Nuclear Science 26.6 (1979), pp. 5087-5091.
[39]
L. Adams, E. Daly, R. Harboe-Sorensen, R. Nickson, J. Haines, W. Schafer, M. Conrad, H. Griech, J. Merkel, T. Schwall, et al. ''A verified proton induced latch-up in space (CMOS SRAM)''. In: IEEE Transactions on Nuclear Science 39.6 (1992), pp. 1804-1808.
[40]
B. Johlander, R. Harboe-Sorensen, G. Olsson, and L. Bylander. ''Ground verification of in-orbit anomalies in the double probe electric field experiment on Freja''. In: IEEE Transactions on Nuclear Science 43.6 (1996), pp. 2767-2771.
[41]
F. Yao, A. S. Rakin, and D. Fan. ''DeepHammer: Depleting the intelligence of deep neural networks through targeted chain of bit flips''. In: 29th USENIX Security Symposium (USENIX Security 20). 2020, pp. 1463-1480.
[42]
C. Roscian, F. Praden, J.-M. Dutertre, J. Fournier, and A. Tria. ''Security characterisation of a hardened AES cryptosystem using a laser''. In: Technical Sciences/University of Warmia and Mazury in Olsztyn 15 (1 (2012), pp. 139-154.
[43]
J. A. Pellish. ''Radiation 101: Effects on Hardware and Robotic Systems''. In: (2015).
[44]
D. M. Hassler, C. Zeitlin, R. Wimmer-Schweingruber, S. Böttcher, C. Martin, J. Andrews, E. Böhm, D. Brinza, M. Bullock, S. Burmeister, et al. ''The Radiation Assessment Detector (RAD) Investigation''. In: Space Science Reviews 170.1 (2012), pp. 503-558.
[45]
J. Tausch, D. Sleeter, D. Radaelli, and H. Puchner. ''Neutron Induced Micro SEL Events in COTS SRAM Devices''. In: 2007 IEEE Radiation Effects Data Workshop. 2007, pp. 185-188. 4342562.
[46]
N. Pieper, Y. Xiong, A. Feeley, D. Walker, R. Fung, S.-J. Wen, D. Ball, and B. Bhuva. ''Micro-Latchup Location and Temperature Characterization in a 7-nm Bulk FinFET Technology''. In: 2021 21th European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE. 2021, pp. 1-7.
[47]
Y. He, J. Zhao, W. Shu, K. S. Chong, J. Chang, et al. ''Demonstration of ZES'LDAP (Latchup Detection and Protection) enabling a commercial-off-the-shelf FPGA for space applications''. In: 2022 22nd European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE. 2022, pp. 1-4.
[48]
J. Zhao, K.-S. Chong, W. Shu, M. Cho, and J. S. Chang. ''Design and Implementation of a High-Speed Low-Power K-Nearest-Neighborsbased Algorithm for Detecting Micro-Single-Event-Latchups''. In: IEEE Transactions on Nuclear Science (2024).
[49]
E. Normand. ''Single-event effects in avionics''. In: IEEE Transactions on nuclear science 43.2 (1996), pp. 461-474.
[50]
N. J. Wang, J. Quek, T. M. Rafacz, and S. J. Patel. ''Characterizing the effects of transient faults on a high-performance processor pipeline''. In: International Conference on Dependable Systems and Networks, 2004. IEEE Computer Society. 2004, pp. 61-61.
[51]
B. D. Sierawski, M. H. Mendenhall, R. A. Weller, R. A. Reed, J. H. Adams, J. W. Watts, and A. F. Barghouty. ''CRÈME-MC: A physicsbased single event effects tool''. In: IEEE Nuclear Science Symposuim & Medical Imaging Conference. IEEE. 2010, pp. 1258-1261.
[52]
A. Lyons and G. Heiser. ''Mixed-criticality support in a highassurance, general-purpose microkernel''. In: Workshop on Mixed Criticality Systems. 2014, pp. 9-14.
[53]
M. Rebaudengo, M. S. Reorda, M. Violante, and M. Torchiano. ''A source-to-source compiler for generating dependable software''. In: Proceedings First IEEE InternationalWorkshop on Source Code Analysis and Manipulation. IEEE. 2001, pp. 33-42.
[54]
N. Oh, P. P. Shirvani, and E. J. McCluskey. ''Error detection by duplicated instructions in super-scalar processors''. In: IEEE Transactions on Reliability 51.1 (2002), pp. 63-75.
[55]
C. Borchert, H. Schirmeier, and O. Spinczyk. ''Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors''. In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE. 2023, pp. 81-94.
[56]
M. Salloum, J. R. Mayo, and R. C. Armstrong. ''In-situ mitigation of silent data corruption in PDE solvers''. In: Proceedings of the ACM Workshop on Fault-Tolerance for HPC at Extreme Scale. 2016, pp. 43- 48.
[57]
D. Fiala, F. Mueller, and K. B. Ferreira. ''Flipsphere: A software-based DRAM error detection and correction library for HPC''. In: 2016 IEEE/ACM 20th International Symposium on Distributed Simulation and Real Time Applications (DS-RT). IEEE. 2016, pp. 19-28.
[58]
M. Turmon, R. Granat, and D. Katz. ''Software-implemented fault detection for high-performance space applications''. In: Proceeding International Conference on Dependable Systems and Networks. DSN 2000. IEEE. 2000, pp. 107-116.
[59]
N. Burow, S. A. Carr, J. Nash, P. Larsen, M. Franz, S. Brunthaler, and M. Payer. ''Control-flow integrity: Precision, security, and performance''. In: ACM Computing Surveys (CSUR) 50.1 (2017), pp. 1- 33.
[60]
J. Kosaian and K. Rashmi. ''Arithmetic-intensity-guided fault tolerance for neural network inference on GPUs''. In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. 2021, pp. 1-15.
[61]
W. Zheng, B. Xu, J. Gu, and H. Chen. ''SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips''. In: 2025 USENIX Annual Technical Conference. USENIX. 2025.
[62]
D. Nicholaeff, N. Davis, D. Trujillo, and R. Robey. ''Cell-based adaptive mesh refinement implemented with general purpose graphics processing units''. In: Tech. Rep. LA-UR-11-07127 (2012).
[63]
M. Donald. ''How An Ionizing Particle From Outer Space Helped A Mario Speedrunner Save Time''. In: (Sept. 2020). url: https://www. thegamer.com/how-ionizing-particle-outer-space-helped-supermario- 64-speedrunner-save-time/.
[64]
S. Wang, G. Zhang, J. Wei, Y. Wang, J. Wu, and Q. Luo. ''Understanding Silent Data Corruptions in a Large Production CPU Population''. In: Proceedings of the 29th Symposium on Operating Systems Principles. 2023, pp. 216-230.
[65]
P. H. Hochschild, P. Turner, J. C. Mogul, R. Govindaraju, P. Ranganathan, D. E. Culler, and A. Vahdat. ''Cores that don't count''. In: Proceedings of the Workshop on Hot Topics in Operating Systems. 2021, pp. 9-16.
[66]
A. A. Hwang, I. A. Stefanovici, and B. Schroeder. ''Cosmic rays don't strike twice: Understanding the nature of DRAM errors and the implications for system design''. In: ACMSIGPLAN Notices 47.4 (2012), pp. 111-122.
[67]
G. S. Veronese, M. Correia, A. N. Bessani, L. C. Lung, and P. Verissimo. ''Efficient byzantine fault-tolerance''. In: IEEE Transactions on Computers 62.1 (2011), pp. 16-30.
[68]
A. Aponte-Moreno, F. Restrepo-Calle, and C. Pedraza. ''A Low- Overhead Radiation Hardening Approach using Approximate Computing and Selective Fault Tolerance Techniques at the Software Level''. In: 2019 19th European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE. 2019, pp. 1-4.
[69]
V. Verma, J. Nash, L. Saldyt, Q. Dwight, H. Wang, S. Myint, J. Biesiadecki, M. Maimone, A. Tumbar, A. Ansar, G. Kubiak, and R. Hogg. ''Enabling Long & Precise Drives for The Perseverance Mars Rover via Onboard Global Localization''. In: IEEE Aerospace Conference. 2024.
[70]
V. Verma, F. Hartman, A. Rankin, M. Maimone, T. Del Sesto, O. Toupet, E. Graser, S. Myint, K. Davis, D. Klein, et al. ''First 210 solar days of Mars 2020 Perseverance Robotic Operations-Mobility, Robotic Arm, Sampling, and Helicopter''. In: 2022 IEEE Aerospace Conference (AERO). IEEE. 2022, pp. 1-20.
[71]
B. Denby and B. Lucia. ''Orbital edge computing: Nanosatellite constellations as a new class of computer system''. In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 2020, pp. 939-954.
[72]
P. A. Ilott. ''Communications with Mars: A Brief and Informal HIstory''. In: Space-Terrestrial Internetworking Workshop. IEEE. 2021.
[73]
D. McComas, J. Wilmot, and A. Cudmore. ''The core flight system (cFS) community: Providing low cost solutions for small spacecraft''. In: Annual AIAA/USU Conference on Small Satellites. GSFC-E-DAATN33786.2016.
[74]
J. J. Biesiadecki and M. W. Maimone. ''The Mars exploration rover surface mobility flight software driving ambition''. In: 2006 IEEE Aerospace Conference. IEEE. 2006, 15-pp.
[75]
B. Yost, S. Weston, G. Benavides, F. Krage, J. Hines, S. Mauro, S. Etchey, K. O'Neill, and B. Braun. ''State-of-the-art small spacecraft technology''. In: (2021).
[76]
R. Bocchino, T. Canham, G. Watney, L. Reder, and J. Levison. ''F Prime: an open-source framework for small-scale flight software systems''. In: (2018).
[77]
J. Nash, Q. Dwight, L. Saldyt, H. Wang, S. Myint, A. Ansar, and V. Verma. ''Censible: A Robust and Practical Global Localization Framework for Planetary Surface Missions''. In: IEEE International Conference on Robotics and Automation (2024).
[78]
J. Maki, D. Gruel, C. McKinney, M. Ravine, M. Morales, D. Lee, R. Willson, D. Copley-Woods, M. Valvo, T. Goodsall, et al. ''The Mars 2020 Engineering Cameras and microphone on the Perseverance rover: A next-generation imaging system for Mars exploration''. In: Space Science Reviews 216 (2020), pp. 1-48.
[79]
J. Lowe-Power, A. M. Ahmad, A. Akram, M. Alian, R. Amslinger, M. Andreozzi, A. Armejach, N. Asmussen, S. Bharadwaj, G. Black, G. Bloom, B. R. Bruce, D. R. Carvalho, J. Castrillón, L. Chen, N. Derumigny, S. Diestelhorst, W. Elsasser, M. Fariborz, A. F. Farahani, P. Fotouhi, R. Gambord, J. Gandhi, D. Gope, T. Grass, B. Hanindhito, A. Hansson, S. Haria, A. Harris, T. Hayes, A. Herrera, M. Horsnell, S. A. R. Jafri, R. Jagtap, H. Jang, R. Jeyapaul, T. M. Jones, M. Jung, S. Kannoth, H. Khaleghzadeh, Y. Kodama, T. Krishna, T. Marinelli, C. Menard, A. Mondelli, T. Mück, O. Naji, K. Nathella, H. Nguyen, N. Nikoleris, L. E. Olson, M. S. Orr, B. Pham, P. Prieto, T. Reddy, A. Roelke, M. Samani, A. Sandberg, J. Setoain, B. Shingarov, M. D. Sinclair, T. Ta, R. Thakur, G. Travaglini, M. Upton, N. Vaish, I. Vougioukas, Z. Wang, N. Wehn, C. Weis, D. A. Wood, H. Yoon, and É. F. Zulian. ''The gem5 Simulator: Version 20.0''. In: CoRR abs/2007.03152 (2020). arXiv: 2007.03152. url: https://arxiv.org/abs/2007.03152.