Probabilistic model checking on HPC systems for the performance analysis of mobile networks

Schreiner, Wolfgang, Bérczes, Tamás, Sztrik, János (2014) Probabilistic model checking on HPC systems for the performance analysis of mobile networks Annales Mathematicae et Informaticae. 43. pp. 123-144. ISSN 1787-5021 (Print), 1787-6117 (Online)

[thumbnail of AMI_43_from123to144.pdf] pdf
AMI_43_from123to144.pdf

Download (738kB) [error in script]

Absztrakt (kivonat)

We report on the use of HPC resources for the performance analysis of the mobile cellular network model described in “A New Finite-Source Queueing Model for Mobile Cellular Networks Applying Spectrum Renting” by Tien Van Do et al. That paper proposed a new finite-source retrial queueing model with spectrum renting that was analyzed with the MOSEL-2 tool. Our results show how this model can be also appropriately described and analyzed with the probabilistic model checker PRISM, although at some cost considering the formulation of the model; in particular, we are able to accurately reproduce most of the analytical results presented in that paper and thus increase the confidence in the previously presented results. However, we also outline some discrepancies which may hint to deficiencies of the original analysis. Moreover, by applying a parallel computing framework developed for this purpose, we are able to considerably speed up studies performed with the PRISM tool. The investigations are illustrated by figures and conclusions are drawn.

Mű típusa: Folyóiratcikk - Journal article
Szerző:
Szerző neve
Email
MTMT azonosító
ORCID azonosító
Közreműködés
Schreiner, Wolfgang
NEM RÉSZLETEZETT
NEM RÉSZLETEZETT
NEM RÉSZLETEZETT
Szerző
Bérczes, Tamás
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: 43.
ISSN: 1787-5021 (Print), 1787-6117 (Online)
Felhasználó: Tibor Gál
Dátum: 25 Feb 2019 18:29
Utolsó módosítás: 25 Feb 2019 18:29
URI: http://publikacio.uni-eszterhazy.hu/id/eprint/2865
Műveletek (bejelentkezés szükséges)
Tétel nézet Tétel nézet