Detail výsledku

High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design

MATOUŠEK, P.; SMRČKA, A.; VOJNAR, T. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science. Lecture Notes in Computer Science 3725/2005. Berlin: Springer Verlag, 2005. no. 3725, p. 371-375. ISBN: 978-3-540-29105-3. ISSN: 0302-9743.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A., UIFS (FIT)
Smrčka Aleš, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

The paper presents high-level modelling and formal analysis andverification on an FPGA-based multigigabit network monitoring systemcalled Scampi. Uppaal was applied in this work to establish somecorrectness and throughput results on a model intentionally built usingpatterns reusable in other similar projects. Some initial experimentswith parametric analysis using TReX were performed too.

Klíčová slova

formal analysis and verification, timed automata, parametric analysis, FPGA, hardware, computer networks

URL
Rok
2005
Strany
371–375
Časopis
Lecture Notes in Computer Science, roč. 2005, č. 3725, ISSN 0302-9743
Sborník
Correct Hardware Design and Verification Methods
Řada
Lecture Notes in Computer Science 3725/2005
Konference
CHARME2005
ISBN
978-3-540-29105-3
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT30742,
  author="Petr {Matoušek} and Aleš {Smrčka} and Tomáš {Vojnar}",
  title="High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design",
  booktitle="Correct Hardware Design and Verification Methods",
  year="2005",
  series="Lecture Notes in Computer Science 3725/2005",
  journal="Lecture Notes in Computer Science",
  volume="2005",
  number="3725",
  pages="371--375",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-29105-3",
  issn="0302-9743",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/smv-charme-05.ps.gz"
}
Projekty
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Optická síť národního výzkumu a její nové aplikace, MŠMT, Výzkumná centra (2000-2004), MSM6383917201, zahájení: 2004-01-01, ukončení: 2010-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav informačních systémů (UIFS)
Ústav inteligentních systémů (UITS)
Nahoru