TARDIS: software-only system-level record and replay in wireless sensor networks

@article{Creti2015TARDISSS,
  title={TARDIS: software-only system-level record and replay in wireless sensor networks},
  author={Matthew Tan Creti and Vinaitheerthan Sundaram and Saurabh Bagchi and Patrick Th. Eugster},
  journal={Proceedings of the 14th International Conference on Information Processing in Sensor Networks},
  year={2015}
}
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… Expand
A testbed for fine-grained tracing of time sensitive behavior in wireless sensor networks
TLDR
This paper introduces TRACELAB, a new testbed architecture that allows for fine-grained tracing of time sensitive behavior of low-power wireless embedded systems, and builds on the idea of GPIO tracing by including short GPIO instructions into node applications. Expand
Testbed Assisted Control Flow Tracing for Wireless Embedded Systems
TLDR
A method that can reconstruct the entire control flow of a program based on recorded state changes (time and state) of I/O pins is developed and an algorithm is presented that safely reduces the number of recorded events while still being able to uniquely determine the executed program path. Expand
Auditability: An Approach to Ease Debugging of Reliable Distributed Systems
  • Sara Alhajaili, A. Jhumka
  • Computer Science
  • 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC)
  • 2019
TLDR
It is shown that auditability is at least as difficult as the problem of fair exchange, which is the first formal work towards the design of reliable systems through audibility. Expand
Enabling Inspection of Wireless Embedded Systems
Wireless embedded systems are networks of wireless nodes that perform tasks that involve communication, sensing, and actuation, embedded in the environment. Since these networks can be large and mustExpand
Execution reconstruction: harnessing failure reoccurrences for failure reproduction
TLDR
Execution Reconstruction is proposed, a technique that strikes a better balance between efficiency, effectiveness and accuracy for reproducing production failures and reproduces fully replayable executions that can power a variety of debugging and reliabilty use cases. Expand
CSS JavaScript code Web page Reverb JavaScript engine Reverb JavaScript engine JavaScript code Log of deterministic reads and writes Log of nondeterministic events Web browser Node server
Bugs are common in web pages. Unfortunately, traditional debugging primitives like breakpoints are crude tools for understanding the asynchronous, wide-area data flows that bind client-sideExpand
HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation
TLDR
This work introduces extensions to existing library matching techniques that are needed to identify library functions in binary firmware, to reduce collisions, and for inferring additional function names, and demonstrates the practicality of HLE for security analysis. Expand
Energy efficiency in data collection wireless sensor networks
Navarro Patiño, Miguel A. PhD, Purdue University, May 2016. Energy E ciency in Data Collection Wireless Sensor Networks. Major Professor: Yao Liang. This dissertation studies the problem of energy eExpand
AdapTracer: Adaptive path profiling using arithmetic coding
TLDR
AdapTracer is a path profiling approach based on arithmetic coding that is adaptive by explicitly considering the execution frequency of each edge and reduces the trace size by 44% on average and incurs execution overhead by 10% at most compared to PAP. Expand
Challenges in Firmware Re-Hosting and Analysis
System emulation and firmware re-hosting have become popular techniques to answer various security and performance related questions, such as, does my firmware contain any security vulnerabilities orExpand
...
1
2
...

References

SHOWING 1-10 OF 35 REFERENCES
Dependence-based multi-level tracing and replay for wireless sensor networks debugging
TLDR
Preliminary experimental results show that the test programs, which do not fit the program memory after straightforward instrumentation, can be successfully accommodated in memory using the new method such that the injected errors can be found. Expand
T-check: bug finding for sensor networks
TLDR
T-Check is a tool that uses random walks and explicit state model checking to find safety and liveness errors in sensor network applications running on TinyOS, and has been used to find previously unknown bugs in TinyOS. Expand
Minerva: distributed tracing and debugging in wireless sensor networks
TLDR
Minerva, a testbed architecture for distributed debugging of wireless sensor networks, with a flexible debug board installed at each node, provides non-intrusive, network-wide debugging of sensor network applications at a low cost. Expand
Lightweight message tracing for debugging wireless sensor networks
  • V. Sundaram, P. Eugster
  • Computer Science
  • 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
  • 2013
TLDR
This work proposes a message tracing solution which addresses key challenges in WSNs - besides stringent resource constraints, these include out-of-order message arrivals and message losses - while being streamlined for the common case of successful in- order message transmission. Expand
Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog
TLDR
The design and implement of EnviroLog is designed and implemented, a distributed service that improves repeatability of experimental testing of sensor networks via asynchronous event recording and replay and validated through a set of microbenchmarks, using the latest XSM platforms. Expand
Efficient diagnostic tracing for wireless sensor networks
TLDR
This paper proposes an efficient intra-procedural and inter-Procedural control-flow tracing algorithm that generates the traces of all interleaving concurrent events, and argues for the accuracy of the approach through case studies, and illustrates its low overhead through measurements and simulations. Expand
Prius: generic hybrid trace compression for wireless sensor networks
TLDR
Prius is proposed, a novel hybrid (offline/online) trace compression technique that enables application of established trace compression algorithms for WSNs and achieves high compression rates and significant energy savings. Expand
Replay debugging for distributed applications
We have developed a new replay debugging tool, liblog, for distributed C/C++ applications. It logs the execution of deployed application processes and replays them deterministically, faithfullyExpand
Using deterministic replay for debugging of distributed real-time systems
  • H. Thane, H. Hansson
  • Computer Science
  • Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000
  • 2000
TLDR
By the online recording of significant system events, and then deterministically replaying them off-line, a novel software-based approach is presented for the cyclic debugging of distributed real-time systems that can inspect areal-time system in great detail, while still preserving its real- time behaviour. Expand
FlashBox: a system for logging non-deterministic events in deployed embedded systems
TLDR
This work proposes FlashBox - a system that acts as a black box for embedded systems, recording non-deterministic events (interrupts), an extension to a compiler, enabling recording capabilities at various granularities, with decreasing cost of flash memories, providing a low cost logging mechanism. Expand
...
1
2
3
4
...