Detail publikace
Verification of Fault-tolerant Methodologies for FPGA Systems
ZACHARIÁŠOVÁ Marcela, KAŠTIL Jan a KOTÁSEK Zdeněk. Verification of Fault-tolerant Methodologies for FPGA Systems. In: The First Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN'12). Annecy: Politecnico di Milano, 2012, s. 55-58.
Název česky
Verifikace systémů odolných vůči poruchám pro FPGA systémy
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Kaštil Jan, Ing. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Kaštil Jan, Ing. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Klíčová slova
systémy odolné vůči poruchám, FPGA, parciální dynamická rekonfigurace
Abstrakt
Cílem příspěvku bylo najít spůsob, jak využít a porovnat různé FT metodiky se kterými sme již pracovali a které jsou nové v oblasti návrhu FT systémů. Prezentovali jsme platformu pro testování FT metodik implementovaných na FPGA. Testování je založeno na softwarové injekci poruch do vybraného regionu FPGA z PC cez JTAG rozhraní. Po injekci poruchy je možné prozkoumat její efekt pomocí efektivní sady testovacích vektorů.
Rok
2012
Strany
55-58
Sborník
The First Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN'12)
Konference
MEDIAN, Annecy, FR
Vydavatel
Politecnico di Milano
Místo
Annecy, FR
BibTeX
@INPROCEEDINGS{FITPUB10086, author = "Marcela Zachari\'{a}\v{s}ov\'{a} and Jan Ka\v{s}til and Zden\v{e}k Kot\'{a}sek", title = "Verification of Fault-tolerant Methodologies for FPGA Systems", pages = "55--58", booktitle = "The First Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN'12)", year = 2012, location = "Annecy, FR", publisher = "Politecnico di Milano", language = "english", url = "https://www.fit.vut.cz/research/publication/10086" }