Model checking probabilístico para apoiar a mitigação de evento de falta única em Field Programmable Gate Arrays (FPGAs)
O uso de dispositivos lógicos programáveis como Field Programmable Gate Arrays (FPGAs) em aplicações espaciais cresceu fortemente nos últimos anos devido à sua flexibilidade, custo de desenvolvimento e desempenho. Porém, existe uma exposição excessiva aos raios cósmicos presentes no ambiente e os ef...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Instituto Nacional de Pesquisas Espaciais (INPE)
2018
|
| Online Access: | http://urlib.net/sid.inpe.br/mtc-m21b/2018/03.06.14.06 |