Result Details

Tools for Parametric Verification. A Comparison on A Case Study (extended abstract).

MATOUŠEK, P. Tools for Parametric Verification. A Comparison on A Case Study (extended abstract). Proceedings of the 5th Joint Workshop on FSCBS. Stirling: University of Stirling, 2004. p. 45-55. ISBN: 1-85769-197-0.
Type
conference paper
Language
English
Authors
Matoušek Petr, doc. Ing., Ph.D., M.A., FIT (FIT), DIFS (FIT)
Abstract

Protocol analysis involve several parameters in model specification,for instance, transmission delay or the length of the transmittingwindow. Verification of the model  with parameters issemi-decision process that depends on number of clocks, parameters andcounters in  the model. Using combination of differentverification tools for timed models as HyTech, TReX and Uppaal we areable to find relation between parameters satisfying desired property.The paper gives a report on synthesis of parameters of PGM protocol RFC3208. We built a formal model based onextended time automata with parameters and verified the reliabilityproperty. Our results automatically obtained from the model are consistent with previous results derivedmanually. The paper describes our experiences with parametricverification of multicast protocol PGM. Results mentioned in the workwere made with collaboration with Mihaela Sighireanu from LIAFA, Paris.

Keywords

protocol, parametric verification, timed system, tools

URL
Published
2004
Pages
45–55
Proceedings
Proceedings of the 5th Joint Workshop on FSCBS
Conference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85769-197-0
Publisher
University of Stirling
Place
Stirling
BibTeX 
@inproceedings{BUT17127,
  author="Petr {Matoušek}",
  title="Tools for Parametric Verification. A Comparison on A Case Study (extended abstract).",
  booktitle="Proceedings of the 5th Joint Workshop on FSCBS",
  year="2004",
  pages="45--55",
  publisher="University of Stirling",
  address="Stirling",
  isbn="1-85769-197-0",
  url="http://www.fit.vutbr.cz/~matousp/doc/2004/fscbs04.pdf"
}
Departments
Department of Information Systems (DIFS)
Back to top