Detail publikace
Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém
Náplní tohoto článku je představení práce zabývající sevyužitím techniky funkční verifikace jako nástroje pro ověřování metodik prozajištění odolnosti proti poruchám v systémech založených na FPGA. V tomtočlánku jsou představeny cíle disertační práce vycházející z aktuálního stavupoznání v řešené oblasti. Představen je také návrh řešení, jehož součástí jerozdělení procesu ověřování do tří fází: (1) klasická funkční verifikace, (2)funkční verifikace využívající FPGA a injektor poruch a (3) sledování vlivuporuch na mechanickou část. V této práci bude věnována pozornost zejména prvnía druhé fázi, které byly předmětem zkoumání v uplynulém roce. Jak již názevčlánku napovídá, budou zde prezentovány experimenty využívající verifikačníprostředí z první a druhé fáze pro sledování vlivu poruch na elektronickou částexperimentálního elektro-mechanického systému.
@inproceedings{BUT130991,
author="Jakub {Podivínský}",
title="Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém",
booktitle="Počítačové architektury a diagnostika PAD 2016",
year="2016",
pages="101--104",
publisher="Fakulta informačních technologií VUT v Brně",
address="Bořetice - Kraví Hora",
isbn="978-80-214-5376-0",
url="http://www.fit.vutbr.cz/events/pad2016/download/sbornik_pad_2016.pdf"
}