Publication Details
Automatic Design of Fault-Tolerant Systems for VHDL and SRAM-based FPGAs
Pánek Richard, Ing. (DCSY FIT BUT)
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT)
Fault-Tolerant System Design, Electronic Design Automation, Redundancy Insertion, Redundancy Allocation, Multiple-choice Knapsack Problem, FPGA, VHDL, t50
This paper presents and evaluates the possibility of automatic design of fault-tolerant systems from unhardened systems. We present an overview of our toolkit with its three main components: 1) fault-tolerant structures insertion (which we call helpers); 2) fault-tolerant structures selection (called guiders); and 3) automatic testbed generation, incorporating advanced acceleration techniques to accelerate the test and evaluation. Our approach is targeting complete independence on the HW description language and its abstraction level, however, for our case study, we focus on VHDL in combination with fine-grained n-modular redundancy. In the case study part of this paper, we proved that it is undoubtedly beneficial to select a proper fault tolerance method for each partition separately. Three experimental systems were developed with the usage of our method. Two of them achieved better reliability parameter while even lowering their chip area, compared to static allocation of equivalent fault tolerance technique type. In the case study, we target the best median time to failure, the so-called t50, however, our method is not dependent on this parameter and arbitrary optimization target can be selected, as soon as it is measurable.
@INPROCEEDINGS{FITPUB12488, author = "Jakub Lojda and Richard P\'{a}nek and Zden\v{e}k Kot\'{a}sek", title = "Automatic Design of Fault-Tolerant Systems for VHDL and SRAM-based FPGAs", pages = "549--552", booktitle = "Proceedings - 2021 24th Euromicro Conference on Digital System Design, DSD 2021", year = 2021, location = "Palermo, IT", publisher = "Institute of Electrical and Electronics Engineers", ISBN = "978-1-6654-2703-6", doi = "10.1109/DSD53832.2021.00088", language = "english", url = "https://www.fit.vut.cz/research/publication/12488" }