|
|
|
|
|
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.