Tamas Berczes, Gabor Guta, Janos Sztrik, Wolfgang Schreiner, Gabor Kusper,
"Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analyzing Retrial Queueing Systems"
, Serie RISC Report Series, Nummer 07-17, RISC, Johannes Kepler University Linz, Altenbergerstraße 69, 4040 Linz, Austria, 2007
Original Titel:
Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analyzing Retrial Queueing Systems
Sprache des Titels:
Englisch
Original Kurzfassung:
We describe the results of analyzing the performance model of a retrial queueing system with the probabilistic model checker PRISM. The system has been previously analyzed with the help of the performance modeling environment MOSEL; we are able to accurately reproduce the results reported in literature. Furthermore, we compare PRISM and MOSEL with respect to their modeling languages and ways of specifying performance queries and benchmark the executions of the tools.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC
Verlagsanschrift:
Johannes Kepler University Linz, Altenbergerstraße 69, 4040 Linz, Austria
Forschungs-