Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
PODIVÍNSKÝ, J. ČEKAN, O. LOJDA, J. KOTÁSEK, Z.
Originální název
Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
Functional Verification Robot Controller Electromechanical Systems Fault Tolerance Maze Generation
Autoři
PODIVÍNSKÝ, J.; ČEKAN, O.; LOJDA, J.; KOTÁSEK, Z.
Vydáno
31. 8. 2016
Nakladatel
IEEE Computer Society
Místo
Limassol
ISBN
978-1-5090-2816-0
Kniha
Proceedings of the 19th Euromicro Conference on Digital Systems Design
Strany od
487
Strany do
494
Strany počet
8
URL
http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7723590
BibTex
@inproceedings{BUT130971, author="Jakub {Podivínský} and Ondřej {Čekan} and Jakub {Lojda} and Zdeněk {Kotásek}", title="Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems", booktitle="Proceedings of the 19th Euromicro Conference on Digital Systems Design", year="2016", pages="487--494", publisher="IEEE Computer Society", address="Limassol", doi="10.1109/DSD.2016.38", isbn="978-1-5090-2816-0", url="http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7723590" }