Building the blocks of protocol design and analysis: challenges and lessons learned from case studies on mobile ad hoc routing and micro-mobility protocols

Authors:
Fan Bai;Ganesha Bhaskara;Ahmed Helmy
Affiliations:
Univ. of Southern California, Los Angeles, CA;Univ. of Southern California, Los Angeles, CA;Univ. of Southern California, Los Angeles, CA
Venue:
ACM SIGCOMM Computer Communication Review
Year:
2004

Citing 10
Cited 2

Building reliable, high-performance communication systems from components

Proceedings of the seventeenth ACM symposium on Operating systems principles
DSR: the dynamic source routing protocol for multihop wireless ad hoc networks

Ad hoc networking
IP micro-mobility protocols

ACM SIGMOBILE Mobile Computing and Communications Review
HAWAII: a domain-based approach for supporting mobility in wide-area wireless networks

IEEE/ACM Transactions on Networking (TON)
Advances in Network Simulation

Computer
On Simplifying Modular Specification and Verification of Distributed Protocols

HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
Efficient micro-mobility using intra-domain multicast-based mechanisms (M&M)

ACM SIGCOMM Computer Communication Review
Flexible Protocol Composition in Bast

ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification and Verification

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
The STRESS method for boundary-point performance analysis of end-to-end multicast timer-suppression mechanisms

IEEE/ACM Transactions on Networking (TON)

Towards modular mobility management in ambient networks

DIN '05 Proceedings of the 1st ACM workshop on Dynamic interconnection of networks
Modeling of topology evolutions and implication on proactive routing overhead in MANETs

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

With the emergence of new application-specific sensor and Ad-hoc networks, increasingly complex and custom protocols will be designed and deployed. We propose a framework to systematically design and evaluate networking protocols based on a 'building block' approach. In this approach, each protocol is broken down into a set of parameterized modules called "building blocks", each having its own specific functionality. The properties of these building blocks and their interaction define the overall behavior of the protocol. In this paper, we aim to identify the major research challenges and questions in the building block approach. By addressing some of those questions, we point out potential directions to analyze and understand the behavior of networking protocols systematically. We discuss two case studies on utilizing the building block approach for analyzing Ad-hoc routing protocols and IP mobility protocols in a systematic manner.