Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F10%3A86084669" target="_blank" >RIV/61989100:27240/10:86084669 - isvavai.cz</a>
Result on the web
<a href="http://ceur-ws.org/Vol-567/" target="_blank" >http://ceur-ws.org/Vol-567/</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
Original language description
Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as well. In this paper we show some possibilities of using a verification tool Uppaal on some variants of priority assignment algorithms. We present some possible models of such algorithms expressed as nets of timed automata, which are a modeling language of Uppaal.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1M0567" target="_blank" >1M0567: Centre for Applied Cybernetics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
CEUR Workshop Proceedings. Volume 567
ISSN
1613-0073
e-ISSN
—
Volume of the periodical
567
Issue of the periodical within the volume
2010
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
8
Pages from-to
147-154
UT code for WoS article
—
EID of the result in the Scopus database
—