Abstract
On-board processing systems are often deployed in harsh aerospace environments and must therefore adhere to stringent constraints such as low power, small size, and high dependability in the presence of faults. Field-programmable gate arrays (FPGAs) are often an attractive option for designers seeking low-power, high-performance devices. However, unlike nonreconfigurable devices, radiation effects can alter an FPGA’s functionality instead of just the device’s data, requiring designers to consider fault-tolerant strategies to mitigate these effects. In this article, we present a framework to ease these system design challenges and aid designers in considering a broad range of devices and fault-tolerant strategies for on-board processing, highlighting the most promising options and tradeoffs early in the design process. This article focuses on the power, dependability, and lifetime evaluation metrics, which our framework calculates and leverages to evaluate the effectiveness of varying system-on-chip (SoC) designs. Finally, we use our framework to evaluate SoC designs for a case study on a hyperspectral-imaging (HSI) mission to demonstrate our framework’s ability to identify efficient and effective SoC designs.
- K. Asanovic, R. Bodik, B. C. Catanzaro, J. J. Gebis, K. Keutzer, D. A. Patterson, W. L. Plishker, J. Shalf, S. W. Williams, and K. A. Yelick. 2006. The Landscape of Parallel Computing Research: A View from Berkeley. Technical Report UCB/EECS-2006-183. University of California, Berkeley. http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-183.pdf.Google Scholar
- J. Branke, K. Deb, K. Miettinen, and R. Slowinski (Eds.). 2008. Multiobjective Optimization. Springer-Verlag, Berlin, Germany.Google Scholar
- W. L. Brown and J. D. Gabbe. 1963. The electron distribution in the earth’s radiation belts during July 1962 as measured by telstar. J. Geophys. Res. 68, 3 (1963), 607--618. Google Scholar
Cross Ref
- G. Cieslewski, A. D. George, and A. Jacobs. 2010. Acceleration of FPGA fault injection through multi-bit testing. In Proc. of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA’10). 218--224.Google Scholar
- E. J. Daly, A. Hilgers, G. Drolshagen, and H. D. R. Evans. 1996. Space environment analysis: Experience and trends. In ESA 1996 Symposium on Environment Modelling for Space-Based Applications. Noordwijk, The Netherlands. http://atanar-esa.cdnetworks.net/conferences/96a09/Abstracts/abstract45/paper/Google Scholar
- J. Engel, K. Morgan, M. J. Wirthlin, and P. S. Graham. 2006. Predicting On-Orbit Static Single Event Upset Rates in Xilinx Virtex FPGAs. Technical Report. All Faculty Publications. http://scholarsarchive.byu.edu/facpub/1307/.Google Scholar
- R. Enzler, T. Jeger, D. Cottet, and G. Tröster. 2000. High-level area and performance estimation of hardware building blocks on FPGAs. In Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing, R. W. Hartenstein and H. Grünbacher (Eds.). Lecture Notes in Computer Science, Vol. 1896. Springer, Berlin, 525--534. DOI:http://dx.doi.org/10.1007/3-540-44614-1_57 Google Scholar
Digital Library
- J. J. Fabula, J. L. DeJong, A. Lesea, and W. Hsieh. 2008. The total ionizing dose performance of deep submicron CMOS processes. In Proc. of Military and Aerospace Programmable Logic Devices Conference (MAPLD’08). Annapolis, MD. https://nepp.nasa.gov/mapld_2008/presentations/w/08-Fabula_Joseph_mapld08 _pres_2.pdf.Google Scholar
- D. M. Hiemstra, G. Battiston, and P. Gill. 2010. Single event upset characterization of the Virtex-5 field programmable gate array using proton irradiation. In 2010 IEEE Radiation Effects Data Workshop (REDW’10). 1--4. Google Scholar
Cross Ref
- D. M. Hiemstra, F. Chayab, and Z. Mohammed. 2006. Single event upset characterization of the Virtex-4 field programmable gate array using proton irradiation. In 2006 IEEE Radiation Effects Data Workshop (REDW’06). 105--108. Google Scholar
Cross Ref
- D. M. Hiemstra, F. Chayab, and L. Szajek. 2004. Dynamic single event upset characterization of the Virtex-II and spartan-3 SRAM field programmable gate arrays using proton irradiation. In 2004 IEEE Radiation Effects Data Workshop (REDW’04). 79--84. Google Scholar
Cross Ref
- D. M. Hiemstra and V. Kirischian. 2012. Single event upset characterization of the Virtex-6 field programmable gate array using proton irradiation. In 2012 IEEE Radiation Effects Data Workshop (REDW’12). 1--4. Google Scholar
Cross Ref
- D. M. Hiemstra and V. Kirischian. 2013. Single event upset characterization of the spartan-6 field programmable gate array using proton irradiation. In 2013 IEEE Radiation Effects Data Workshop (REDW’13). 1--4. Google Scholar
Cross Ref
- B. Holland, K. Nagarajan, and A. D. George. 2009. RAT: RC amenability test for rapid performance prediction. ACM Trans. Reconfigurable Technol. Syst. 1, 4 (Jan. 2009), 22:1--22:31. Google Scholar
Digital Library
- K. Huang and J. A. Abraham. 1984. Algorithm-based fault tolerance for matrix operations. IEEE Trans. Comput. C-33, 6 (June 1984), 518--528. Google Scholar
Digital Library
- A. Jacobs, G. Cieslewski, and A. D. George. 2012a. Overhead and reliability analysis of algorithm-based fault tolerance in FPGA systems. In 2012 22nd International Conference on Field Programmable Logic and Applications (FPL’12). 300--306. Google Scholar
Cross Ref
- A. Jacobs, G. Cieslewski, A. D. George, A. Gordon-Ross, and H. Lam. 2012b. Reconfigurable fault tolerance: A comprehensive framework for reliable and adaptive FPGA-based space computing. ACM Trans. Reconfigurable Technol. Syst. 5, 4, Article 21 (Dec. 2012), 30 pages. DOI:http://dx.doi.org/ 10.1145/2392616.2392619 Google Scholar
Digital Library
- A. Jacobs, C. Conger, and A. D. George. 2008. Multiparadigm space processing for hyperspectral imaging. In 2008 IEEE Aerospace Conference. 1--11. Google Scholar
Cross Ref
- S. Kayali. Space Radiation Effects on Microelectronics. Technical Report. NASA JPL Radiation Effects Group. http://parts.jpl.nasa.gov/docs/Radcrs_Final.pdf.Google Scholar
- T. S. Kelso. 2011. NORAD Two-Line Element Sets Current Data. (Nov. 2, 2011). http://celestrak.com/ NORAD/elements/resource.txt.Google Scholar
- R. Ladbury. 2007. Radiation Hardening at the System Level. Technical Report. NASA Goddard Space Flight Center. http://radhome.gsfc.nasa.gov/radhome/papers/nsrec07_sc_ladbury.pdf.Google Scholar
- R. E. Lyons and W. Vanderkulk. 1962. The use of triple-modular redundancy to improve computer reliability. IBM J. Res. Dev. 6, 2 (Apr. 1962), 200--209. Google Scholar
Digital Library
- A. Manuzzato, S. Gerardin, A. Paccagnella, L. Sterpone, and M. Violante. 2008. On the static cross section of SRAM-based FPGAs. In 2008 IEEE Radiation Effects Data Workshop. 94--97. Google Scholar
Cross Ref
- M. R. Meswani, L. Carrington, D. Unat, A. Snavely, S. Baden, and S. Poole. 2013. Modeling and predicting performance of high performance computing applications on hardware accelerators. Int. J. High Perform. Comput. Appl. 27, 2 (May 2013), 89--108. Google Scholar
Digital Library
- NASA Jet Propulsion Laboratory. 2014. HyspIRI Mission Study. (2014). http://hyspiri.jpl.nasa.gov.Google Scholar
- G. L. Nazar and L. Carro. 2012. Fast single-FPGA fault injection platform. In 2012 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT’12). 152--157. Google Scholar
Digital Library
- J. V. Neumann. 1956. Probablistic logics and the synthesis of reliable organisms from reliable components. Automata Stud. 34 (1956), 43--98.Google Scholar
- J. S. Pearlman, P. S. Barry, C. C. Segal, J. Shepanski, D. Beiso, and S. L. Carman. 2003. Hyperion, a space-based imaging spectrometer. IEEE Trans. Geosci. Remote Sens. 41, 6 (2003), 1160--1173. Google Scholar
Cross Ref
- J. Pearlman, S. Carman, C. Segal, P. Jarecke, P. Clancy, and W. Browne. 2001. Overview of the Hyperion imaging spectrometer for the NASA EO-1 mission. In IEEE 2001 International Geoscience and Remote Sensing Symposium, 2001. (IGARSS’01). Vol. 7. 3036--3038.Google Scholar
- R. L. Pease, A. H. Johnston, and J. L. Azarewicz. 1988. Radiation testing of semiconductor devices for space electronics. Proc. IEEE 76, 11 (1988), 1510--1526. Google Scholar
Cross Ref
- E. L. Petersen. 1998. The SEU figure of merit and proton upset rate calculations. IEEE Trans. Nuclear Sci. 45, 6 (Dec. 1998), 2550--2562. Google Scholar
Cross Ref
- C. Poivey and G. Hopkinson. 2009. Displacement Damage: Mechanisms and Effects. Technical Report. Space Center EPFL and European Space Agency. http://space.epfl.ch/webdav/site/space/shared/industry_media/05DDissue3.pdf.Google Scholar
- M. Poizat. 2009. Total Ionizing Dose: Mechanisms and Effects. Technical Report. Space Center EPFL and European Space Agency. http://space.epfl.ch/webdav/site/space/shared/industry_media/03EPFL_TID_Basic-Mech.pdf.Google Scholar
- B. Pratt, M. Fuller, M. Rice, and M. Wirthlin. 2013. Reduced-precision redundancy for reliable FPGA communications systems in high-radiation environments. IEEE Trans. Aerospace Electronic Syst. 49, 1 (Jan. 2013), 369--380. Google Scholar
Cross Ref
- H. Quinn. 2008. An Introduction to Mission Risk and Risk Mitigation for Xilinx SRAM FPGAs. Technical Report. Los Alamos National Laboratories. ftp://ftp.lanl.gov/public/hquinn/quinn_intro_to_rad2.pdf.Google Scholar
- H. Quinn, K. Morgan, P. Graham, J. Krone, and M. Caffrey. 2007. Static proton and heavy ion testing of the xilinx virtex-5 device. In 2007 IEEE Radiation Effects Data Workshop. 177--184. Google Scholar
Cross Ref
- K. Sahu, H. Leidecker, and D. Lakins. 2003. EEE-INST-002: Instructions for EEE Parts Selection, Screening, Qualification, and Derating. http://nepp.nasa.gov/DocUploads/FFB52B88-36AE-4378- A05B2C084B5EE2CC/EEE-INST-002_add1.pdf.Google Scholar
- J. R. Schwank, M. R. Shaneyfelt, and P. E. Dodd. 2008. Radiation Hardness Assurance Testing of Microelectronic Devices and Integrated Circuits: Radiation Environments, Physical Mechanisms, and Foundations for Hardness Assurance. Technical Report. Sandia National Laboratories. http://www.sandia.gov/mstc/services/documents/Sandia_RHA_Foundations_FINAL.pdf.Google Scholar
- J. G. Silva, P. Prata, M. Rela, and H. Madeira. 1998. Practical issues in the use of ABFT and a new failure model. In 28th Annual International Symposium on Fault-Tolerant Computing, 1998. Digest of Papers. 26--35. Google Scholar
Digital Library
- F. Sturesson. 2003. Single Event Effects (SEE) Mechanism and Effects. Technical Report. Space Center EPFL and European Space Agency. http://space.epfl.ch/webdav/site/space/shared/industry_media/07SEEEffectF.Sturesson.pdf.Google Scholar
- A. J. Tylka, J. H. Adams, P. R. Boberg, B. Brownstein, W. F. Dietrich, E. O. Flueckiger, E. L. Petersen, M. A. Shea, D. F. Smart, and E. C. Smith. 1997. CREME96: A revision of the cosmic ray effects on micro-electronics code. IEEE Trans. Nucl. Sci. 44, 6 (Dec. 1997), 2150--2160. Google Scholar
Cross Ref
- J. Williams, A. D. George, J. Richardson, K. Gosrani, C. Massie, and H. Lam. 2010. Characterization of fixed and reconfigurable multi-core devices for application acceleration. ACM Trans. Reconfigurable Technol. Syst. 3, 4 (Nov. 2010), 19:1--19:29. Google Scholar
Digital Library
- N. Wulf, A. D. George, and A. Gordon-Ross. 2012. A framework to analyze, compare, and optimize high-performance, on-board processing systems. In 2012 IEEE Aerospace Conference. 1--14. Google Scholar
Cross Ref
- N. Wulf, A. D. George, and A. Gordon-Ross. 2015. Memory-aware optimization of FPGA-based space systems. In 2015 IEEE Aerospace Conference. 1--13. Google Scholar
Cross Ref
- N. Wulf, J. Richardson, and A. D. George. 2013. Optimizing FPGA performance, power, and dependability with linear programming. In Proc. of Military and Aerospace Programmable Logic Devices Conference (MAPLD’13). San Diego, CA.Google Scholar
- Xilinx. 2006. Triple Module Redundancy Design Techniques for Virtex FPGAs. Xilinx. http://www.xilinx.com/ support/documentation/application_notes/xapp197.pdf.Google Scholar
- Xilinx. 2012. Considerations Surrounding Single Event Effects in FPGAs, ASICs, and Processors. Xilinx. http://www.xilinx.com/support/documentation/white_papers/wp402_SEE_Considerations.pdf.Google Scholar
- Xilinx. 2012. Radiation-Hardened, Space-Grade Virtex-5QV Family Overview. Xilinx. http://www.xilinx.com/ support/documentation/data_sheets/ds192_V5QV_Device_Overview.pdf.Google Scholar
Index Terms
A Framework for Evaluating and Optimizing FPGA-Based SoCs for Aerospace Computing
Recommendations
SEU Simulation Framework for Xilinx FPGA: First Step towards Testing Fault Tolerant Systems
DSD '11: Proceedings of the 2011 14th Euromicro Conference on Digital System DesignIn the paper, the SEU simulation framework for testing fault tolerant system designs implemented into FPGA is presented. The framework is based on SEU generation outside FPGA (in personal computer) and the transport of modified bit stream through the ...
A hardware-efficient computing engine for FPGA-based deep convolutional neural network accelerator
AbstractDeep convolutional neural networks (DCNNs) have recently emerged as a promising approach for computer vision tasks with many new DCNN architectures proposed to further improve their performance. However, the significant computation ...
Optimizing CNN-based Segmentation with Deeply Customized Convolutional and Deconvolutional Architectures on FPGA
Special Issue on Deep learning on FPGAsConvolutional Neural Networks-- (CNNs) based algorithms have been successful in solving image recognition problems, showing very large accuracy improvement. In recent years, deconvolution layers are widely used as key components in the state-of-the-art ...






Comments