Detail publikace
Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS
Podivínský Jakub, Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Krčma Martin, Ing. (UPSY FIT VUT)
Vysokoúrovňová syntéza, datová cesta, CatapultC, odolnost proti poruchám, odolný proti poruchám, řadič robota, C++
Některé elektronické systémy pracují v kritických oblastech (např. ve vesmíru, letectví či medicíně). Poruchy v těchto systémech mohou vyústit ve vysoké finanční ztráty nebo ohrozit lidský život. Odolnost proti poruchám (OPP) je technika, která ošetřuje tyto situace. Článek prezentuje způsob zavedení OPP do datových cest, jenž je založen na modifikaci vstupního kódu vysokoúrovňové syntézy. Článek dále hodnotí vliv některých optimalizačních metod vysokoúrovňové syntézy na náchylnost k projevu poruch výsledného systému. Prezentovaná metoda využívá modifikace kódu v jazyce C++ před jeho zpracováním vysokoúrovňovou syntézou. Náš koncept cílí na obvody FPGA s konfigurační pamětí SRAM. Pro vyhodnocení využíváme naši evaluační platformu, jež je založena na funkční verifikaci v kombinaci s injekcí poruch.
@INPROCEEDINGS{FITPUB11492, author = "Jakub Lojda and Jakub Podiv\'{i}nsk\'{y} and Zden\v{e}k Kot\'{a}sek and Martin Kr\v{c}ma", title = "Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS", pages = "273--278", booktitle = "Proceedings of IEEE East-West Design \& Test Symposium", year = 2017, location = "Novi Sad, RS", publisher = "IEEE Computer Society", ISBN = "978-1-5386-3299-4", doi = "10.1109/EWDTS.2017.8110113", language = "english", url = "https://www.fit.vut.cz/research/publication/11492" }