Detail publikace

A New Data Structure Based on Intervals

MATOUŠEK Petr. A New Data Structure Based on Intervals. In: Proceedings of MOVEP'04. Bruxelles, 2004, s. 16-21.
Název česky
Nová datová struktura postavená nad intervaly
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
URL
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
Konference
Winter School Modelling and Verifying, Brusel, BE
Místo
Bruxelles, BE
BibTeX 
@INPROCEEDINGS{FITPUB7657,
   author = "Petr Matou\v{s}ek",
   title = "A New Data Structure Based on Intervals",
   pages = "16--21",
   booktitle = "Proceedings of MOVEP'04",
   year = 2004,
   location = "Bruxelles, BE",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7657"
}
Nahoru