Detail publikace

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

PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub a 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, s. 487-494. ISBN 978-1-5090-2816-0. Dostupné z: http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7723590
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
angličtina
Autoři
URL
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
Konference
19th Euromicro Conference on Digital Systems Design, Limassol, CY
ISBN
978-1-5090-2816-0
Vydavatel
IEEE Computer Society
Místo
Limassol, CY
DOI
UT WoS
000386638800063
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11160,
   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-2816-0",
   doi = "10.1109/DSD.2016.38",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11160"
}
Nahoru