Conference paper

LOJDA Jakub and KOTÁSEK Zdeněk. Fault Tolerance in HLS for the Purposes of Reliable System Design Automation. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2018, pp. 31-32. ISBN 978-80-01-06456-6.
Publication language:english
Original title:Fault Tolerance in HLS for the Purposes of Reliable System Design Automation
Title (cs):Odolnost proti poruchám při vysokoúrovňové syntéze pro účely automatizace návrhu spolehlivých systémů
Pages:31-32
Proceedings:Proceedings of the 6th Prague Embedded Systems Workshop
Conference:The 6th Prague Embedded Systems Workshop
Place:Roztoky u Prahy, CZ
Year:2018
ISBN:978-80-01-06456-6
Publisher:Faculty of Information Technology, Czech Technical University
Keywords
Fault Tolerance, High-Level Synthesis, Catapult C, Electronic Design Automation, Robot Controller, C++
Annotation
In the presentation, existing method to insert redundancy into HLS-generated systems will be briefly described alongside with its improvement in the form of a majority function selection. We found out that the type of the majority function affects not only the resulting reliability, but also the resources consumption. The presentation also addresses the level of redundancy selection, as we evaluated various numbers of redundant modules with multiple fault occurrences. The case study experiments are carried out with our robot verification platform utilizing the so-called left-hand algorithm and fault injection into a Field Programmable Gate Array (FPGA) implementing the robot controller. This approach is not limited to FPGAs, however, we use an FPGA technology during the evaluation for its wide range of applications and its versatility.
BibTeX:
@INPROCEEDINGS{
   author = {Jakub Lojda and Zden{\v{e}}k Kot{\'{a}}sek},
   title = {Fault Tolerance in HLS for the Purposes of
	Reliable System Design Automation},
   pages = {31--32},
   booktitle = {Proceedings of the 6th Prague Embedded Systems Workshop},
   year = {2018},
   location = {Roztoky u Prahy, CZ},
   publisher = {Faculty of Information Technology, Czech Technical
	University},
   ISBN = {978-80-01-06456-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11743}
}

Your IPv4 address: 54.234.227.202
Switch to https