About: Incremental Runtime Verification of Probabilistic Systems

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

About: Incremental Runtime Verification of Probabilistic Systems 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
rdfs:seeAlso	http://qav.comlab.ox.ac.uk/papers/rv12.pdf
Description	Probabilistic verification techniques have been proposed for runtime analysis of adaptive software systems, with the verification results being used to steer the system so that it satisfies certain Quality of Service requirements. Since systems evolve over time, and verification results are required promptly, efficiency is an essential issue. To address this, we present incremental verification techniques, which exploit the results of previous analyses. We target systems modelled as Markov decision processes, developing incremental methods for constructing models from high-level system descriptions and for numerical solution using policy iteration based on strongly connected components. A prototype implementation, based on the PRISM model checker, demonstrates performance improvements on a range of case studies. Probabilistic verification techniques have been proposed for runtime analysis of adaptive software systems, with the verification results being used to steer the system so that it satisfies certain Quality of Service requirements. Since systems evolve over time, and verification results are required promptly, efficiency is an essential issue. To address this, we present incremental verification techniques, which exploit the results of previous analyses. We target systems modelled as Markov decision processes, developing incremental methods for constructing models from high-level system descriptions and for numerical solution using policy iteration based on strongly connected components. A prototype implementation, based on the PRISM model checker, demonstrates performance improvements on a range of case studies. (en)
Title	Incremental Runtime Verification of Probabilistic Systems Incremental Runtime Verification of Probabilistic Systems (en)
skos:prefLabel	Incremental Runtime Verification of Probabilistic Systems Incremental Runtime Verification of Probabilistic Systems (en)
skos:notation	RIV/00216224:14330/13:00068068!RIV14-MSM-14330___
http://linked.open...avai/predkladatel	Fakulta informatiky
http://linked.open...avai/riv/aktivita	I P
http://linked.open...avai/riv/aktivity	I, P(LG13010)
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Forejt, Vojtěch
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
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	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	79511
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/13:00068068
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Runtime verification; scalability; stochastic systems (en)
http://linked.open.../riv/klicoveSlovo	stochastic systems scalability Runtime verification
http://linked.open...ontrolniKodProRIV	[DA40225FA379]
http://linked.open...v/mistoKonaniAkce	Istanbul
http://linked.open...i/riv/mistoVydani	Berlin, Heidelberg
http://linked.open...i/riv/nazevZdroje	Runtime Verification
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	Czech Republic representation in the European Research Consortium for Informatics and Mathematics (ERCIM)
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Forejt, Vojtěch Kwiatkowska, Marta Parker, David Qu, Hongyang Ujma, Mateusz
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2012-01-01 (xsd:date)
issn	0302-9743
number of pages	6 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-642-35632-2_30
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	9783642356315
http://localhost/t...ganizacniJednotka	14330

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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software