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

Kód výsledku v 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>

Výsledek na webu

<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

—

Jazyk výsledku

čeština

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

The aim of this paper is to present a new platform for testing fault tolerance methodologies in context of electro-mechanical systems composed of SRAM-based FPGAs. Functional verification together with the fault injector serve as a tool for the fault tolerance evaluation. The article demonstrates the use of the verification environment for evaluating impacts of faults in electro-mechanical systems. Our experimental system consists of mechanical robot and its electronic controller implemented into FPGA.  The experimental results gained from the verification process are also presented and discussed in the paper.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20206 - Computer hardware and architecture

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2016

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ů

Název statě ve sborníku

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

ISBN

978-80-214-5376-0

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

101-104

Název nakladatele

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

Místo vydání

Bořetice - Kraví Hora

Místo konání akce

Bořetice

Datum konání akce

14. 9. 2016

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—