Designing single event upset mitigation techniques for large SRAM-Based FPGA components

This thesis presents the study and development of fault-tolerant techniques for programmable architectures, the well-known Field Programmable Gate Arrays (FPGAs), customizable by SRAM. FPGAs are becoming more valuable for space applications because of the high density, high performance, reduced development cost and re-programmability. In particular, SRAM-based FPGAs are very valuable for remote missions because of the possibility of being reprogrammed by the user as many times as necessary in a very short period. SRAM-based FPGA and micro-controllers represent a wide range of components in space applications, and as a result will be the focus of this work, more specifically the Virtex® family from Xilinx and the architecture of the 8051 micro-controller from Intel. The Triple Modular Redundancy (TMR) with voters is a common high-level technique to protect ASICs against single event upset (SEU) and it can also be applied to FPGAs. The TMR technique was first tested in the Virtex® FPGA architecture by using a small design based on counters. Faults were injected in all sensitive parts of the FPGA and a detailed analysis of the effect of a fault in a TMR design synthesized in the Virtex® platform was performed. Results from fault injection and from a radiation ground test facility showed the efficiency of the TMR for the related case study circuit. Although TMR has showed a high reliability, this technique presents some limitations, such as area overhead, three times more input and output pins and, consequently, a significant increase in power dissipation. Aiming to reduce TMR costs and improve reliability, an innovative high-level technique for designing fault-tolerant systems in SRAM-based FPGAs was developed, without modification in the FPGA architecture. This technique combines time and hardware redundancy to reduce overhead and to ensure reliability. It is based on duplication with comparison and concurrent error detection. The new technique proposed in this work was specifically developed for FPGAs to cope with transient faults in the user combinational and sequential logic, while also reducing pin count, area and power dissipation. The methodology was validated by fault injection experiments in an emulation board. The thesis presents comparison results in fault coverage, area and performance between the discussed techniques.

Variações das propriedades granulométricas dos sedimentos da Barreira Costeira da Pinheira (SC) durante a sua progradação no holoceno superior

A barreira costeira da Pinheira esta localizada no litoral Centro-Sul do estado de Santa Catarina. Sua rnorfologia e estratigrafia são típicas de uma barreira regressiva. Durante o Holoceno Superior (Últimos 5 ka), a barreira progradou cerca de 5.500 metros, a uma taxa media de 1 ,I mlano. Sua progradação foi determinada por um rebaixamento de aproximadamente 2 m do nível do mar e, principalmente, por uma expressivo aporte de sedimentos arenosos em seu sistema praial, provenientes da plataforma continental adjacente. Nos Últimos 3.500 metros de progradaHo da barreira, ocorridos nos Últimos 3.1 ka, cerca de 60 cordões de dunas frontais foram formados. O intervalo de tempo decorrido entre a formação de dois cordões sucessivos foi de aproximadamente 52 anos. O estudo das propriedades granulométricas do sistema praia-duna atual e de dois dos cordões antigos de dunas frontais, denominados cordões intermediArio e interno, e formados, respectivamente, há cerca de 1280 e 3140 anos AP, revelou que, nos Últimos 3 ka não ocorreram variações significativas destas propriedades. Esta não variação, no tempo, das propriedades granulométricas é atribuída a natureza policíclica do estoque de areia consumido na progradação da barreira e a sua manutenção como fonte de sedimentos durante a progradação, elou a uma relativa constância, nos últimos 3 ka, das condições dinâmicas gerais dos sistema praia-duna atual da enseada da Pinheira. O estudo comparativo entre os diferentes sub-ambientes, ou zonas do sistema praia-duna atual (face da praia, berma e duna frontal), mostrou que o desvio padrão e a assimetria são potencialmente importantes na distinção entre depdsitos eolicos (dunas frontais) e praiais (face da praia) da barreira.