Department of Computer Systems

Conference paper

PODIVÍNSKÝ Jakub. Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém. In: Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Faculty of Information Technology BUT, 2016, pp. 101-104. ISBN 978-80-214-5376-0. Available from:
Publication language:czech
Original title:Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém
Title (en):Functional Verification as a Tool for Evaluating Impact of Faults on Electro-mechanical System
Proceedings:Počítačové architektury a diagnostika PAD 2016
Conference:Počítačové architektury a diagnostika 2016
Place:Bořetice - Kraví Hora, CZ
Publisher:Faculty of Information Technology BUT
+Type Name Title Size Last modified
iconpodivinsky_pad2016_sbornik.pdf6,39 MB2016-12-12 18:59:13
^ Select all
With selected:
functional verification
fault tolerance evaluation
robot controller
The aim of this paper is to present a new platform for testing fault tolerance methodologies in context of electro-mechanical systems composed of SRAM-based FPGAs. Functional verification together with the fault injector serve as a tool for the fault tolerance evaluation. The article demonstrates the use of the verification environment for evaluating impacts of faults in electro-mechanical systems. Our experimental system consists of mechanical robot and its electronic controller implemented into FPGA.  The experimental results gained from the verification process are also presented and discussed in the paper.
   author = {Jakub Podiv{\'{i}}nsk{\'{y}}},
   title = {Funk{\v{c}}n{\'{i}} verifikace jako n{\'{a}}stroj pro
	sledov{\'{a}}n{\'{i}} vlivu poruch na
	elektro-mechanick{\'{y}} syst{\'{e}}m},
   pages = {101--104},
   booktitle = {Po{\v{c}}{\'{i}}ta{\v{c}}ov{\'{e}} architektury a
	diagnostika PAD 2016},
   year = {2016},
   location = {Bo{\v{r}}etice - Krav{\'{i}} Hora, CZ},
   publisher = {Faculty of Information Technology BUT},
   ISBN = {978-80-214-5376-0},
   language = {czech},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]