Publication Details

Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém

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: http://www.fit.vutbr.cz/events/pad2016/download/sbornik_pad_2016.pdf
English title
Functional Verification as a Tool for Evaluating Impact of Faults on Electro-mechanical System
Type
conference paper
Language
czech
Authors
URL
Keywords

FPGA

functional verification
fault tolerance evaluation
robot controller
Abstract

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.

Published
2016
Pages
101-104
Proceedings
Počítačové architektury a diagnostika PAD 2016
Conference
Počítačové architektury a diagnostika 2016, Bořetice, CZ
ISBN
978-80-214-5376-0
Publisher
Faculty of Information Technology BUT
Place
Bořetice - Kraví Hora, CZ
BibTeX
@INPROCEEDINGS{FITPUB11190,
   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 = "https://www.fit.vut.cz/research/publication/11190"
}
Back to top