Ing. Jan Kořenek, Ph.D.

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.
Publication language:english
Original title:Online Protocol Testing for FPGA Based Fault Tolerant Systems
Title (cs):Online Protocol Testing for FPGA Based Fault Tolerant Systems
Pages:676-679
Proceedings:10th EUROMICRO Conference on Digital System Design DSD 2007
Conference:10th EUROMICRO Conference on Digital System Design
Place:Lubeck, Germany, DE
Year:2007
ISBN:0-7695-2978-X
Publisher:IEEE Computer Society
Files: 
++Type Name Title Size Last modified
icondsd07.pdf69,4 KB2008-04-01 10:23:08
^ Select all
With selected:
Keywords
Communication Protocol Testing, Fault Tolerant Systems, Checker, FPGA, VHDL
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8349}
}

Your IPv4 address: 54.163.210.170
Switch to IPv6 connection

DNSSEC [dnssec]