Detail publikace

A New Data Structure Based on Intervals

MATOUŠEK, P. A New Data Structure Based on Intervals. Proceedings of MOVEP'04. Bruxelles: 2004. p. 16-21.
Název česky
Nová datová struktura postavená nad intervaly
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
URL
Klíčová slova

parametric verification, symbolic data structure, intervals

Abstrakt

Tradiční přístupy k verifikaci RT systémů pracují s časovými modely,kde je čas vyjádřen proměnnými, které se porovnávají vůči explicitnímhodnotám (např. celočíselným). Parametrické časované automaty aautomaty s čítači používají k definici podmínek na hodinami a čítačiparametry. Verifikace automatů s parametry je obecně nerozhodnutelná.Existují však omezené třídy parametrických systémů, které lze pomocísemi-algoritmických přístupů úspěšně verifikovat. Analýza často závisína efektivitě datové struktury, která se používá pro vyjádření chovánísystému. V tomto článku popisuje datové struktury používané proreprezentaci časovaných automatů a automatů s čítači. Představíme zdenovou strukturu založenou na intervalech s parametry pro automaty sčítači a operace nad ní.  Tato struktura zjednodušuje některéoperace ve srovnání s jinými přístupy.

Rok
2004
Strany
16–21
Sborník
Proceedings of MOVEP'04
Konference
Winter School Modelling and Verifying, Brusel, BE
Místo
Bruxelles
BibTeX 
@inproceedings{BUT17590,
  author="Petr {Matoušek}",
  title="A New Data Structure Based on Intervals",
  booktitle="Proceedings of MOVEP'04",
  year="2004",
  pages="16--21",
  address="Bruxelles",
  url="http://www.fit.vutbr.cz/~matousp/doc/2004/movep04.pdf"
}
Nahoru