Result Details

Abstract Model Verification of the Lookup Processor

SMRČKA, A. Abstract Model Verification of the Lookup Processor. In Proceedings of MOSIS'05. Ostrava: 2005. p. 138-145. ISBN: 80-86840-10-7.
Type
conference paper
Language
English
Authors
Smrčka Aleš, Ing., Ph.D., FIT (FIT), DITS (FIT)
Abstract

This paper describes the abstract model verification of the Lookupprocessor and its neighborhood. Lookup processor is the one componentof the COMBO-2XFP card which is developed by the Scampi project (thepart of a network adapter for getting statistic of transfered IPpackets). The main part of this paper takes a description of systemmodel creation and description of chosen abstractions with theirreasons and limitations. The models are created with respect to theperformance checking. There are also results from verification of theentire abstract model.

Keywords

scampi, abstract model verification, formal verification, abstractions, lookup processor

URL
Published
2005
Pages
138–145
Proceedings
Proceedings of MOSIS'05
Conference
MOSIS2005 - 39th Spring International Conference on Modelling and Simulation of Systems
ISBN
80-86840-10-7
Place
Ostrava
BibTeX 
@inproceedings{BUT17967,
  author="Aleš {Smrčka}",
  title="Abstract Model Verification of the Lookup Processor",
  booktitle="Proceedings of MOSIS'05",
  year="2005",
  pages="138--145",
  address="Ostrava",
  isbn="80-86840-10-7",
  url="http://www.fit.vutbr.cz/~smrcka/publications/amvlup05.ps"
}
Projects
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Departments
Department of Intelligent Systems (DITS)
Back to top