Detail publikace

Functional Verification Based Platform for Evaluating Fault Tolerance Properties

PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub, ZACHARIÁŠOVÁ Marcela, KRČMA Martin a KOTÁSEK Zdeněk. Functional Verification Based Platform for Evaluating Fault Tolerance Properties. Microprocessors and Microsystems, roč. 52, č. 5, 2017, s. 145-159. ISSN 0141-9331. Dostupné z: http://www.sciencedirect.com/science/article/pii/S0141933117300200
Název česky
Platforma pro ověřování odolnosti proti poruchám založena na funkční verifikaci
Typ
článek v časopise
Jazyk
angličtina
Autoři
URL
Klíčová slova

Funkční verifikace, řadič robota, elektro-mechanický systém, odolnost proti poruchám, generování bludiště

Abstrakt

Náplní tohoto článku je propojení technik funkční verifikace s mechanismy pro zajištění odolnosti proti poruchám v systémech založených na FPGA. V článku je představena platforma pro ověřování odolnosti proti poruchám propojující funkční verifikaci s injekci poruch do FPGA a tato platforma je demonstrována na experimentálním elektro-mechanickém systému, kterým je robot pro hledání cesty v bludišti. V tomto článku jsou řešeny dílčí problémy, jako je rozbor různých technik implementace elektronického řadiče na FPGA a jejich vliv na vlastnosti verifikačního prostředí. Důležitým prvkem celého systému je také generování verifikačních scénářů, což je v článku také zmíněno. Celý článek je završen sadou experimentů s experimentálním elektro-mechanickým systémem.

Rok
2017
Strany
145-159
Časopis
Microprocessors and Microsystems, roč. 52, č. 5, ISSN 0141-9331
Vydavatel
Elsevier Science
DOI
UT WoS
000407984000013
EID Scopus
BibTeX
@ARTICLE{FITPUB11318,
   author = "Jakub Podiv\'{i}nsk\'{y} and Ond\v{r}ej \v{C}ekan and Jakub Lojda and Marcela Zachari\'{a}\v{s}ov\'{a} and Martin Kr\v{c}ma and Zden\v{e}k Kot\'{a}sek",
   title = "Functional Verification Based Platform for Evaluating Fault Tolerance Properties",
   pages = "145--159",
   journal = "Microprocessors and Microsystems",
   volume = 52,
   number = 5,
   year = 2017,
   ISSN = "0141-9331",
   doi = "10.1016/j.micpro.2017.06.004",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11318"
}
Nahoru