Provable configuration planning for wireless sensor networks
CNSM（2012）
摘要
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 Vices SMT Solver and evaluated extensively to show the feasibility and scalability of deploying our solutions in real-life WSN.
更多查看译文
关键词
existing technique,vices smt solver,flexible communication infrastructure,real-life wsn,deploying wsns,security constraints,formal methods,wireless sensor network,existing solution,telecommunication network reliability,coverage problem,satisfying coverage,reliability constraint,sensing dependability,smt based formalizations,satisfiability modulo theory based formalizations,smt,provable configuration planning,telecommunication network planning,reliability constraints,sensing capabilities,wireless sensor networks,telecommunication security,network management,limited scalability,yices smt solver,various practical security,security,scalability,sensors,planning
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要