@inproceedings{b79c765f727c490d8281de0cad45235e,
title = "Provable configuration planning for wireless sensor networks",
abstract = "Wireless Sensor Networks (WSNs) provide a flexible communication infrastructure for sensing and control. However, maintaining coverage is one of the most challenging tasks in configuring and deploying WSNs. Although there has been a significant amount research on providing coverage, most of the existing solutions focus on the coverage problem without giving attention to new sensing capabilities and dependability (security and reliability) requirements of WSN. Nevertheless, most of the existing techniques show limited scalability with the increasing number of sensors. In this paper, we present novel Satisfiability Modulo Theories (SMT) based formalizations to find the satisfying coverage configurations considering various practical security and reliability constraints. The presented approaches were implemented using Yices SMT Solver and evaluated extensively to show the feasibility and scalability of deploying our solutions in real-life WSN.",
keywords = "Formal Methods, Network Management, SMT, Wireless Sensor Network",
author = "Qi Duan and Saeed Al-Haj and Ehab Al-Shaer",
year = "2012",
language = "English",
isbn = "9783901882494",
series = "Proceedings of the 2012 8th International Conference on Network and Service Management, CNSM 2012",
pages = "316--321",
booktitle = "Proceedings of the 2012 8th International Conference on Network and Service Management, CNSM 2012",
note = "2012 8th International Conference on Network and Service Management, CNSM 2012 ; Conference date: 22-10-2012 Through 26-10-2012",
}