Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
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
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 19th Euromicro Conference on Digital Systems Design
ISBN
978-1-5090-2816-0
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
487-494
Publisher name
IEEE Computer Society
Place of publication
Limassol
Event location
Limassol
Event date
Aug 31, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000386638800063