Publication Details
Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Lojda Jakub, Ing., Ph.D. (DCSY)
Kotásek Zdeněk, doc. Ing., CSc.
Functional Verification
Robot Controller
Electromechanical Systems
Fault Tolerance
Maze Generation
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.
@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"
}