Publication detail
A New Data Structure Based on Intervals
MATOUŠEK, P.
Original Title
A New Data Structure Based on Intervals
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
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.
Keywords
parametric verification, symbolic data structure, intervals
Authors
MATOUŠEK, P.
RIV year
2004
Released
20. 12. 2004
Location
Bruxelles
Pages from
16
Pages to
21
Pages count
6
URL
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"
}