Detail publikace

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

PODIVÍNSKÝ, J.

Originální název

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

Anglický název

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

čeština

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova v angličtině

FPGA

functional verification
fault tolerance evaluation
robot controller

Autoři

PODIVÍNSKÝ, J.

Vydáno

14. 9. 2016

Nakladatel

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

Místo

Bořetice - Kraví Hora

ISBN

978-80-214-5376-0

Kniha

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

Strany od

101

Strany do

104

Strany počet

4

URL

http://www.fit.vutbr.cz/events/pad2016/download/sbornik_pad_2016.pdf

BibTex

@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"
}

Dokumenty

podivinsky_pad2016_sbornik.pdf