Mechanisms, models, and tools for flexible protocol development and accurate network experimentation

摘要

The diversity of applications in the Internet and the heterogeneity of today's networked platforms make the development of communication protocols complex and time-consuming. This work introduces mechanisms, models, and tools to reduce the complexity and engineering effort required for protocol development and evaluation. It makes the following three key contributions:1. Similarities in protocol mechanisms are extracted into modular building blocks to reduce the complexity of communication system development.2. We introduce a platform abstraction layer to gradually evolve protocol implementations across platforms avoiding frequent reimplementation.3. Automated instrumentation of models with system properties allows to accurately analyzing the time dependent behavior and power consumption of networked devices.