Diagnostic tracing for wireless sensor networks

Sundaram, Vinaitheerthan; Eugster, Patrick; Zhang, Xiangyu; Addanki, Vamsidhar

doi:10.1145/2489253.2489255

Cited by 18 publications

(5 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This and other approaches like Minerva [107] and FlashBox [28] that use hardware modifications cannot be deployed to COTS IoT systems. Some software-only efforts, such as TinyTracer [109] and Prius [110], selectively record some events (only control flow for TinyTracer) and therefore cannot enable replay-based debugging. The open questions center around how to provide high fidelity system-level replay, i.e., replay that is able to reproduce both control flow at an instruction level and the state of memory at any point in time for any software module executing on the node.…”

Section: Foundations To Build Uponmentioning

confidence: 99%

New Frontiers in IoT: Networking, Systems, Reliability, and Security Challenges

Bagchi

Abdelzaher

Govindan

et al. 2020

IEEE Internet Things J.

View full text Add to dashboard Cite

The field of IoT has blossomed and is positively influencing many application domains. In this paper, we bring out the unique challenges this field poses to research in computer systems and networking. The unique challenges arise from the unique characteristics of IoT systems such as the diversity of application domains where they are used and the increasingly demanding protocols they are being called upon to run (such as, video and LIDAR processing) on constrained resources (onnode and network). We show how these open challenges can benefit from foundations laid in other areas, such as, 5G cellular protocols, ML model reduction, and device-edge-cloud offloading. We then discuss the unique challenges for reliability, security, and privacy posed by IoT systems due to their salient characteristics which include heterogeneity of devices and protocols, dependence on the physical environment, and the close coupling with humans. We again show how the open research challenges benefit from reliability, security, and privacy advancements in other areas. We conclude by providing a vision for a desirable end state for IoT systems.

show abstract

Section: Foundations To Build Uponmentioning

confidence: 99%

New Frontiers in IoT: Networking, Systems, Reliability, and Security Challenges

Bagchi

Abdelzaher

Govindan

et al. 2020

IEEE Internet Things J.

View full text Add to dashboard Cite

show abstract

“…As IoT becomes increasingly pervasive, we need more and broader software engineering support to improve the quality of WSN-based IoT programs [34]. In recent years, apart from instance-based analysis, other dynamic analysis techniques have been developed for WSN applications: For example, Sundaram et al propose an efficient approach to intra-procedural and interprocedural control-flow tracing [35]; Dylog [36] provides a dynamic event-logging facility for networked embedded programs to support efficient and accurate analysis. Based on various data logs, some testing techniques have been proposed for WSN programs: For instance, D2 [37] employs function count profiling and PCA (Principal Component Analysis) to reveal network anomalies; Khan et al applies discriminative sequence mining to uncover interactive bugs [38].…”

Section: B Dynamic Analysis and Verification Of Iot Programsmentioning

confidence: 99%

Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs

Sun

Guo

Cheung

et al. 2018

Preprint

View full text Add to dashboard Cite

In the Internet of Things (IoT) community, Wireless Sensor Network (WSN) is a key technique to enable ubiquitous sensing of environments and provide reliable services to applications. WSN programs, typically interruptdriven, implement the functionalities via the collaboration of Interrupt Procedure Instances (IPIs, namely executions of interrupt processing logic). However, due to the complicated concurrency model of WSN programs, the IPIs are interleaved intricately and the program behaviours are hard to predicate from the source codes. Thus, to improve the software quality of WSN programs, it is significant to disentangle the interleaved executions and develop various IPI-based program analysis techniques, including offline and online ones. As the common foundation of those techniques, a generic efficient and real-time algorithm to identify IPIs is urgently desired. However, the existing instanceidentification approach cannot satisfy the desires. In this paper, we first formally define the concept of IPI. Next, we propose a generic IPI-identification algorithm, and prove its correctness, real-time and efficiency. We also conduct comparison experiments to illustrate that our algorithm is more efficient than the existing one in terms of both time and space. As the theoretical analyses and empirical studies exhibit, our algorithm provides the groundwork for IPIbased analyses of WSN programs in IoT environment.

show abstract

“…By "general-purpose" we mean that it can handle all sources of non-determinism and thus Tardis can be used for debugging all kinds of bugs, whether related to data flow or control flow. Previous work in software-based record-and-replay for WSNs has captured only control flow (e.g., TinyTracer [7]) or only a subset of system variables (e.g., EnviroLog [5]). …”

Section: Contributionsmentioning

confidence: 99%

Software-only system-level record and replay in wireless sensor networks

Tancreti

Sundaram

Bagchi

et al. 2015

Proceedings of the 14th International Conference on Information Processing in Sensor Networks

Self Cite

View full text Add to dashboard Cite

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 di cult 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 a software-only approach for deterministic record and replay of WSN nodes. The approach records 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.

show abstract

Diagnostic tracing for wireless sensor networks

Cited by 18 publications

References 35 publications

New Frontiers in IoT: Networking, Systems, Reliability, and Security Challenges

New Frontiers in IoT: Networking, Systems, Reliability, and Security Challenges

Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs

Software-only system-level record and replay in wireless sensor networks

Contact Info

Product

Resources

About