Publication Details

Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation

LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 359-364. ISBN 978-1-5386-3299-4.
Czech title
Redundantní datové typy a operace v HLS a jejich využití k vyhodnocení odolnosti řadiče robota proti poruchám
Type
conference paper
Language
english
Authors
Keywords

High-Level Synthesis, Redundant Data Type, Redundant Operation, Data-Path, CatapultC, Fault Tolerance, Robot Controller, C++

Abstract

Some environments (e.g. space, aerospace or medical systems) require electronic systems to withstand an increased occurrence of faults. Moreover, the failure of these electronic systems 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 evaluate the degree of importance of individual system partitions when High-Level Synthesis (HLS) methodology is used. The importance of individual partitions was evaluated by the usage of our approach to fault-tolerant data-paths design which is based on the HLS input specification modification. The partitions are formed by sets of variables and operations. A brief description of the approach to fault tolerance in HLS is shown in the paper as well. Our experiments are evaluated using an SRAM-based FPGA evaluation platform which allows us to analyze fault tolerance properties of the Design Under Test (DUT). In the evaluation platform, functional verification in combination with fault injection is utilized.

Published
2017
Pages
359-364
Proceedings
Proceedings of IEEE East-West Design & Test Symposium
Conference
15th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM, Dr Zorana Đinđića 1, 21101, Novi Sad, RS
ISBN
978-1-5386-3299-4
Publisher
IEEE Computer Society
Place
Novi Sad, RS
DOI
UT WoS
000426878200100
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11493,
   author = "Jakub Lojda and Jakub Podiv\'{i}nsk\'{y} and Zden\v{e}k Kot\'{a}sek",
   title = "Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation",
   pages = "359--364",
   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.8110127",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11493"
}
Back to top