Modeling RF Communication in Sensor Networks by Probabilistic Model Checking
Sprache des Titels:
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.