Detail publikace

Software Fault Tolerance: the Evaluation by Functional Verification

ČEKAN Ondřej, PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. Software Fault Tolerance: the Evaluation by Functional Verification. In: Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015, s. 284-287. ISBN 978-1-4673-8035-5.
Název česky
Softwarová odolnost proti poruchám: vyhodnocení pomocí funkční verifikace
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt
Cílem tohoto příspěvku je prezentovat nový přístup ve vyhodnocování softwarové odolnosti proti poruchám. Výzkum je zaměřen na elektromechanické systémy, které jsou často řízeny procesory nebo systémy na čipu, proto byl použit procesor umístěný na FPGA. V příspěvku je představen způsob zabezpečení programu procesoru pomocí softwarové odolnosti proti poruchám a vyhodnocení tohoto zabezpečení je ověřováno pomocí softwarové injekce poruch. Rovněž je ukázán samotný proces generování takto zabezpečených programů.
Rok
2015
Strany
284-287
Sborník
Proceedings of the 18th Euromicro Conference on Digital Systems Design
Konference
18th Euromicro Conference on Digital Systems Design, Funchal, PT
ISBN
978-1-4673-8035-5
Vydavatel
IEEE Computer Society
Místo
Funchal, PT
DOI
BibTeX
@INPROCEEDINGS{FITPUB10977,
   author = "Ond\v{r}ej \v{C}ekan and Jakub Podiv\'{i}nsk\'{y} and Zden\v{e}k Kot\'{a}sek",
   title = "Software Fault Tolerance: the Evaluation by Functional Verification",
   pages = "284--287",
   booktitle = "Proceedings of the 18th Euromicro Conference on Digital Systems Design",
   year = 2015,
   location = "Funchal, PT",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-4673-8035-5",
   doi = "10.1109/DSD.2015.97",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10977"
}
Nahoru