Nová datová struktura postavená nad intervaly
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F04%3APU49304" target="_blank" >RIV/00216305:26230/04:PU49304 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A New Data Structure Based on Intervals
Popis výsledku v původním jazyce
Traditional approaches to the verification of real-time systems deal with timed models where time is expressed by variables that are compared with explicite values (e.g., integers). Parametric timed and counter models use parameters to define constraints over clocks or counters. Verification of automata with parameters is generally undecidable. However, it is decidable for some restricted classes of parametric systems and moreover many practical system outside of these classes mmay be successfully verified using semi-algorithms. Analysis mostly depends on the efficient data structure that is used to express behavior of the system. In this paper we discuss data structures used for representation of timed and counterautomata. We introduce a new data structure based on parametrized intervals for counter automata and operation that are needed for verification. This structure makes operations over parametric counter automata simple in comparison to
Název v anglickém jazyce
A New Data Structure Based on Intervals
Popis výsledku anglicky
Traditional approaches to the verification of real-time systems deal with timed models where time is expressed by variables that are compared with explicite values (e.g., integers). Parametric timed and counter models use parameters to define constraints over clocks or counters. Verification of automata with parameters is generally undecidable. However, it is decidable for some restricted classes of parametric systems and moreover many practical system outside of these classes mmay be successfully verified using semi-algorithms. Analysis mostly depends on the efficient data structure that is used to express behavior of the system. In this paper we discuss data structures used for representation of timed and counterautomata. We introduce a new data structure based on parametrized intervals for counter automata and operation that are needed for verification. This structure makes operations over parametric counter automata simple in comparison to
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2004
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of MOVEP'04
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
16-21
Název nakladatele
NEUVEDEN
Místo vydání
Bruxelles
Místo konání akce
Brusel
Datum konání akce
13. 12. 2004
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—