森林火灾检测无线传感器网络的形式化概率分析
计算机科学中的逻辑
2013-08-01 v1 网络与互联网体系结构
摘要
无线传感器网络 (WSNs) 已被广泛用于森林火灾检测，这被视为全球范围内的致命威胁。在此背景下，传感器节点的能量守恒是最大的挑战之一，随机调度常被用于克服这一问题。传统上，这些随机调度方法的性能分析是通过纸笔证明方法或仿真完成的。这些传统技术无法确保 100% 的准确性，因此不适合分析像使用 WSNs 进行森林火灾检测这样的安全关键应用。在本文中，我们提出通过应用基于定理证明的形式化概率分析来克服这一局限，以验证采用 k-set 随机算法作为节能机制的真实世界森林火灾检测 WSN 的调度性能。具体而言，我们形式化验证了覆盖强度的期望值、给定覆盖强度下不相交子集总数的上界，以及节点总数的下界。
引用
@article{arxiv.1307.8208,
title = {Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection},
author = {Maissa Elleuch and Osman Hasan and Sofiène Tahar and Mohamed Abid},
journal= {arXiv preprint arXiv:1307.8208},
year = {2013}
}
备注
In Proceedings SCSS 2012, arXiv:1307.8029