Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Tobola Jiří, Ing., MBA, FIT (FIT)
Kotásek Zdeněk, doc. Ing., CSc., UPSY (FIT), UTKO (FEKT)
Kořenek Jan, doc. Ing., Ph.D., FIT (FIT), UPSY (FIT)
Martínek Tomáš, doc. Ing., Ph.D., FIT (FIT), UPSY (FIT)
Straka Martin, Ing., Ph.D., FIT (FIT), UPSY (FIT)
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

Rok
2007
Strany
676–679
Sborník
10th EUROMICRO Conference on Digital System Design DSD 2007
Konference
10th EUROMICRO Conference on Digital System Design
ISBN
0-7695-2978-X
Vydavatel
IEEE Computer Society
Místo
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/"
}
Soubory
Projekty
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru