Detail výsledku

Symbolic Data Structure Based on Intervals for Parametric Verification

MATOUŠEK, P. Symbolic Data Structure Based on Intervals for Parametric Verification. Seminary UIFS, FIT VUT Brno: 2005. 30 p.
Typ
přednáška
Jazyk
angličtina
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A., CESA (CESA), FIT (FIT), UIFS (FIT)
Klíčová slova

symbolic data structure, parametric verification, intervals

URL
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"
}
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru