Detail publikace
Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS
Podivínský Jakub, Ing., Ph.D. (UFYZ)
Kotásek Zdeněk, doc. Ing., CSc.
Krčma Martin, Ing., Ph.D. (UFYZ)
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{BUT144464,
author="Jakub {Lojda} and Jakub {Podivínský} and Zdeněk {Kotásek} and Martin {Krčma}",
title="Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS",
booktitle="Proceedings of IEEE East-West Design & Test Symposium",
year="2017",
pages="273--278",
publisher="IEEE Computer Society",
address="Novi Sad",
doi="10.1109/EWDTS.2017.8110113",
isbn="978-1-5386-3299-4",
url="https://www.fit.vut.cz/research/publication/11492/"
}