Conference paper

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-3298-7.
Publication language:english
Original title:Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation
Title (cs):Redundantní datové typy a operace v HLS a jejich využití k vyhodnocení odolnosti řadiče robota proti poruchám
Pages:359-364
Proceedings:Proceedings of IEEE East-West Design & Test Symposium
Conference:15th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM
Place:Novi Sad, RS
Year:2017
ISBN:978-1-5386-3298-7
Publisher:IEEE Computer Society
Files: 
+Type Name Title Size Last modified
iconEWDTS_2017_lojda2.pdf1,03 MB2017-10-04 16:39:14
^ Select all
With selected:
Keywords
High-Level Synthesis, Redundant Data Type, Redundant Operation, Data-Path, CatapultC, Fault Tolerance, Robot Controller, C++
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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-3298-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=11493}
}

Your IPv4 address: 54.158.212.93
Switch to IPv6 connection

DNSSEC [dnssec]