Detail publikace

Software Fault Tolerance: the Evaluation by Functional Verification

ČEKAN, O.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. Software Fault Tolerance: the Evaluation by Functional Verification. In Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015. p. 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
anglicky
Autoři
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Podivínský Jakub, Ing., Ph.D. (UFYZ)
Kotásek Zdeněk, doc. Ing., CSc.
URL
Klíčová slova

Software Fault Tolerance SFT Processor Fault Injection Electro-mechanical Systems Functional Verification

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
ISBN
978-1-4673-8035-5
Vydavatel
IEEE Computer Society
Místo
Funchal
DOI
10.1109/DSD.2015.107
UT WoS
000382382300042
EID Scopus
2-s2.0-84958231364
BibTeX 
@inproceedings{BUT119910,
  author="Ondřej {Čekan} and Jakub {Podivínský} and Zdeněk {Kotásek}",
  title="Software Fault Tolerance: the Evaluation by Functional Verification",
  booktitle="Proceedings of the 18th Euromicro Conference on Digital Systems Design",
  year="2015",
  pages="284--287",
  publisher="IEEE Computer Society",
  address="Funchal",
  doi="10.1109/DSD.2015.107",
  isbn="978-1-4673-8035-5",
  url="https://ieeexplore.ieee.org/document/7302285"
}
Nahoru