Name
Abstract | ||
|---|---|---|
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each node, a crucial property of interest for the users is the minimal lifetime of the network. In practice, this value strongly depends both on the design choices performed for each network element (hardware architecture, communication protocols, etc.) and on the wholeexecution environment (physical environment, execution platform, network topology, etc.). We propose here an original approach to evaluate this minimal network lifetime based on model-checking techniques. It consists first in designing a timed model of the entire network behavior (taking into account its execution environment), and then to compute on the state space associated to this model the shortest execution sequences (from a temporal point of view) leading to some states considered as "terminal'' (from the network lifetime point of view).This approach is illustrated on a concrete example of a WSN application to compare the influence on the network lifetime of two classical routing algorithms. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1145/1298197.1298199 | PE-WASUN |
Keywords | Field | DocType |
minimal network lifetime,minimal lifetime,wireless sensor network,network topology,execution platform,network lifetime point,physical environment,network lifetime,worst-case lifetime computation,execution environment,network element,entire network behavior,state space,modeling,energy,wireless sensor networks,analysis,hardware architecture,model checking | Wireless network,Network delay,Computer science,Network simulation,Network architecture,Computer network,Wireless WAN,Network topology,Intelligent computer network,Distributed computing,Network management station | Conference |
Citations | PageRank | References |
9 | 0.56 | 15 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Laurent Mounier | 1 | 1187 | 79.54 |
| Ludovic Samper | 2 | 33 | 2.46 |
| Wassim Znaidi | 3 | 43 | 3.69 |