自恢复传感器-动作器网络
Self-Recovering Sensor-Actor Networks
摘要：
无线传感器-执行器网络是无线网络的最新发展，其中存在普通传感器节点和更复杂和强大的节点（称为执行器）。在本文中，我们正式提出了一个最近推出的算法，通过现有的传感器基础设施恢复失败的演员通信链路。我们证明，通过细化的恢复是终止在一个有限数量的步骤和分布，从而自我执行的演员。最重要的是，我们证明了恢复可以在不同的级别，通过不同类型的链接，如直接演员之间的链接或间接链接的演员，在后一种情况下，重用传感器的无线基础设施。这导致识别协调类，例如，用于将最安全敏感的协调委托给直接行动者-行动者协调链路，将最少实时约束的协调委托给间接链路，并且将安全关键协调委托给直接行动者链路和行动者之间的间接传感器路径。我们的形式化是使用RODIN平台中的定理证明器完成的。
英文摘要：
Wireless sensor-actor networks are a recent development of wireless networks where both ordinary sensor nodes and more sophisticated and powerful nodes, called actors, are present. In this paper we formalize a recently introduced algorithm that recovers failed actor communication links via the existing sensor infrastructure. We prove via refinement that the recovery is terminating in a finite number of steps and is distributed, thus self-performed by the actors. Most importantly, we prove that the recovery can be done at different levels, via different types of links, such as direct actor links or indirect links between the actors, in the latter case reusing the wireless infrastructure of sensors. This leads to identifying coordination classes, e.g., for delegating the most security sensitive coordination to the direct actor-actor coordination links, the least real-time constrained coordination to indirect links, and the safety critical coordination to both direct actor links and indirect sensor paths between actors. Our formalization is done using the theorem prover in the RODIN platform.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
