Abstract Model Verification of the Lookup Processor

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU55743" target="_blank" >RIV/00216305:26230/05:PU55743 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Abstract Model Verification of the Lookup Processor

Popis výsledku v původním jazyce

This paper describes the abstract model verification of the Lookup processor and its neighborhood. Lookup processor is the one component of the COMBO-2XFP card which is developed by the Scampi project (the part of a network adapter for getting statisticof transfered IP packets). The main part of this paper takes a description of system model creation and description of chosen abstractions with their reasons and limitations. The models are created with respect to the performance checking. There are alsoo results from verification of the entire abstract model.

Název v anglickém jazyce

Abstract Model Verification of the Lookup Processor

Popis výsledku anglicky

This paper describes the abstract model verification of the Lookup processor and its neighborhood. Lookup processor is the one component of the COMBO-2XFP card which is developed by the Scampi project (the part of a network adapter for getting statisticof transfered IP packets). The main part of this paper takes a description of system model creation and description of chosen abstractions with their reasons and limitations. The models are created with respect to the performance checking. There are alsoo results from verification of the entire abstract model.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F04%2F0780" target="_blank" >GA102/04/0780: Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2005

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of MOSIS'05

ISBN

80-86840-10-7

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

138-145

Název nakladatele

NEUVEDEN

Místo vydání

Ostrava

Místo konání akce

Hradec nad Moravicí

Datum konání akce

19. 4. 2005

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—