Detail publikačního výsledku

Online Protocol Testing for FPGA Based Fault Tolerant Systems

TOBOLA, J.; KOTÁSEK, Z.; KOŘENEK, J.; MARTÍNEK, T.; STRAKA, M.

Originální název

Online Protocol Testing for FPGA Based Fault Tolerant Systems

Anglický název

Online Protocol Testing for FPGA Based Fault Tolerant Systems

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

TOBOLA, J.; KOTÁSEK, Z.; KOŘENEK, J.; MARTÍNEK, T.; STRAKA, M.

Vydáno

29.08.2007

Nakladatel

IEEE Computer Society

Místo

Lubeck, Germany

ISBN

0-7695-2978-X

Kniha

10th EUROMICRO Conference on Digital System Design DSD 2007

Strany od

676

Strany do

679

Strany počet

4

URL

https://www.fit.vut.cz/research/publication/8349/

BibTex

@inproceedings{BUT28607,
  author="Jiří {Tobola} and Zdeněk {Kotásek} and Jan {Kořenek} and Tomáš {Martínek} and Martin {Straka}",
  title="Online Protocol Testing for FPGA Based Fault Tolerant Systems",
  booktitle="10th EUROMICRO Conference on Digital System Design DSD 2007",
  year="2007",
  pages="676--679",
  publisher="IEEE Computer Society",
  address="Lubeck, Germany",
  isbn="0-7695-2978-X",
  url="https://www.fit.vut.cz/research/publication/8349/"
}

Dokumenty

dsd07