Detail publikace

The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs

PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Fakulta informačních technologií ČVUT, 2017, s. 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
angličtina
Autoři
Podivínský Jakub, Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
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
Konference
The 5th Prague Embedded Systems Workshop, Roztoky u Prahy, CZ
ISBN
978-80-01-06178-7
Vydavatel
Fakulta informačních technologií ČVUT
Místo
Roztoky u Prahy, CZ
BibTeX 
@INPROCEEDINGS{FITPUB11452,
   author = "Jakub Podiv\'{i}nsk\'{y} and Zden\v{e}k Kot\'{a}sek",
   title = "The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs",
   pages = "81--82",
   booktitle = "Proceedings of the 5th Prague Embedded Systems Workshop",
   year = 2017,
   location = "Roztoky u Prahy, CZ",
   publisher = "Faculty of Information Technology, Czech Technical University",
   ISBN = "978-80-01-06178-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11452"
}
Nahoru