RISC RISC Research Institute for Symbolic Computation  

Performance Analysis of Wireless Sensor Networks

This joint project with the University of Debrecen in Hungary runs from April 1, 2015 to March 31, 2016. It is sponsored by the Stiftung Aktion Österreich-Ungarn under the contract 90öu6.

In this project we formally model and analyze wireless sensor networks where sensors cycle between active periods with high energy consumption and sleeping periods with low energy consumption; the goal is to compare various strategies for switching between these states with respect to different characteristica. The techniques employed in this project are finite source multi-priority queues and probabilistic model checking.


Austria: Research Institute for Symbolic Computation
Hungary: University of Debrecen

Reports and Publications

Wolfgang Schreiner
Last modified: Mon Jan 12 11:39:20 CET 2015