TARDIS: software-only system-level record and replay in wireless sensor networks
TARDIS: software-only system-level record and replay in wireless sensor networks
复制标题
TARDIS：无线传感器网络中的纯软件系统级记录和重放
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
P. Eugster
中科院分区：
文献类型：
--
作者：
Matthew Tan Creti;V. Sundaram;S. Bagchi;P. Eugster
无线传感器网络（WSN）受到仅在部署时表现出的错误的可能性。但是，由于几个原因，调试已部署的WSN是具有挑战性的 - 部署的传感器节点的远程位置，执行的非确定性，这可能会使很难复制越野车运行以及节点上可用的有限硬件资源。特别是，在WSN中记录和重播调试的现有解决方案未能捕获完整的代码执行，因此否定了忠实重播的可能性，并导致大量的错误被忽略。简而言之，在部署的应用程序执行时，记录和重播记录了预定义事件的痕迹，以稍后使用调试工具重播事件。现有的记录方法由于许多非确定性来源以及节点上资源的稀缺而失败。在本文中，我们在Sensornet（Tardis）中介绍了Trace和重播调试，这是一种仅软件记录和重播WSN节点的方法。 TARDIS能够根据以下观察结果来记录所有非确定性的来源，即使用专门用于各自来源的技术组合可压缩此类信息。尽管具有特定于领域的性质，但提出的技术还是适用于更广泛的资源约束嵌入式系统。我们从经验上证明了方法的生存能力及其在广泛使用的路由协议中诊断新发现的错误方面的有效性。
Wireless sensor networks (WSNs) are plagued by the possibility of bugs manifesting only at deployment. However, debugging deployed WSNs is challenging for several reasons---the remote location of deployed sensor nodes, the non-determinism of execution that can make it difficult to replicate a buggy run, and the limited hardware resources available on a node. In particular, existing solutions to record and replay debugging in WSNs fail to capture the complete code execution, thus negating the possibility of a faithful replay and causing a large class of bugs to go unnoticed. In short, record and replay logs a trace of predefined events while a deployed application is executing, enabling replaying of events later using debugging tools. Existing recording methods fail due to the many sources of non-determinism and the scarcity of resources on nodes. In this paper we introduce Trace And Replay Debugging In Sensornets (Tardis), a software-only approach for deterministic record and replay of WSN nodes. Tardis is able to record all sources of non-determinism, based on the observation that such information is compressible using a combination of techniques specialized for respective sources. Despite their domain-specific nature, the techniques presented are applicable to the broader class of resource-constrained embedded systems. We empirically demonstrate the viability of our approach and its effectiveness in diagnosing a newly discovered bug in a widely used routing protocol.