Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM081502
Első szerző:Schreiner, Wolfgang
Cím:Applying Statistical Model Checking to the Analysis of a Retrial Queueing System with Constant Time Impatience / Wolfgang Schreiner, János Sztrik
Dátum:2019
Megjelenés:Linz : Johannes Kepler University, 2019
Terjedelem:11 p.
Megjegyzések:(RISC-Linz Report Series ; 19-12)
We report on experiments with the automated analysis of a finite-source queueing systemwith an unreliable server where clients abort unserved requests after some maximum (con-stant) amount of time. In earlier work, we created a CTMC model of this system where theconstant time bound was approximated by an Erlang distribution and analyzed this modelwith the probabilistic model checker PRISM. However, due to state space explosion onlyinstances of the system with a very small number of clients could be analyzed. In this paper,we extend the results to larger systems by applying the statistical model checking capabilitiesof PRISM where results are approximated by sampling a large number of simulation runs.In particular, we address the change from the analysis of the steady state behavior of thesystem to the analysis of finite runs of the system and the trade-off between the accuracy ofthe results and the computational efforts needed to derive them.
Tárgyszavak:Műszaki tudományok Informatikai tudományok kutatási jelentés
könyv
További szerzők:Sztrik János (1953-) (informatikus, matematikus) RISC-Linz Report Series
Pályázati támogatás:2017-2.2.4-TeT-AT-2017-00010
egyéb
Aktion sterr eich-Ungarn project 101u7
egyéb
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1