Dissemin is shutting down on January 1st, 2025

Published in

2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008)

DOI: 10.1109/sutc.2008.24

Links

Tools

Export citation

Search in Google Scholar

EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks

Proceedings article published in 2008 by Matthias Woehrle, Christian Plessl, Roman Lim, Jan Beutel ORCID, Lothar Thiele
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

Abstract

Testing and verification methodologies for wireless sensor networks (WSN) systems in pre-deployment are vital for a successful deployment. Increased visibility of the internal state of a WSN application is established by instrumenting the application for logging execution traces at runtime. While the interpretation of the event traces is application-specific, a common method for analysis can be devised. This method should allow for a concise formulation of explorative queries to determine the occurrence and the cause of functional or performance problems. The contribution of this paper is an event analysis methodology that is implemented in the EvAnT framework. EvAnT allows for specifying queries that are executed on the collected traces. EvAnT is specifically tailored to WSN testing and debugging. We demonstrate the applicability of EvAnT by a case study in a building monitoring project.