Publication Details

Online Protocol Testing for FPGA Based Fault Tolerant Systems

TOBOLA Jiří, KOTÁSEK Zdeněk, KOŘENEK Jan, MARTÍNEK Tomáš and STRAKA Martin. Online Protocol Testing for FPGA Based Fault Tolerant Systems. In: 10th EUROMICRO Conference on Digital System Design DSD 2007. Lubeck, Germany: IEEE Computer Society, 2007, pp. 676-679. ISBN 0-7695-2978-X.
Czech title
Online Protocol Testing for FPGA Based Fault Tolerant Systems
Type
conference paper
Language
english
Authors
Tobola Jiří, Ing., MBA (FIT BUT)
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT)
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT)
Martínek Tomáš, doc. Ing., Ph.D. (DCSY FIT BUT)
Straka Martin, Ing., Ph.D. (DCSY FIT BUT)
Keywords

Communication Protocol Testing, Fault Tolerant Systems, Checker, FPGA, VHDL

Abstract

In this paper, the methodology for automated design of checker for
communication protocol testing is presented. Based on the level of
checking, different design strategies can be performed - in the
paper the lowest level is presented. The definition of dedicated
language for the description of possible communication faults is
presented. The core generator is used to produce VHDL code
describing the behaviour of the checker.

Published
2007
Pages
676-679
Proceedings
10th EUROMICRO Conference on Digital System Design DSD 2007
Conference
10th EUROMICRO Conference on Digital System Design, Lübeck, DE
ISBN
0-7695-2978-X
Publisher
IEEE Computer Society
Place
Lubeck, Germany, DE
BibTeX 
@INPROCEEDINGS{FITPUB8349,
   author = "Ji\v{r}\'{i} Tobola and Zden\v{e}k Kot\'{a}sek and Jan Ko\v{r}enek and Tom\'{a}\v{s} Mart\'{i}nek and Martin Straka",
   title = "Online Protocol Testing for FPGA Based Fault Tolerant Systems",
   pages = "676--679",
   booktitle = "10th EUROMICRO Conference on Digital System Design DSD 2007",
   year = 2007,
   location = "Lubeck, Germany, DE",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-2978-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8349"
}
Files
Back to top