Publication result detail

Online Protocol Testing for FPGA Based Fault Tolerant Systems

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

Original Title

Online Protocol Testing for FPGA Based Fault Tolerant Systems

English Title

Online Protocol Testing for FPGA Based Fault Tolerant Systems

Type

Paper in proceedings outside WoS and Scopus

Original 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.

English 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.

Keywords

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

Key words in English

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

Authors

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

Released

29.08.2007

Publisher

IEEE Computer Society

Location

Lubeck, Germany

ISBN

0-7695-2978-X

Book

10th EUROMICRO Conference on Digital System Design DSD 2007

Pages from

676

Pages to

679

Pages count

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/"
}

Documents

dsd07