Detail publikace
The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs
PODIVÍNSKÝ, J.; KOTÁSEK, Z. The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs. Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017. p. 81-82. ISBN: 978-80-01-06178-7.
Název česky
Využití funkční verifikace pro sledování vlivu poruch na FPGA založená na SRAM
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Podivínský Jakub, Ing., Ph.D.
(UFYZ)
Kotásek Zdeněk, doc. Ing., CSc.
Kotásek Zdeněk, doc. Ing., CSc.
Klíčová slova
FPGA functional verification robot controller fault tolerance fault injection
Abstrakt
V tomto článku je představena platforma pro vyhodnocování vlivu poruch na elektro-mechanický systém založený na FPGA s konfigurací uloženou v SRAM. Funkční verifikace dohromady s injekcí poruch slouží jako nástroj pro ověřování odolnosti proti poruchám. V tomto článku je ukázáno využití tohoto přístupu na konkrétním příkladu. Náš experimentální systém je složen z robota a jeho řídicí jednotky implementované v FPGA. V článku jsou také představeny výsledky získané při procesu ověřování odolnosti proti poruchám.
Rok
2017
Strany
81–82
Sborník
Proceedings of the 5th Prague Embedded Systems Workshop
ISBN
978-80-01-06178-7
Vydavatel
Faculty of Information Technology, Czech Technical University
Místo
Roztoky u Prahy
BibTeX
@inproceedings{BUT144443,
author="Jakub {Podivínský} and Zdeněk {Kotásek}",
title="The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs",
booktitle="Proceedings of the 5th Prague Embedded Systems Workshop",
year="2017",
pages="81--82",
publisher="Faculty of Information Technology, Czech Technical University",
address="Roztoky u Prahy",
isbn="978-80-01-06178-7",
url="https://www.fit.vut.cz/research/publication/11452/"
}