Využití funkční verifikace pro ověřování metodik pro zajištění odolnosti proti poruchám
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F15%3APU117066" target="_blank" >RIV/00216305:26230/15:PU117066 - isvavai.cz</a>
Výsledek na webu
<a href="http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf" target="_blank" >http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Využití funkční verifikace pro ověřování metodik pro zajištění odolnosti proti poruchám
Popis výsledku v původním jazyce
Náplní tohoto článku je představení práce zabývající se aplikací funkční verifikace pro testování metodik pro zajištění odolnosti proti poruchám v systémech založených na FPGA. Je zde představena problematika obvodů FPGA, vlivu poruch a možnosti jejich eliminace. Na základě těchto poznatků jsou formulovány cíle práce a návrh jejich dosažení. Uveden je také přehled dosažených výsledků při řešení této práce. Mezi ně patří experimentální elektromechanický systém, první verze platformy pro testování metodik pro zajištění odolnosti proti poruchám a zejména verifikační prostředí pro procesor běžící na FPGA, který bude tvořit jádro dalšího experimentálního systému. Dosavadní výzkumná práce je shrnuta v časopise Microprocessors and Microsystems.
Název v anglickém jazyce
The use of functional verification for testing fault tolerance methodologies
Popis výsledku anglicky
The paper presents new use case od functional verification. There is presented the use od functional verification for testing fault tolerance metodologies.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20206 - Computer hardware and architecture
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Počítačové architektury a diagnostika PAD 2015
ISBN
978-80-7454-522-1
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
7-12
Název nakladatele
Univerzita Tomáše Bati ve Zlíně
Místo vydání
Zlín
Místo konání akce
Zlín
Datum konání akce
2. 9. 2015
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—