{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T06:42:44Z","timestamp":1772606564869,"version":"3.50.1"},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2016,3,6]],"date-time":"2016-03-06T00:00:00Z","timestamp":1457222400000},"content-version":"vor","delay-in-days":366,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"national science foundation","doi-asserted-by":"publisher","award":["1265957"],"award-info":[{"award-number":["1265957"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"Department of Energy","doi-asserted-by":"publisher","award":["LA-UR-08-05644"],"award-info":[{"award-number":["LA-UR-08-05644"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Reconfigurable Technol. Syst."],"published-print":{"date-parts":[[2015,3,6]]},"abstract":"<jats:p>Over the past 15 years many organizations have researched the use of Static-Random Access Memory (SRAM)-based Field-Programmable Gate Arrays (FPGAs) in space. Although the components can provide a performance improvement over radiation-hardened processing components, random soft errors can occur from the naturally occurring space radiation environment. Many organizations have been developing methods for characterizing, emulating, and simulating radiation-induced events; mitigating and removing radiation-induced computational errors; and designing fault-tolerant reconfigurable spacecraft. Los Alamos National Laboratory has fielded one of the longest space-based FPGAs experiments, called the Cibola Flight Experiment (CFE), using Xilinx Virtex FPGAs. CFE has successfully deployed commercial SRAM FPGAs into a low-Earth orbit with Single-Event Upset (SEU) mitigation and was able to exploit effectively the reconfigurability and customization of FPGAs in a harsh radiation environment. Although older than current state-of-the-art FPGAs, these same concepts are used to deploy newer FPGA-based space systems since the launch of the CFE satellite and will continue to be useful for newer systems. In this article, we present how the system was designed to be fault tolerant, prelaunch predictions of expected on-orbit behaviors, and on-orbit results.<\/jats:p>","DOI":"10.1145\/2629556","type":"journal-article","created":{"date-parts":[[2015,3,9]],"date-time":"2015-03-09T15:03:01Z","timestamp":1425913381000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["The Cibola Flight Experiment"],"prefix":"10.1145","volume":"8","author":[{"given":"Heather","family":"Quinn","sequence":"first","affiliation":[{"name":"Los Alamos National Laboratory, Los Alamos, USA"}]},{"given":"Diane","family":"Roussel-Dupre","sequence":"additional","affiliation":[{"name":"Los Alamos National Laboratory, Los Alamos, USA"}]},{"given":"Mike","family":"Caffrey","sequence":"additional","affiliation":[{"name":"Los Alamos National Laboratory, Los Alamos, USA"}]},{"given":"Paul","family":"Graham","sequence":"additional","affiliation":[{"name":"Los Alamos National Laboratory, Los Alamos, USA"}]},{"given":"Michael","family":"Wirthlin","sequence":"additional","affiliation":[{"name":"Brigham Young University, USA"}]},{"given":"Keith","family":"Morgan","sequence":"additional","affiliation":[{"name":"Los Alamos National Laboratory, Los Alamos, USA"}]},{"given":"Anthony","family":"Salazar","sequence":"additional","affiliation":[{"name":"Los Alamos National Laboratory, Los Alamos, USA"}]},{"given":"Tony","family":"Nelson","sequence":"additional","affiliation":[{"name":"Los Alamos National Laboratory, Los Alamos, USA"}]},{"given":"Will","family":"Howes","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA"}]},{"given":"Eric","family":"Johnson","sequence":"additional","affiliation":[{"name":"Semi Secret Software"}]},{"given":"Jon","family":"Johnson","sequence":"additional","affiliation":[{"name":"Centaur Technology, Austin, USA"}]},{"given":"Brian","family":"Pratt","sequence":"additional","affiliation":[{"name":"L-3 Communications, Salt Lake City, UT"}]},{"given":"Nathan","family":"Rollins","sequence":"additional","affiliation":[{"name":"Canadian Department of National Defense, Ottawa, Ontario"}]},{"given":"Jim","family":"Krone","sequence":"additional","affiliation":[{"name":"Los Alamos National Laboratory, Los Alamos, USA"}]}],"member":"320","published-online":{"date-parts":[[2015,3,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1302493.1302729"},{"key":"e_1_2_1_2_1","volume-title":"Technical Report 1. Xilinx Radiation Test Consortium.","author":"Allen G.","year":"2008","unstructured":"G. Allen, G. Swift, and C. Carmichael. 2008. Virtex-4VQ Static SEU Characterization Summary. Technical Report 1. Xilinx Radiation Test Consortium."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.69"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the Single-Event Effects Symposium.","author":"Berg M.","unstructured":"M. Berg, C. Perez, and H. Kim. 2008. Investigating mitigated and non-mitigated multiple clock domain circuitry in a Xilinx Virtex-4 field programmable gate arrays. In Proceedings of the Single-Event Effects Symposium."},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 7th European Conference on Radiation and Its Effects on Components and Systems. 181--183","author":"Beutier T.","year":"2003","unstructured":"T. Beutier, E. Delage, M. Wouts, O. Serres, and P.-F. Peyrard. 2003. FASTRAD: New tool for radiation prediction. In Proceedings of the 7th European Conference on Radiation and Its Effects on Components and Systems. 181--183."},{"key":"e_1_2_1_6_1","volume-title":"Technical Report XAPP987. Xilinx Inc.","author":"Bridgford B.","year":"2008","unstructured":"B. Bridgford, C. Carmichael, and C. Tseng. 2008. Single-Event Upset Mitigation Selection Guide. Technical Report XAPP987. Xilinx Inc."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the 5th Annual International Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201902)","author":"Caffrey M.","unstructured":"M. Caffrey, M. Echave, C. Fite, T. Nelson, A. Salazar, and S. Storms. 2002a. A space-based reconfigurable radio. In Proceedings of the 5th Annual International Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201902). Retrieved from http:\/\/klabs.org\/richcontent\/MAPLDCon02\/abstracts\/caffrey0_a.pdf."},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the 5th Annual International Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201902)","author":"Caffrey M.","unstructured":"M. Caffrey, P. Graham, M. Wirthlin, E. Johnson, and N. Rollins. 2002b. Single-event upsets in SRAM FPGA. In Proceedings of the 5th Annual International Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201902). Retrieved from http:\/\/www.klabs.org\/richcontent\/MAPLDCon02\/papers\/session_p\/p8_caffrey_p.pdf."},{"key":"e_1_2_1_9_1","unstructured":"C. Carmichael. 2001. Triple Module Redundancy Design Techniques for Virtex FPGAs. Technical Report XAPP197. Xilinx Inc."},{"key":"e_1_2_1_10_1","volume-title":"Technical Report XAPP216 (v1.0)","author":"Carmichael C.","year":"2000","unstructured":"C. Carmichael, M. Caffrey, and A. Salazar. 2000. Correcting Single-Event Upsets through Virtex Partial Configuration. Technical Report XAPP216 (v1.0). Xilinx Inc."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the IEEE Microelectronics Reliability and Qualification Workshop.","author":"Carmichael C.","unstructured":"C. Carmichael, E. Fuller, J. Fabula, and F. Lima. 2001. Proton testing of SEU mitigation methods for the Virtex FPGA. In Proceedings of the IEEE Microelectronics Reliability and Qualification Workshop."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2009.2032184"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.273518"},{"key":"e_1_2_1_14_1","unstructured":"R. Do. 2011. The details of triple modular redundancy: An automated mitigation method of I\/O signals. In Prooceedings of the Military and Aerospace Programmable Logic Devices. Retrieved from https:\/\/nepp.nasa.gov\/respace_mapld11\/talks\/thu\/MAPLD_C\/0800- Do.pdf."},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 3rd Annual Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201900)","author":"Fabula J.","unstructured":"J. Fabula and H. Bogrow. 2000. Total ionizing dose performance of SRAM-based FPGAs and supporting PROMs. In Proceedings of the 3rd Annual Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201900). Retrieved from http:\/\/klabs.org\/richcontent\/MAPLDCon00\/Abstracts\/fabula_a.pdf."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2004.835073"},{"key":"e_1_2_1_17_1","volume-title":"Proceeding of the Military and Aerospace Programmable Logic Devices International Conference (MAPLD\u201999)","author":"Fuller E.","unstructured":"E. Fuller, M. Caffrey, P. Blain, C. Carmichael, N. Khalsa, and A. Salazar. 1999. Radiation test results of the Virtex FPGA and ZBT SRAM for space based reconfigurable computing. In Proceeding of the Military and Aerospace Programmable Logic Devices International Conference (MAPLD\u201999). Retrieved from http:\/\/www.xilinx.com\/esp\/mil_aero\/collateral\/RadiationEffects\/radi aiton_test_results.pdf."},{"key":"e_1_2_1_18_1","volume-title":"Proceeding of the Military and Aerospace Programmable Logic Devices International Conference (MAPLD\u201900)","author":"Fuller E.","unstructured":"E. Fuller, M. Caffrey, A. Salazar, C. Carmichael, and J. Fabula. 2000a. Radiation testing update, SEU mitigation, and availability analysis of the Virtex FPGA for space reconfigurable computing. In Proceeding of the Military and Aerospace Programmable Logic Devices International Conference (MAPLD\u201900)."},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 3rd Annual Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201900)","author":"Fuller E.","unstructured":"E. Fuller, M. Caffrey, A. Salazar, C. Carmichael, and J. Fabula. 2000b. Radiation testing update, SEU mitigation, and availability analysis of the Virtex FPGA for space reconfigurable computing. In Proceedings of the 3rd Annual Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201900). Retrieved from http:\/\/klabs.org\/richcontent\/MAPLDCon00\/Papers\/Session_P\/P30_Fuller_P.pdf."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2003.820744"},{"key":"e_1_2_1_21_1","volume-title":"Proceeding of the Military and Aerospace Programmable Logic Devices International Conference (MAPLD\u201903)","author":"Graham P.","unstructured":"P. Graham, M. Caffrey, M. Wirthlin, E. Johnson, and N. Rollins. 2003b. Consequences and categories of SRAM FPGA configuration SEUs. In Proceeding of the Military and Aerospace Programmable Logic Devices International Conference (MAPLD\u201903). Retrieved from http:\/\/klabs.org\/richcontent\/MAPLDCon03\/papers\/c\/c6_graham_p.pdf."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the Canadian Conference on Electrical and Computer Engineering","volume":"4","author":"Hiemstra D.","unstructured":"D. Hiemstra and G. Bailak. 2004. A review of the single event effects performance of x86 microprocessors. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, Vol. 4. 2341--2346."},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","unstructured":"A. Holmes-Siedle and L. Adams. 2002. Handbook of Radiation Effects. Oxford University Press.","DOI":"10.1093\/oso\/9780198507338.001.0001"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2392616.2392619"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2003.821791"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 2009 European Conference on Radiation and Its Effects on Components and Systems (RADECS\u201909)","author":"Kruglanski M.","unstructured":"M. Kruglanski, N. Messios, E. De Donder, E. Gamby, S. Calders, L. Hetey, H. Evans, and E. Daly. 2009. Last upgrades and development of the space environment information system (SPENVIS). In Proceedings of the 2009 European Conference on Radiation and Its Effects on Components and Systems (RADECS\u201909). 563--565."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/REDW.2014.7004595"},{"key":"e_1_2_1_28_1","volume-title":"Technical Report XAPP962. Xilinx Inc.","author":"Miller G.","year":"2008","unstructured":"G. Miller, C. Carmichael, and G. Swift. 2008. Single-Event Upset Mitigation for Xilinx FPGA Block Memories. Technical Report XAPP962. Xilinx Inc."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2005.860674"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2007.910871"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 44th Annual IEEE International Reliability Physics Symposium. 226--232","author":"Pratt B.","unstructured":"B. Pratt, M. Caffrey, P. Graham, K. Morgan, and M. Wirthlin. 2006. Improving FPGA design robustness with partial TMR. In Proceedings of the 44th Annual IEEE International Reliability Physics Symposium. 226--232."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2009.2033925"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2013.2246581"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of Data Workshop for Nuclear and Space Radiation Effects Conference. 177--184","author":"Quinn H.","unstructured":"H. Quinn, K. Morgan, P. Graham, J. Krone, and M. Caffrey. 2007a. Static proton and heavy ion testing of the Xilinx Virtex-5 device. In Proceedings of Data Workshop for Nuclear and Space Radiation Effects Conference. 177--184."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2007.910870"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2012.6313841"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 5th Annual International Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201902)","author":"Rollins N.","unstructured":"N. Rollins, M. Wirthlin, M. Caffrey, and P. Graham. 2002. Reliability of programmable Input\/Output pins in the Presence of configuration upsets. In Proceedings of the 5th Annual International Conference on Military and Aerospace Programmable Logic Devices (MAPLD\u201902). Retrieved from http:\/\/klabs.org\/richcontent\/MAPLDCon02\/presentations\/session_c\/c3_wirthli n_s.pdf."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2004.834955"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/795658.795854"},{"key":"e_1_2_1_40_1","unstructured":"SILSO. 2013. Daily International Sunspot Number: Last 13 years and 12-month ahead predictions. Retreived from http:\/\/sidc.oma.be\/sunspot-index-graphics\/wolfjmms.php."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-006-0403-9"},{"key":"e_1_2_1_42_1","unstructured":"A. Sutton. 2013. Creating Highly Reliable FPGA Designs. (2013). http:\/\/www.synopsys.com\/Company\/Publications\/SynopsysInsight\/Pages\/Art5-fpga -designs-IssQ1-13.aspx last accessed 8\/15\/2013."},{"key":"e_1_2_1_43_1","unstructured":"G. Swift. 2004. Virtex-II Static SEU Characterization. Technical Report 1. Xilinx Radiation Test Consortium."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2004.839190"},{"key":"e_1_2_1_45_1","unstructured":"G. Swift C. Tseng G. Miller G. Allen and H. Quinn. 2008. The use of fault injection to simulate upsets in reconfigurable FPGAs. Retrieved from https:\/\/nepp.nasa.gov\/mapld_2008\/presentations\/t\/05-Swift_Gary_mapld08_pres_1.pdf."},{"key":"e_1_2_1_46_1","volume-title":"Proceedings of the IEEE International Electron Devices Meeting4. IEDM Technical Digest. 941--944","author":"Tosaka Y.","unstructured":"Y. Tosaka, H. Ehara, M. Igeta, T. Uemura, H. Oka, N. Matsuoka, and K. Hatanaka. 2004. Comprehensive study of soft errors in advanced CMOS circuits with 90\/130 nm technology. In Proceedings of the IEEE International Electron Devices Meeting4. IEDM Technical Digest. 941--944."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.659030"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2014.2366913"}],"container-title":["ACM Transactions on Reconfigurable Technology and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629556","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2629556","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2629556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:47:30Z","timestamp":1763459250000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,6]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3,6]]}},"alternative-id":["10.1145\/2629556"],"URL":"https:\/\/doi.org\/10.1145\/2629556","relation":{},"ISSN":["1936-7406","1936-7414"],"issn-type":[{"value":"1936-7406","type":"print"},{"value":"1936-7414","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,6]]},"assertion":[{"value":"2013-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-05-01","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-03-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}