Affiliation:
1. Czech Technical University in Prague, Czech Republic
Abstract
The main aim of this chapter is to present the way, how to design fault-tolerant or fail-safe systems in programmable hardware (FPGAs) and therefore to use FPGAs in mission-critical applications, too. RAM based FPGAs are usually taken for unreliable due to high probability of transient faults (SEU) and therefore inapplicable in this area. But FPGAs can be easily reconfigured. The authors’ aim is to utilize appropriate type of FPGA reconfiguration and to combine it with well-known methods for fail-safe and fault-tolerant design (duplex, TMR) including on-line testing methods for fault detection and then startup of the reconfiguration process. Dependability parameters’ calculations based on reliability models is integral part of proposed methodology. The trade-off between the requested level of dependability characteristics of a designed system and area overhead with respect to FPGA possible faults the main property and advantage of proposed methodology.
Reference46 articles.
1. Abramovici, M., Stroud, C., Hamiliton, C., Wijesuriya, S., & Verma, V. (1999). Using Roving STARs for On-Line Testing and Diagnosis of FPGAs in Fault-Tolerant Applications. In Proceeding of IEEE International Test Conference, (pp. 973-982).
2. Actel Corporation. (2007). Historic Phoenix Mars Mission Flies Actel RTAX-S Devices. Retrieved from www.actel.com
3. Actel Corporation. (2007). Single-Event Effects in FPGAs. Retrieved from http://www.actel.com/documents/FirmErrorPIB.pdf
4. Bellato, M., Bernardi, P., & Bortalato, D. (2004). Evaluating the effects of SEUs affecting the configuration memory of an SRAM-based FPGA. In Design Automation Event for Electronic System in Europe 2004, (pp. 584-589).
5. Berg, M. (2006). Fault Tolerance Implementation within SRAM Based FPGA Design Based upon the Increased Level of Single Event Upset Susceptibility. In Proceedings of the 12th IEEE International On-Line Testing Symposium, IOLTS'06, (pp. 89-91).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Design and Validation for FPGA Trust under Hardware Trojan Attacks;IEEE Transactions on Multi-Scale Computing Systems;2016-07-01
2. Hardware trojan attacks in FPGA devices;Proceedings of the 24th edition of the great lakes symposium on VLSI - GLSVLSI '14;2014