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
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"
}
Nahoru