We present design concepts, programming constructs, and automatic verification techniques to support the development of adaptive Wireless Sensor Network (WSN) software. WSNs operate at the interface between the physical world and the computing machine and are hence exposed to unpredictable environment dynamics. WSN software must adapt to these dynamics to maintain dependable and efficient operation. However, developers are left without proper support to develop adaptive functionality in WSN software. Our work fills this gap with three key contributions: (i) design concepts help developers organize the necessary adaptive functionality and understand their relations, (ii) dedicated programming constructs simplify the implementations, (iii) custom verification techniques allow developers to check the correctness of their design before deployment. We implement dedicated tool support to tie the three contributions, facilitating their practical application. Our evaluation considers representative WSN applications to analyze code metrics, synthetic simulations, and cycle-accurate emulation of popular WSN platforms. The results indicate that our work is effective in simplifying the development of adaptive WSN software; for example, implementations are provably easier to test and to maintain, the run-time overhead of our dedicated programming constructs is negligible, and our verification techniques return results in a matter of seconds.

中文翻译：

---

无线传感器网络中的软件适配

我们介绍设计概念、编程结构和自动验证技术，以支持开发自适应无线传感器网络 (WSN) 软件。WSN 在物理世界和计算机之间的接口上运行，因此暴露在不可预测的环境动态中。WSN 软件必须适应这些动态，以保持可靠和高效的运行。然而，开发人员没有适当的支持来开发 WSN 软件中的自适应功能。我们的工作通过三个关键贡献填补了这一空白：（i）设计概念帮助开发人员组织必要的自适应功能并理解它们之间的关系，（ii）专用的编程结构简化了实现，（iii）自定义验证技术允许开发人员检查正确性他们在部署之前的设计。我们实施了专门的工具支持来绑定这三个贡献，促进它们的实际应用。我们的评估考虑了具有代表性的 WSN 应用程序来分析流行 WSN 平台的代码指标、合成模拟和周期精确仿真。结果表明，我们的工作在简化自适应 WSN 软件的开发方面是有效的；例如，实现被证明更容易测试和维护，我们专用编程结构的运行时开销可以忽略不计，我们的验证技术在几秒钟内返回结果。