Availability analysis for satellite data processing systems based on SRAM FPGAs

This paper presents a novel methodology that allows a systematic availability analysis of satellite payload data processing systems implemented on static random-access memory-based field-programmable gate arrays. The methodology allows 1) comparison of different fault detection, isolation, and recovery schemes and 2) prediction of the expected system availability in a particular radiation environment. Furthermore, it advances the state of the art by analyzing embedded block RAMs and employing a novel fault injection algorithm that enables more complex stochastic models. The applicability of the method is demonstrated by a case study representing a high-availability payload data processing application. Since block RAMs are also taken into account, the availability prediction precision is greatly increased. It is shown that the reliability prediction for two border cases in which the block RAMs are either ignored or assumed to be fully susceptible can differ as much as 75%.With the proposed block RAM profiling tool, it is possible to determine a realistic reliability figure that is eventually required for the accurate estimation of the system availability.

[1]  P. Marshall,et al.  Impact of Spacecraft Shielding on Direct Ionization Soft Error Rates for Sub-130 nm Technologies , 2010, IEEE Transactions on Nuclear Science.

[2]  Michael J. Wirthlin,et al.  A Comparison of fault-tolerant memories in SRAM-based FPGAs , 2010, 2010 IEEE Aerospace Conference.

[3]  Andrew Holmes-Siedle,et al.  Handbook of Radiation Effects , 1993 .

[4]  Yvon Savaria,et al.  Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications , 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).

[5]  K.S. Morgan,et al.  SRAM FPGA Reliability Analysis for Harsh Radiation Environments , 2009, IEEE Transactions on Nuclear Science.

[6]  Roman Bartosiński,et al.  The LEON3 Processor , 2013 .

[7]  Gary Swift,et al.  VIRTEX-4 VQ static SEU Characterization Summary , 2008 .

[8]  Tanya Vladimirova,et al.  New voter design enabling hot redundancy for asynchronous network nodes , 2014, 2014 NASA/ESA Conference on Adaptive Hardware and Systems (AHS).

[9]  Yvon Savaria,et al.  Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking , 2013, FTSCS.

[10]  Felix Siegle,et al.  FDIR techniques for payload streaming applications using SpaceWire-based networks , 2014, 2014 International SpaceWire Conference (SpaceWire).

[11]  Armin Zimmermann.  Modeling and evaluation of stochastic Petri nets with TimeNET 4.1 , 2012, 6th International ICST Conference on Performance Evaluation Methodologies and Tools.

[12]  Massimo Violante,et al.  A new reliability-oriented place and route algorithm for SRAM-based FPGAs , 2006, IEEE Transactions on Computers.

[13]  Alan D. George,et al.  Scrubbing optimization via availability prediction (SOAP) for reconfigurable space computing , 2012, 2012 IEEE Conference on High Performance Extreme Computing.

[14]  Zdenek Kotásek,et al.  Dependability Analysis of Fault Tolerant Systems Based on Partial Dynamic Reconfiguration Implemented into FPGA , 2012, 2012 15th Euromicro Conference on Digital System Design.

[15]  Harald Michalik,et al.  SoCWire: A Network-on-Chip Approach for Reconfigurable System-on-Chip Designs in Space Applications , 2008, 2008 NASA/ESA Conference on Adaptive Hardware and Systems.

[16]  Michael J. Wirthlin,et al.  Estimating TMR Reliability on FPGAs Using Markov Models , 2008 .

[17]  Charles D. Norton,et al.  An evaluation of the Xilinx Virtex-4 FPGA for on-board processing in an advanced imaging system , 2009, 2009 IEEE Aerospace conference.

[18]  A. Agresti,et al.  Approximate is Better than “Exact” for Interval Estimation of Binomial Proportions , 1998 .

[19]  Christian Poivey,et al.  Validation of FDIR Strategy for Spaceborne SRAM-Based FPGAs Using Proton Radiation Testing , 2015, 2015 15th European Conference on Radiation and Its Effects on Components and Systems (RADECS).

[20]  Tanya Vladimirova,et al.  Adaptive FDIR framework for payload data processing systems using reconfigurable FPGAs , 2013, 2013 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2013).