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í se využitím techniky funkční verifikace jako nástroje pro ověřování metodik pro zajiš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 stavu poznání v řešené oblasti. Představen je také návrh řešení, jehož součástí je rozdě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í vlivu poruch 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 část experimentá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"
}