Fakulta informačních technologií VUT v Brně

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
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