Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7723590" target="_blank" >http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7723590</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/DSD.2016.38" target="_blank" >10.1109/DSD.2016.38</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems

Popis výsledku v původním jazyce

Functional verification is a modern approach to verifying that digital system complies with its specification. Verification environment for functional verification of robot controller which searches path for the robot through maze is presented in this paper. This verification environment is designed according to the UVM (Universal Verification Methodology) principles. As an interesting feature of the verification environment we see the use of mechanical part (robot in a maze) simulation. The article describes the use of the verification environment for evaluating impacts of faults in electro-mechanical systems. The experimental results gained from the verification process are also presented in the paper. The verification environment will serve as a tool for automating fault tolerance evaluation of electro-mechanical systems and together with the fault injector will form the basis of the verification platform in the future.

Název v anglickém jazyce

Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems

Popis výsledku anglicky

Functional verification is a modern approach to verifying that digital system complies with its specification. Verification environment for functional verification of robot controller which searches path for the robot through maze is presented in this paper. This verification environment is designed according to the UVM (Universal Verification Methodology) principles. As an interesting feature of the verification environment we see the use of mechanical part (robot in a maze) simulation. The article describes the use of the verification environment for evaluating impacts of faults in electro-mechanical systems. The experimental results gained from the verification process are also presented in the paper. The verification environment will serve as a tool for automating fault tolerance evaluation of electro-mechanical systems and together with the fault injector will form the basis of the verification platform in the future.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

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

Proceedings of the 19th Euromicro Conference on Digital Systems Design

ISBN

978-1-5090-2816-0

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

487-494

Název nakladatele

IEEE Computer Society

Místo vydání

Limassol

Místo konání akce

Limassol

Datum konání akce

31. 8. 2016

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

WRD - Celosvětová akce

Kód UT WoS článku

000386638800063