Symbolic Data Structure Based on Intervals for Parametric Verification

Název česky

Symbolické datové struktury založené nad intervaly pro parametrickou verifikaci

Typ

přednáška

Jazyk

anglicky

Autoři

Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)

URL

http://www.fit.vutbr.cz/~matousp/doc/2005/phcubes2005.pdf

Klíčová slova

symbolic data structure, parametric verification, intervals

Abstrakt

Úspěšná analýza časovaných systému s parametry závisí ve velké míře na způsobu representace dat (zejména hodin a čítačů). Tradiční techniky využívají parametrické DBMs (např. TReX) nebo mnohostěny (Hytech). Zde představíme novou datovou strukturu založenou na intervalech a operace nad ní. Tato struktura redukuje stavový prostor potřebný pro uložení data, zjednodušuje některé operace nad daty a rozšiřuje vyjadřovací schopnost při zápisu podmínek nad hranami v modelu ve srovnání s ostatními metodami. Návrh a implementace této struktury je náplní disertační práce autora.

Anotace

Úspěšná analýza časovaných systému s parametry závisí ve velké míře na způsobu representace dat (zejména hodin a čítačů). Tradiční techniky využívají parametrické DBMs (např. TReX) nebo mnohostěny (Hytech). Zde představíme novou datovou strukturu založenou na intervalech a operace nad ní. Tato struktura redukuje stavový prostor potřebný pro uložení data, zjednodušuje některé operace nad daty a rozšiřuje vyjadřovací schopnost při zápisu podmínek nad hranami v modelu ve srovnání s ostatními metodami. Návrh a implementace této struktury je náplní disertační práce autora.

Rok

2005

Strany

30

Místo

Seminary UIFS, FIT VUT Brno

BibTeX

@misc{BUT64635,
  author="Petr {Matoušek}",
  title="Symbolic Data Structure Based on Intervals for Parametric Verification",
  year="2005",
  pages="30",
  address="Seminary UIFS, FIT VUT Brno",
  url="http://www.fit.vutbr.cz/~matousp/doc/2005/phcubes2005.pdf",
  note="lecture"
}