Detail výsledku

Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS

LOJDA, J.; PODIVÍNSKÝ, J.; KOTÁSEK, Z.; KRČMA, M. Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS. In Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017. p. 273-278. ISBN: 978-1-5386-3299-4.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Lojda Jakub, Ing., Ph.D., UPSY (FIT)
Podivínský Jakub, Ing., Ph.D., UPSY (FIT)
Kotásek Zdeněk, doc. Ing., CSc., UPSY (FIT), UTKO (FEKT)
Krčma Martin, Ing., Ph.D., UPSY (FIT)
Abstrakt

Some types of electronic systems are working in the environment with an increased occurrence of faults such as space, aerospace or medical systems. Faults in these systems can lead to the failure of the whole system and can cause high economical losses or endanger human health. Fault tolerance is one of the techniques, the goal of which is to avoid such situations. This paper presents an approach to fault-tolerant data-paths design that is based on the modification of High-level Synthesis (HLS) input specification. The description and evaluation of the impacts of some HLS optimization methods are demonstrated in the paper as well. Higher reliability is achieved through the modification of input description in the C++ programming language, which the HLS synthesis tools are based on. Our work targets SRAM-based FPGAs that are prone to Single Event Upsets (SEUs). For the evaluation of the proposed method we use our evaluation platform, which allows us to analyze fault tolerance properties of the Design Under Test (DUT). The evaluation platform is based on functional verification in combination with fault injection.

Klíčová slova

High Level Synthesis, Data-Path, CatapultC, Fault Tolerance, Fault-Tolerant, Robot Controller, C++

Rok
2017
Strany
273–278
Sborník
Proceedings of IEEE East-West Design & Test Symposium
Konference
15th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM
ISBN
978-1-5386-3299-4
Vydavatel
IEEE Computer Society
Místo
Novi Sad
DOI
UT WoS
000426878200086
EID Scopus
BibTeX
@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/"
}
Soubory
Projekty
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Pokročilé paralelní a vestavěné počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-3994, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
Výzkumné skupiny
Pracoviště
Nahoru