Detail publikace

Využití funkční verifikace pro ověřování metodik pro zajištění odolnosti proti poruchám

PODIVÍNSKÝ, J.

Originální název

Využití funkční verifikace pro ověřování metodik pro zajištění odolnosti proti poruchám

Anglický název

The use of functional verification for testing fault tolerance methodologies

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í 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.

Anglický abstrakt

The paper presents new use case od functional verification. There is presented the use od functional verification for testing fault tolerance metodologies.

Klíčová slova v angličtině

FPGAfunctional verificationfault tolerance evaluationrobot controller

Autoři

PODIVÍNSKÝ, J.

Rok RIV

2015

Vydáno

2. 9. 2015

Nakladatel

Univerzita Tomáše Bati ve Zlíně

Místo

Zlín

ISBN

978-80-7454-522-1

Kniha

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

Strany od

7

Strany do

12

Strany počet

6

URL

http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf

BibTex

@inproceedings{BUT119923,
  author="Jakub {Podivínský}",
  title="Využití funkční verifikace pro ověřování metodik  pro zajištění  odolnosti proti poruchám",
  booktitle="Počítačové architektury a diagnostika PAD 2015",
  year="2015",
  pages="7--12",
  publisher="Univerzita Tomáše Bati ve Zlíně",
  address="Zlín",
  isbn="978-80-7454-522-1",
  url="http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf"
}