Result Details

Online Protocol Testing for FPGA Based Fault Tolerant Systems

TOBOLA, J.; KOTÁSEK, Z.; KOŘENEK, J.; MARTÍNEK, T.; STRAKA, M. Online Protocol Testing for FPGA Based Fault Tolerant Systems. 10th EUROMICRO Conference on Digital System Design DSD 2007. Lubeck, Germany: IEEE Computer Society, 2007. p. 676-679. ISBN: 0-7695-2978-X.
Type
conference paper
Language
English
Authors
Tobola Jiří, Ing., MBA, FIT (FIT)
Kotásek Zdeněk, doc. Ing., CSc., DCSY (FIT), UTKO (FEEC)
Kořenek Jan, doc. Ing., Ph.D., FIT (FIT), DCSY (FIT)
Martínek Tomáš, doc. Ing., Ph.D., FIT (FIT), DCSY (FIT)
Straka Martin, Ing., Ph.D., FIT (FIT), DCSY (FIT)
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

Published
2007
Pages
676–679
Proceedings
10th EUROMICRO Conference on Digital System Design DSD 2007
Conference
10th EUROMICRO Conference on Digital System Design
ISBN
0-7695-2978-X
Publisher
IEEE Computer Society
Place
Lubeck, Germany
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/"
}
Files
Projects
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Dependable Digital Systems Research Group (RG DEPSYS)
Departments
Department of Computer Systems (DCSY)
Back to top