{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:27:14Z","timestamp":1770283634834,"version":"3.49.0"},"reference-count":47,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000149","name":"Division of Engineering Education and Centers","doi-asserted-by":"publisher","award":["EEC-0642422"],"award-info":[{"award-number":["EEC-0642422"]}],"id":[{"id":"10.13039\/100000149","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":[[2012,12]]},"abstract":"<jats:p>Commercial SRAM-based, field-programmable gate arrays (FPGAs) have the potential to provide space applications with the necessary performance to meet next-generation mission requirements. However, mitigating an FPGA\u2019s susceptibility to single-event upset (SEU) radiation is challenging. Triple-modular redundancy (TMR) techniques are traditionally used to mitigate radiation effects, but TMR incurs substantial overheads such as increased area and power requirements. In order to reduce these overheads while still providing sufficient radiation mitigation, we propose a reconfigurable fault tolerance (RFT) framework that enables system designers to dynamically adjust a system\u2019s level of redundancy and fault mitigation based on the varying radiation incurred at different orbital positions. This framework includes an adaptive hardware architecture that leverages FPGA reconfigurable techniques to enable significant processing to be performed efficiently and reliably when environmental factors permit. To accurately estimate upset rates, we propose an upset rate modeling tool that captures time-varying radiation effects for arbitrary satellite orbits using a collection of existing, publically available tools and models. We perform fault-injection testing on a prototype RFT platform to validate the RFT architecture and RFT performability models. We combine our RFT hardware architecture and the modeled upset rates using phased-mission Markov modeling to estimate performability gains achievable using our framework for two case-study orbits.<\/jats:p>","DOI":"10.1145\/2392616.2392619","type":"journal-article","created":{"date-parts":[[2012,12,17]],"date-time":"2012-12-17T15:12:15Z","timestamp":1355757135000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":57,"title":["Reconfigurable Fault Tolerance"],"prefix":"10.1145","volume":"5","author":[{"given":"Adam","family":"Jacobs","sequence":"first","affiliation":[{"name":"University of Florida"}]},{"given":"Grzegorz","family":"Cieslewski","sequence":"additional","affiliation":[{"name":"University of Florida"}]},{"given":"Alan D.","family":"George","sequence":"additional","affiliation":[{"name":"University of Florida"}]},{"given":"Ann","family":"Gordon-Ross","sequence":"additional","affiliation":[{"name":"University of Florida"}]},{"given":"Herman","family":"Lam","sequence":"additional","affiliation":[{"name":"University of Florida"}]}],"member":"320","published-online":{"date-parts":[[2012,12]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the 12th Annual International Phoenix Conference on Computers and Communications. 210--216","author":"Acree R.","unstructured":"Acree , R. , Ullah , N. , Karia , A. , Rahmeh , J. , and Abraham , J . 1993. An object-oriented approach for implementing algorithm-based fault tolerance . In Proceedings of the 12th Annual International Phoenix Conference on Computers and Communications. 210--216 . Acree, R., Ullah, N., Karia, A., Rahmeh, J., and Abraham, J. 1993. An object-oriented approach for implementing algorithm-based fault tolerance. In Proceedings of the 12th Annual International Phoenix Conference on Computers and Communications. 210--216."},{"key":"e_1_2_1_2_1","unstructured":"Actel. 2010a. Actel product page. http:\/\/www.actel.com\/products\/milaero\/rtsxsu\/default.aspx. Actel . 2010a. Actel product page. http:\/\/www.actel.com\/products\/milaero\/rtsxsu\/default.aspx."},{"key":"e_1_2_1_3_1","unstructured":"Actel. 2010b. Actel product page. http:\/\/www.actel.com\/products\/milaero\/rtpa3\/default.aspx. Actel . 2010b. Actel product page. http:\/\/www.actel.com\/products\/milaero\/rtpa3\/default.aspx."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2006.1677431"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the International Conference on Field Programmable Logic and Applications (FPL). 186--192","author":"Alnajiar D.","unstructured":"Alnajiar , D. , Ko , Y. , Imagawa , T. , Konoura , H. , Hiromoto , M. , Mitsuyama , Y. , Hashimoto , M. , Ochi , H. , and Onoye , T . 2009. Coarse-grained dynamically reconfigurable architecture with flexible reliability . In Proceedings of the International Conference on Field Programmable Logic and Applications (FPL). 186--192 . Alnajiar, D., Ko, Y., Imagawa, T., Konoura, H., Hiromoto, M., Mitsuyama, Y., Hashimoto, M., Ochi, H., and Onoye, T. 2009. Coarse-grained dynamically reconfigurable architecture with flexible reliability. In Proceedings of the International Conference on Field Programmable Logic and Applications (FPL). 186--192."},{"key":"e_1_2_1_6_1","unstructured":"Altera. 2010. Stratix V FPGAs: Ultimate flexibility through partial and dynamic reconfiguration. http:\/\/www.altera.com\/products\/devices\/stratix-fpgas\/stratix-v\/overview\/partial- reconfiguration\/stxv-part-reconfig.html. Altera . 2010. Stratix V FPGAs: Ultimate flexibility through partial and dynamic reconfiguration. http:\/\/www.altera.com\/products\/devices\/stratix-fpgas\/stratix-v\/overview\/partial- reconfiguration\/stxv-part-reconfig.html."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.191981"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the 2nd Annual Military and Aerospace Applications of Programmable Devices and Technologies Conference.","author":"Carmichael C.","unstructured":"Carmichael , C. , Fuller , E. , Blain , P. , and Caffrey , M . 1999. SEU mitigation techniques for Virtex FPGAs in space applications . In Proceedings of the 2nd Annual Military and Aerospace Applications of Programmable Devices and Technologies Conference. Carmichael, C., Fuller, E., Blain, P., and Caffrey, M. 1999. SEU mitigation techniques for Virtex FPGAs in space applications. In Proceedings of the 2nd Annual Military and Aerospace Applications of Programmable Devices and Technologies Conference."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.59855"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the Engineering of Reconfigurable Systems and Algorithms Conference.","author":"Cieslewski G.","unstructured":"Cieslewski , G. , George , A. , and Jacobs , A . 2010. Acceleration of FPGA fault injection through multibit testing . In Proceedings of the Engineering of Reconfigurable Systems and Algorithms Conference. Cieslewski, G., George, A., and Jacobs, A. 2010. Acceleration of FPGA fault injection through multibit testing. In Proceedings of the Engineering of Reconfigurable Systems and Algorithms Conference."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 14th International Conference on Digital Signal Processing (DSP).","volume":"2","author":"Dawood A.","unstructured":"Dawood , A. , Visser , S. , and Williams , J . 2002. Reconfigurable FPGAs for real time image processing in space . In Proceedings of the 14th International Conference on Digital Signal Processing (DSP). Vol. 2 , 845--848. Dawood, A., Visser, S., and Williams, J. 2002. Reconfigurable FPGAs for real time image processing in space. In Proceedings of the 14th International Conference on Digital Signal Processing (DSP). Vol. 2, 845--848."},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 12th IEEE International Conference on Electronics, Circuits and Systems (ICECS). 1--4.","author":"Dobias R.","unstructured":"Dobias , R. , Kubalik , P. , and Kubatova , H . 2005. Dependability computations for fault-tolerant system based on FPGA . In Proceedings of the 12th IEEE International Conference on Electronics, Circuits and Systems (ICECS). 1--4. Dobias, R., Kubalik, P., and Kubatova, H. 2005. Dependability computations for fault-tolerant system based on FPGA. In Proceedings of the 12th IEEE International Conference on Electronics, Circuits and Systems (ICECS). 1--4."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the Earth Science Technology Forum.","author":"Flatley T.","year":"2010","unstructured":"Flatley , T. 2010 . Advanced hybrid on-board science data processor - SpaceCube 2.0 . In Proceedings of the Earth Science Technology Forum. Flatley, T. 2010. Advanced hybrid on-board science data processor - SpaceCube 2.0. In Proceedings of the Earth Science Technology Forum."},{"key":"e_1_2_1_14_1","unstructured":"Gano S. 2010. JSatTrak. http:\/\/www.gano.name\/shawn\/JSatTrak\/index.html. Gano S. 2010. JSatTrak. http:\/\/www.gano.name\/shawn\/JSatTrak\/index.html."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009387.1010282"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSVT.2006.877400"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Hoots F. R. and Roehrich R. L. 1980. SPACETRACK REPORT NO. 3-Models for propagation of NORAD element sets. http:\/\/celestrak.com\/NORAD\/documentation\/spacetrk.pdf. Hoots F. R. and Roehrich R. L. 1980. SPACETRACK REPORT NO. 3-Models for propagation of NORAD element sets. http:\/\/celestrak.com\/NORAD\/documentation\/spacetrk.pdf.","DOI":"10.21236\/ADA093554"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342007088378"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1984.1676475"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the IEEE Aerospace Conference.","author":"Johnson J.","unstructured":"Johnson , J. , Howes , W. , Wirthlin , M. , McMurtrey , D. , Caffrey , M. , Graham , P. , and Morgan , K . 2008. Using duplication with compare for on-line error detection in FPGA-based designs . In Proceedings of the IEEE Aerospace Conference. Johnson, J., Howes, W., Wirthlin, M., McMurtrey, D., Caffrey, M., Graham, P., and Morgan, K. 2008. Using duplication with compare for on-line error detection in FPGA-based designs. In Proceedings of the IEEE Aerospace Conference."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.14"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.295013"},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the International Conference on Field Programmable Logic and Applications(FPL). 193--198","author":"Kyriakoulakos K.","unstructured":"Kyriakoulakos , K. and Pnevmatikatos , D . 2009. A novel SRAM-based FPGA architecture for efficient TMR fault tolerance support . In Proceedings of the International Conference on Field Programmable Logic and Applications(FPL). 193--198 . Kyriakoulakos, K. and Pnevmatikatos, D. 2009. A novel SRAM-based FPGA architecture for efficient TMR fault tolerance support. In Proceedings of the International Conference on Field Programmable Logic and Applications(FPL). 193--198."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.56851"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the IEEE Radar Conference. 15--20","author":"Le C.","unstructured":"Le , C. , Chan , S. , Cheng , F. , Fang , W. , Fischman , M. , Hensley , S. , Johnson , R. , Jourdan , M. , Marina , M. , Parham , B. , Rogez , F. , Rosen , P. , Shah , B. , and Taft , S . 2004. Onboard FPGA-based SAR processing for future spaceborne systems . In Proceedings of the IEEE Radar Conference. 15--20 . Le, C., Chan, S., Cheng, F., Fang, W., Fischman, M., Hensley, S., Johnson, R., Jourdan, M., Marina, M., Parham, B., Rogez, F., Rosen, P., Shah, B., and Taft, S. 2004. Onboard FPGA-based SAR processing for future spaceborne systems. In Proceedings of the IEEE Radar Conference. 15--20."},{"key":"e_1_2_1_26_1","unstructured":"Macmillan S. and Maus S. 2010. IGRF10 Model Coefficients for 1945-2010. http:\/\/modelweb.gsfc.nasa.gov\/magnetos\/igrf.html. Macmillan S. and Maus S. 2010. IGRF10 Model Coefficients for 1945-2010. http:\/\/modelweb.gsfc.nasa.gov\/magnetos\/igrf.html."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pepi.2005.03.006"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676062"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2007.910871"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1088\/0957-4484\/19\/11\/115708"},{"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":"Pratt , B. , Caffrey , M. , Graham , P. , Morgan , K. , and Wirthlin , M . 2006. Improving FPGA design robustness with partial TMR . In Proceedings of the 44th Annual IEEE International Reliability Physics Symposium. 226--232 . Pratt, B., Caffrey, M., Graham, P., Morgan, K., and Wirthlin, M. 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","volume-title":"Proceedings of the Prentice Hall. Military and Aerospace FPGA Applications Conference.","author":"Pratt B.","unstructured":"Pratt , B. , Wirthlin , M. , Caffrey , M. , Graham , P. , Morgan , K. , Quinn , H. , and Shelley , S . 2007. Improving FPGA reliability in harsh environments using triple modular redundancy with more frequent voting . In Proceedings of the Prentice Hall. Military and Aerospace FPGA Applications Conference. Pratt, B., Wirthlin, M., Caffrey, M., Graham, P., Morgan, K., Quinn, H., and Shelley, S. 2007. Improving FPGA reliability in harsh environments using triple modular redundancy with more frequent voting. In Proceedings of the Prentice Hall. Military and Aerospace FPGA Applications Conference."},{"key":"e_1_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Rao T. and Fujiwara E. 1989. Error-Control Coding for Computer Systems. Rao T. and Fujiwara E. 1989. Error-Control Coding for Computer Systems .","DOI":"10.1016\/B978-0-12-370720-8.50011-8"},{"key":"e_1_2_1_34_1","unstructured":"Ratter D. 2004. FPGAs on Mars. Xcell J. 8--11. Ratter D. 2004. FPGAs on Mars. Xcell J. 8--11."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1987.5222336"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2004.826201"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing. 26--35","author":"Silva J.","unstructured":"Silva , J. , Prata , P. , Rela , M. , and Madeira , H . 1998. Practical issues in the use of ABFT and a new failure model . In Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing. 26--35 . Silva, J., Prata, P., Rela, M., and Madeira, H. 1998. Practical issues in the use of ABFT and a new failure model. In Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing. 26--35."},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the IEEE Radiation Effects Data Workshop. 98--105","author":"Swift G.","unstructured":"Swift , G. , Allen , G. , Tseng , C. W. , Carmichael , C. , Miller , G. , and George , J . 2008. Static upset characteristics of the 90nm Virtex-4QV FPGAs . In Proceedings of the IEEE Radiation Effects Data Workshop. 98--105 . Swift, G., Allen, G., Tseng, C. W., Carmichael, C., Miller, G., and George, J. 2008. Static upset characteristics of the 90nm Virtex-4QV FPGAs. In Proceedings of the IEEE Radiation Effects Data Workshop. 98--105."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the IEEE Aerospace Conference. 1--8.","author":"Troxel I.","unstructured":"Troxel , I. , Fehringer , M. , and Chenoweth , M . 2008. Achieving multipurpose space imaging with the ARTEMIS reconfigurable payload processor . In Proceedings of the IEEE Aerospace Conference. 1--8. Troxel, I., Fehringer, M., and Chenoweth, M. 2008. Achieving multipurpose space imaging with the ARTEMIS reconfigurable payload processor. In Proceedings of the IEEE Aerospace Conference. 1--8."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.659030"},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the 9th Workshop on Electronics for LHC Experiments.","author":"Wang J.","year":"2003","unstructured":"Wang , J. 2003 . Radiation effects in FPGAs . In Proceedings of the 9th Workshop on Electronics for LHC Experiments. Wang, J. 2003. Radiation effects in FPGAs. In Proceedings of the 9th Workshop on Electronics for LHC Experiments."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.293265"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1862648.1862649"},{"key":"e_1_2_1_44_1","unstructured":"Xilinx 2004. XTMR Tool User Guide. Xilinx. Xilinx User Guide UG156.  Xilinx 2004. XTMR Tool User Guide . Xilinx. Xilinx User Guide UG156."},{"key":"e_1_2_1_45_1","unstructured":"Xilinx 2010a. Partial Reconfiguration User Guide. Xilinx. Xilinx User Guide UG702.  Xilinx 2010a. Partial Reconfiguration User Guide. Xilinx. Xilinx User Guide UG702."},{"key":"e_1_2_1_46_1","unstructured":"Xilinx 2010b. SEU Strategies for Virtex-5 Devices. Xilinx. Xilinx Application Note XAPP864.  Xilinx 2010b. SEU Strategies for Virtex-5 Devices. Xilinx. Xilinx Application Note XAPP864."},{"key":"e_1_2_1_47_1","unstructured":"Xilinx 2010c. Space-Grade Virtex-4QV Family Overview. Xilinx. Xilinx Product Specification DS653.  Xilinx 2010c. Space-Grade Virtex-4QV Family Overview. Xilinx. Xilinx Product Specification DS653."}],"container-title":["ACM Transactions on Reconfigurable Technology and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2392616.2392619","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2392616.2392619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:32Z","timestamp":1750239272000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2392616.2392619"}},"subtitle":["A Comprehensive Framework for Reliable and Adaptive FPGA-Based Space Computing"],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":47,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["10.1145\/2392616.2392619"],"URL":"https:\/\/doi.org\/10.1145\/2392616.2392619","relation":{},"ISSN":["1936-7406","1936-7414"],"issn-type":[{"value":"1936-7406","type":"print"},{"value":"1936-7414","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]},"assertion":[{"value":"2011-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}