About: Using Uppaal for Verification of Priority Assignment in Real-Time Databases

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Using Uppaal for Verification of Priority Assignment in Real-Time Databases Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Model checking, as one area of formal verification, is recently subject of an intensive research. Many verification tools intended to check properties of models of systems were developed, mainly at universities. Many researches are also interested in real-time database management systems (RTDBMS). This article is focused on some possibilities of using a verification tool Uppaal on some variants of priority assignment algorithms used in RTDBMS. In the article are presented some possible models of such algorithms expressed as nets of timed automata, which are a modeling language of Uppaal and then some simulation and verification possibilities of Uppaal on those models. Model checking, as one area of formal verification, is recently subject of an intensive research. Many verification tools intended to check properties of models of systems were developed, mainly at universities. Many researches are also interested in real-time database management systems (RTDBMS). This article is focused on some possibilities of using a verification tool Uppaal on some variants of priority assignment algorithms used in RTDBMS. In the article are presented some possible models of such algorithms expressed as nets of timed automata, which are a modeling language of Uppaal and then some simulation and verification possibilities of Uppaal on those models. (en)
Title	Using Uppaal for Verification of Priority Assignment in Real-Time Databases Using Uppaal for Verification of Priority Assignment in Real-Time Databases (en)
skos:prefLabel	Using Uppaal for Verification of Priority Assignment in Real-Time Databases Using Uppaal for Verification of Priority Assignment in Real-Time Databases (en)
skos:notation	RIV/61989100:27240/11:86080823!RIV12-GA0-27240___
http://linked.open...avai/predkladatel	Fakulta elektrotechniky a informatiky
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(1M0567), P(GAP202/11/0340)
http://linked.open...iv/cisloPeriodika	PART 2
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Kot, Martin
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
http://linked.open...dnocenehoVysledku	237429
http://linked.open...ai/riv/idVysledku	RIV/61989100:27240/11:86080823
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Uppaal; verification tool; verification; model checking; timed automata; priority assignment; real-time database systems (en)
http://linked.open.../riv/klicoveSlovo	Uppaal priority assignment real-time database systems verification tool model checking verification timed automata
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[13FBBCCFEE2C]
http://linked.open...i/riv/nazevZdroje	Communications in Computer and Information Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Centre for Applied Cybernetics Modelling and verification of parallel systems
http://linked.open...UplatneniVysledku	2011
http://linked.open...v/svazekPeriodika	189
http://linked.open...iv/tvurceVysledku	Kot, Martin
issn	1865-0929
number of pages	15 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-642-22410-2_34
http://localhost/t...ganizacniJednotka	27240
is http://linked.open...avai/riv/vysledek of	Using Uppaal for Verification of Priority Assignment in Real-Time Databases Using Uppaal for Verification of Priority Assignment in Real-Time Databases

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software