Functional Verification as a Tool for Evaluating Impact of Faults on Electro-mechanical System

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APU121647" target="_blank" >RIV/00216305:26230/16:PU121647 - isvavai.cz</a>

Result on the web

<a href="http://www.fit.vutbr.cz/events/pad2016/download/sbornik_pad_2016.pdf" target="_blank" >http://www.fit.vutbr.cz/events/pad2016/download/sbornik_pad_2016.pdf</a>

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém

Original language description

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.

Czech name

Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém

Czech description

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.

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

20206 - Computer hardware and architecture

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2016

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Počítačové architektury a diagnostika PAD 2016

ISBN

978-80-214-5376-0

ISSN

—

e-ISSN

—

Number of pages

4

Pages from-to

101-104

Publisher name

Fakulta informačních technologií VUT v Brně

Place of publication

Bořetice - Kraví Hora

Event location

Bořetice

Event date

Sep 14, 2016

Type of event by nationality

CST - Celostátní akce

UT code for WoS article

—