Conference paper

PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub and KOTÁSEK Zdeněk. Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems. In: Proceedings of the 19th Euromicro Conference on Digital Systems Design. Limassol: IEEE Computer Society, 2016, pp. 487-494. ISBN 978-1-5090-2817-7. Available from: http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7723590
Publication language:english
Original title:Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems
Title (cs):Verifikace řídicí jednotky robota pro sledování vlivu poruch na elektro-mechanický systém
Pages:487-494
Proceedings:Proceedings of the 19th Euromicro Conference on Digital Systems Design
Conference:19th Euromicro Conference on Digital Systems Design
Place:Limassol, CY
Year:2016
URL:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7723590
ISBN:978-1-5090-2817-7
Publisher:IEEE Computer Society
Files: 
+Type Name Title Size Last modified
iconpodivinsky_cekan_lojda_dsd2016_sbornik.pdf467 KB2016-12-12 19:02:22
^ Select all
With selected:
Keywords
Functional Verification
Robot Controller
Electromechanical Systems
Fault Tolerance
Maze Generation
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Jakub Podiv{\'{i}}nsk{\'{y}} and Ond{\v{r}}ej {\v{C}}ekan
	and Jakub Lojda and Zden{\v{e}}k Kot{\'{a}}sek},
   title = {Verification of Robot Controller for Evaluating Impacts of
	Faults in Electro-mechanical Systems},
   pages = {487--494},
   booktitle = {Proceedings of the 19th Euromicro Conference on Digital
	Systems Design},
   year = {2016},
   location = {Limassol, CY},
   publisher = {IEEE Computer Society},
   ISBN = {978-1-5090-2817-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11160}
}

Your IPv4 address: 54.80.209.254
Switch to IPv6 connection

DNSSEC [dnssec]