Publication Details
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.
High-Level Synthesis, Redundant Data Type, Redundant Operation, Data-Path,
CatapultC, Fault Tolerance, Robot Controller, C++
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.
@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/"
}