自恢复的传感器-执行器网络
分布式、并行与集群计算
2010-07-30 v1 计算机科学中的逻辑
摘要
无线传感器-执行器网络是无线网络的最新发展，其中同时存在普通的传感器节点和更复杂、更强大的节点（称为执行器）。在本文中，我们形式化了一种最近引入的算法，该算法通过现有的传感器基础设施来恢复失效的执行器通信链路。我们通过精化证明，恢复过程在有限步数内终止，并且是分布式的，因此由执行器自行执行。最重要的是，我们证明恢复可以在不同级别上通过不同类型的链路进行，例如直接执行器链路或执行器之间的间接链路，在后一种情况下重用传感器的无线基础设施。这导致了协调类别的识别，例如，将最安全敏感的协调委托给直接执行器-执行器协调链路，将最不实时受限的协调委托给间接链路，并将安全关键的协调委托给直接执行器链路和执行器之间的间接传感器路径。我们的形式化是使用RODIN平台中的定理证明器完成的。
引用
@article{arxiv.1007.5091,
title = {Self-Recovering Sensor-Actor Networks},
author = {Maryam Kamali and Linas Laibinis and Luigia Petre and Kaisa Sere},
journal= {arXiv preprint arXiv:1007.5091},
year = {2010}
}
备注
In Proceedings FOCLASA 2010, arXiv:1007.4993