Title
EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks
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.
Year
DOI
Venue
2008
10.1109/SUTC.2008.24
Taichung
Keywords
Field
DocType
event traces,event analysis methodology,building monitoring project,event trace,wsn testing,evant framework,cation methodology,case study,wireless sensor networks,wsn application,common method,debugging,application software,testing,wireless sensor network,pervasive computing,computer networks,formal verification,concurrent computing,system testing
Visibility,Software deployment,Computer science,Real-time computing,Wireless sensor network,Event analysis,Embedded system,Distributed computing,Formal verification,Debugging
Conference
ISBN
Citations 
PageRank 
978-0-7695-3158-8
4
0.43
References 
Authors
16
5
Name
Order
Citations
PageRank
Matthias Woehrle119421.93
Christian Plessl229735.98
Roman Lim320018.35
Jan Beutel491.35
Lothar Thiele514025957.82