Conference paper

PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2018, pp. 33-34. ISBN 978-80-01-06456-6.
Publication language:english
Original title:Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller
Title (cs):Testování odolnosti proti poruchám: Eperimentální řídicí jednotka založená na procesoru
Pages:33-34
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:Czech Technical University
Keywords
FPGA
functional verification
robot controller
fault tolerance
fault injection
Annotation
Fault tolerance is one of the techniques that will ensure reliability of electronic systems. There are many fault-tolerance methodologies targeted towards various systems and technologies, and new methodologies are being investigated. It is also important to verify these techniques; this is the main topic of this paper. An evaluation platform for testing fault-tolerance methodologies targeted towards SRAM-based FPGAs (Field Programmable Gate Arrays) is presented and demonstrated. A robot for seeking a path through a maze and the processor-based robot controller serve as an experimental system case study. Experimental results with the unhardened and hardened versions of the processor-based robot controller are presented and discussed.
BibTeX:
@INPROCEEDINGS{
   author = {Jakub Podiv{\'{i}}nsk{\'{y}} and Zden{\v{e}}k
	Kot{\'{a}}sek},
   title = {Testing Fault Tolerance Properties: Soft-core
	Processor-based Experimental Robot Controller},
   pages = {33--34},
   booktitle = {Proceedings of the 6th Prague Embedded Systems Workshop},
   year = {2018},
   location = {Roztoky u Prahy, CZ},
   publisher = {Czech Technical University},
   ISBN = {978-80-01-06456-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11750}
}

Your IPv4 address: 3.84.139.101