Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth,
"Modeling RF Communication in Sensor Networks by Probabilistic Model Checking"
, Serie RISC Report Series, Nummer 15-21, RISC, RISC Hagenberg, 10-2015
Original Titel:
Modeling RF Communication in Sensor Networks by Probabilistic Model Checking
Sprache des Titels:
Englisch
Original Kurzfassung:
We report in this paper our results of modeling and analyzing with the probabilistic model checker PRISM a system of radio frequency (RF) transmission in sensor networks which has previously been studied in literature by using finite-source retrial queueing systems. We are able to validate with a small and quite transparent PRISM model the previously reported results (and also exhibit a minor error). Furthermore, we extend the model by also considering infinite sources and show that a previously suggested optimization has in this model beneficial effects only in a comparatively small parameter range.
Forschungs-