Detail publikace
Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation
Podivínský Jakub, Ing., Ph.D. (UFYZ)
Kotásek Zdeněk, doc. Ing., CSc.
Vysokoúrovňová syntéza, redundantní datový typ, redundantní operace, datová cesta, CatapultC, odolnost proti poruchám, řadič robota, C++
Některá prostředí (např. vesmír, letectví nebo medicína) vyžadují, aby elektronická zařízení zde využívaná vydržela zvýšený výskyt poruch. Navíc, selhání těchto systémů může způsobit ekonomické ztráty, příp. ohrozit lidský život. V takovém případě se využívá tzv. metod odolnosti proti poruchám (OPP). V článku je prezentována metoda vyhodnocení důležitosti jednotlivých částí systému za využití námi navržené metody vkládání redundance do algoritmu za účelem zvýšení OPP. Vkládání probíhá ještě před samotnou aplikací metod vysokoúrovňové syntézy. Metoda je v článku rovněž stručně popsána. Části systému jsou tvořeny operacemi a datovými proměnnými. Experimentální vyhodnocení je provedeno za využití FPGA s konfigurační pamětí SRAM a naší evaluační platformy, jež je založena na funkční verifikaci a injektoru poruch.
@inproceedings{BUT144465,
author="Jakub {Lojda} and Jakub {Podivínský} and Zdeněk {Kotásek}",
title="Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation",
booktitle="Proceedings of IEEE East-West Design & Test Symposium",
year="2017",
pages="359--364",
publisher="IEEE Computer Society",
address="Novi Sad",
doi="10.1109/EWDTS.2017.8110127",
isbn="978-1-5386-3299-4",
url="https://www.fit.vut.cz/research/publication/11493/"
}