author = {Wolfgang Schreiner and Tamas Berczes and Janos Sztrik and Adam Toth},
title = {{Modeling RF Communication in Sensor Networks by Probabilistic Model Checking}},
language = {english},
abstract = {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.},
number = {15-21},
year = {2015},
month = {October},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
sponsor = {Supported by the project 90öu6 “Leistungsmodellierung von Drahtlosen Sensor-Netzwerken” of the Stiftung Ak- tion Österreich-Ungarn},
length = {25}