Name
Title | ||
|---|---|---|
Exploiting protocol models for generating feasible communication stack configurations |
Abstract | ||
|---|---|---|
Communication stacks are composed of distinct layers that, in principle, operate independently and interact through well-defined interfaces. However, resource constraints in sensor networks typically necessitate optimizations, leading to implicit assumptions and dependencies among layers (e.g., a collection protocol assumes the MAC protocol provides sufficient bandwidth). These dependencies are often tracked manually, yet become extremely complex as protocols evolve and requirements change. We propose to model assumptions and dependencies explicitly, as constraints on protocol parameters. This allows for using standard tools to generate feasible protocol configurations. We demonstrate the effectiveness of our approach using the example of FTSP running on top of a low-power listening MAC protocol. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1145/1791212.1791264 | IPSN |
Keywords | Field | DocType |
model assumption,implicit assumption,requirements change,communication stack,distinct layer,collection protocol,protocol parameter,feasible communication,exploiting protocol model,mac protocol,necessitate optimizations,feasible protocol configuration,constraint programming,sensor network | Two-phase commit protocol,Reverse Address Resolution Protocol,Port Control Protocol,Tunneling protocol,Computer science,Constraint programming,Real-time computing,Bandwidth (signal processing),Wireless sensor network,Distributed computing,Universal composability | Conference |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marco Zimmerling | 1 | 654 | 44.15 |
| Federico Ferrari | 2 | 598 | 29.60 |
| Matthias Woehrle | 3 | 194 | 21.93 |
| Lothar Thiele | 4 | 14025 | 957.82 |