Name
Abstract | ||
|---|---|---|
Wireless Sensor Networks (WSNs) are unique embedded computation systems for distributed sensing of a dispersed phenomenon. While being a strongly con- current distributed system, its embedded aspects with severe resource limitations and the wireless communication requires a fusion of technologies and methodolo- gies from very different fields. As WSNs are deployed in remote locations for long-term unattended operation, assurance of correct functioning of the system is of prime concern. Thus, the design and development of WSNs requires special- ized tools to allow for testing and debugging the system. To this end, we present a framework for analyzing and checking WSNs based on collected events during system operation. It allows for abstracting from the event trace by means of be- havioral queries and uses assertions for checking the accordance of an execution to its specification. The framework is independent from WSN test platforms, ap- plications and logging semantics and thus generally applicable for analyzing event logs of WSN test executions. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/INSS.2010.5572211 | INSS |
Keywords | Field | DocType |
dsl,wireless sensor network,embedded computing,system monitoring,wireless sensor networks,testing,routing | Prime (order theory),Computer science,Digital subscriber line,Computer network,System monitoring,Wireless sensor network,Event analysis,Telecommunication computing,Distributed computing | Conference |
Citations | PageRank | References |
1 | 0.38 | 16 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Matthias Woehrle | 1 | 194 | 21.93 |
| Christian Plessl | 2 | 297 | 35.98 |
| Lothar Thiele | 3 | 14025 | 957.82 |