Detail publikace

A New Data Structure Based on Intervals

MATOUŠEK, P. A New Data Structure Based on Intervals. In 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ím hodnotám (např. celočíselným). Parametrické časované automaty a automaty s čítači používají k definici podmínek na hodinami a čítači parametry. 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é pro reprezentaci časovaných automatů a automatů s čítači. Představíme zde novou 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
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