Detail publikace
Functional Verification Based Platform for Evaluating Fault Tolerance Properties
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Lojda Jakub, Ing., Ph.D. (UPSY)
Zachariášová Marcela, Ing., Ph.D. (UPSY)
Krčma Martin, Ing., Ph.D. (UFYZ)
Kotásek Zdeněk, doc. Ing., CSc.
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í verifikaces mechanismy pro zajištění odolnosti proti poruchám v systémech založených naFPGA. V článku je představena platforma pro ověřování odolnosti proti poruchámpropojující funkční verifikaci s injekci poruch do FPGA a tato platforma je demonstrovánana 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 rozborrůzných technik implementace elektronického řadiče na FPGA a jejich vliv navlastnosti 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 jezavršen sadou experimentů s experimentálním elektro-mechanickým systémem.
@article{BUT144405,
author="Jakub {Podivínský} and Ondřej {Čekan} and Jakub {Lojda} and Marcela {Zachariášová} and Martin {Krčma} and Zdeněk {Kotásek}",
title="Functional Verification Based Platform for Evaluating Fault Tolerance Properties",
journal="Microprocessors and Microsystems",
year="2017",
volume="52",
number="5",
pages="145--159",
doi="10.1016/j.micpro.2017.06.004",
issn="0141-9331",
url="http://www.sciencedirect.com/science/article/pii/S0141933117300200"
}