Detail publikačního výsledku

A New Data Structure Based on Intervals

MATOUŠEK, P.

Originální název

A New Data Structure Based on Intervals

Anglický název

A New Data Structure Based on Intervals

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

 Traditional approaches to the verification of real-time systemsdeal with timed models where time is expressed by variables that arecompared with explicite values (e.g., integers). Parametric timed andcounter models use parameters to define constraints over clocks orcounters. Verification of automata with parameters isgenerally   undecidable. However, it is decidable for somerestricted   classes of parametric systems and moreover manypractical system outside of these classes may be successfully verifiedusing semi-algorithms. Analysis  mostly depends on the efficientdata structure that is used to express behavior of the system. In thispaper we discuss data structures used for representation of timedand  counter automata. We introduce a new data structure based onparametrized intervals for counter automata and operation that areneeded for verification. This structure makes operations over parametric counter automata simple in comparison to other approaches.

Anglický abstrakt

 Traditional approaches to the verification of real-time systemsdeal with timed models where time is expressed by variables that arecompared with explicite values (e.g., integers). Parametric timed andcounter models use parameters to define constraints over clocks orcounters. Verification of automata with parameters isgenerally   undecidable. However, it is decidable for somerestricted   classes of parametric systems and moreover manypractical system outside of these classes may be successfully verifiedusing semi-algorithms. Analysis  mostly depends on the efficientdata structure that is used to express behavior of the system. In thispaper we discuss data structures used for representation of timedand  counter automata. We introduce a new data structure based onparametrized intervals for counter automata and operation that areneeded for verification. This structure makes operations over parametric counter automata simple in comparison to other approaches.

Klíčová slova

parametric verification, symbolic data structure, intervals

Klíčová slova v angličtině

parametric verification, symbolic data structure, intervals

Autoři

MATOUŠEK, P.

Rok RIV

2011

Vydáno

20.12.2004

Místo

Bruxelles

Kniha

Proceedings of MOVEP'04

Strany od

16

Strany do

21

Strany počet

6

URL

http://www.fit.vutbr.cz/~matousp/doc/2004/movep04.pdf

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"
}