Bérczes, Tamás, Guta, Gábor, Kusper, Gábor, Schreiner, Wolfgang, Sztrik, János (2010) Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems Annales Mathematicae et Informaticae. 37. pp. 51-75. ISSN 1787-5021 (Print), 1787-6117 (Online)
![[thumbnail of AMI_37_from51to75.pdf]](http://publikacio.uni-eszterhazy.hu/style/images/fileicons/text.png) |
pdf
AMI_37_from51to75.pdf Download (332kB) [error in script] |
Absztrakt (kivonat)
We describe the results of analyzing the performance model of a finitesource retrial queueing system with the probabilistic model checker PRISM. The system has been previously investigated with the help of the performance modeling environment MOSEL; we are able to accurately reproduce the results reported in literature. The present paper compares PRISM and MOSEL with respect to their modeling languages and ways of specifying performance queries and benchmark the executions of the tools.
| Mű típusa: | Folyóiratcikk - Journal article |
|---|---|
| Szerző: | Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Bérczes, Tamás NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Guta, Gábor NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Kusper, Gábor NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Schreiner, Wolfgang NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Sztrik, János NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző |
| Kapcsolódó URL-ek: | |
| Nyelv: | angol |
| Kötetszám: | 37. |
| ISSN: | 1787-5021 (Print), 1787-6117 (Online) |
| Felhasználó: | Tibor Gál |
| Dátum: | 06 Már 2019 18:22 |
| Utolsó módosítás: | 06 Már 2019 18:22 |
| URI: | http://publikacio.uni-eszterhazy.hu/id/eprint/3183 |
 |
Tétel nézet |
