2016
Schedulers are no Prophets
HARTMANNS, Arnd; Holger HERMANNS a Jan KRČÁLZákladní údaje
Originální název
Schedulers are no Prophets
Autoři
HARTMANNS, Arnd; Holger HERMANNS a Jan KRČÁL
Vydání
Berlin, Semantics, Logics, and Calculi, od s. 214-235, 22 s. 2016
Nakladatel
Springer International Publishing
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Impakt faktor
Impact factor: 0.402 v roce 2005
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/16:00088807
Organizační jednotka
Fakulta informatiky
ISBN
978-3-319-27809-4
ISSN
UT WoS
EID Scopus
Klíčová slova anglicky
schedulers; continuous-time; stochastic automata; stochastic timed automata
Změněno: 27. 4. 2017 09:37, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
Several formalisms for concurrent computation have been proposed in recent years that incorporate means to express stochastic continuous-time dynamics and non-determinism. In this setting, some obscure phenomena are known to exist, related to the fact that schedulers may yield too pessimistic verification results, since current non-determinism can surprisingly be resolved based on prophesying the timing of future random events. This paper provides a thorough investigation of the problem, and it presents a solution: Based on a novel semantics of stochastic automata, we identify the class of schedulers strictly unable to prophesy, and show a path towards verification algorithms with respect to that class. The latter uses an encoding into the model of stochastic timed automata under arbitrary schedulers, for which model checking tool support has recently become available.
Návaznosti
| GBP202/12/G061, projekt VaV |
|