Detail publikace

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.
Název česky
Verifikace řídicí jednotky robota pro sledování vlivu poruch na elektro-mechanický systém
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Podivínský Jakub, Ing., Ph.D. (UFYZ)
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Lojda Jakub, Ing., Ph.D. (UPSY)
Kotásek Zdeněk, doc. Ing., CSc.
URL
Klíčová slova

Functional Verification Robot Controller Electromechanical Systems Fault Tolerance Maze Generation

Abstrakt

Článek se věnuje využití funkční verifikace jako nástroje pro ověřování vlivu poruch na elektro-mechanický systém. Je zde představeno verifikační prostředí implementované podle metodiky UVM, které slouží k monitorování elektronické části elektromechanického systému. Společně s injektorem poruch tvoří základ platformy pro ověřování metodik pro zajištění odolnosti proti poruchám.

Rok
2016
Strany
487–494
Sborník
Proceedings of the 19th Euromicro Conference on Digital Systems Design
ISBN
978-1-5090-2816-0
Vydavatel
IEEE Computer Society
Místo
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"
}
Nahoru