Result Details

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

PODIVÍNSKÝ, J.; ČEKAN, O.; LOJDA, J.; KOTÁSEK, Z. 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. p. 487-494. ISBN: 978-1-5090-2816-0.
Type
conference paper
Language
English
Authors
Podivínský Jakub, Ing., Ph.D., DCSY (FIT)
Čekan Ondřej, Ing., Ph.D., DCSY (FIT)
Lojda Jakub, Ing., Ph.D., DCSY (FIT)
Kotásek Zdeněk, doc. Ing., CSc., DCSY (FIT), UTKO (FEEC)
Abstract

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.

Keywords

Functional Verification
Robot Controller
Electromechanical Systems
Fault Tolerance
Maze Generation

URL
Published
2016
Pages
487–494
Proceedings
Proceedings of the 19th Euromicro Conference on Digital Systems Design
Conference
19th Euromicro Conference on Digital Systems Design
ISBN
978-1-5090-2816-0
Publisher
IEEE Computer Society
Place
Limassol
DOI
10.1109/DSD.2016.38
UT WoS
000386638800063
EID Scopus
2-s2.0-84999029616
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"
}
Files
Projects
Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing, MŠMT, Společné technologické iniciativy, 7H14002, start: 2014-04-01, end: 2017-06-30, completed
Architektury paralelních a vestavěných počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-14-2297, start: 2014-01-01, end: 2016-12-31, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Research groups
Dependable Digital Systems Research Group (RG DEPSYS)
Departments
Department of Computer Systems (DCSY)
Back to top