A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A machine program for theorem-proving
Communications of the ACM
A coverage-preserving node scheduling scheme for large wireless sensor networks
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
Computers and Intractability; A Guide to the Theory of NP-Completeness
Computers and Intractability; A Guide to the Theory of NP-Completeness
An Incremental Self-Deployment Algorithm for Mobile Sensor Networks
Autonomous Robots
The coverage problem in a wireless sensor network
WSNA '03 Proceedings of the 2nd ACM international conference on Wireless sensor networks and applications
Probabilistic Coverage in Wireless Sensor Networks
LCN '05 Proceedings of the The IEEE Conference on Local Computer Networks 30th Anniversary
IEEE Transactions on Parallel and Distributed Systems
Greenhouse Asset Management Using Wireless Sensor-Actor Networks
UBICOMM '07 Proceedings of the International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
Decision procedures for bit-vectors, arrays and integers
Decision procedures for bit-vectors, arrays and integers
Network Planning for Heterogeneous Wireless Sensor Networks in Environmental Survivability
ICTAI '09 Proceedings of the 2009 21st IEEE International Conference on Tools with Artificial Intelligence
Partial Coverage in Homological Sensor Networks
WIMOB '09 Proceedings of the 2009 IEEE International Conference on Wireless and Mobile Computing, Networking and Communications
Coverage-time optimization for clustered wireless sensor networks: a power-balancing approach
IEEE/ACM Transactions on Networking (TON)
Wireless sensor network design for tactical military applications: remote large-scale environments
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Research on Wireless Sensor Network Security
CIS '10 Proceedings of the 2010 International Conference on Computational Intelligence and Security
Distributed Synthesis of Control Protocols for Smart Camera Networks
ICCPS '11 Proceedings of the 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems
Review: From wireless sensor networks towards cyber physical systems
Pervasive and Mobile Computing
| Hi-index | 0.00 |
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.