Detail publikace
Functional Verification Based Platform for Evaluating Fault Tolerance Properties
Čekan Ondřej, Ing., Ph.D. (UPSY FIT VUT)
Lojda Jakub, Ing., Ph.D. (UPSY FIT VUT)
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Krčma Martin, Ing. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Funkční verifikace, řadič robota, elektro-mechanický systém, odolnost proti poruchám, generování bludiště
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.
@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"
}