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

Computer Communication Review

Volumn 34, Issue 3, 2004, Pages 57-69

  Bai, Fan ^a   Bhaskara, Ganesha ^a   Helmy, Ahmed ^a  

^a University of Southern California   (United States)

Author keywords

Building Block; Micro Mobility; Mobile Ad Hoc Network; Protocol Analysis; Protocol Design

Indexed keywords

BUILDING BLOCK; MICRO-MOBILITY; MOBILE AD HOC NETWORK; PROTOCOL ANALYSIS; PROTOCOL DESIGN;

COMMUNICATION SYSTEMS; COMPUTER NETWORKS; INTERNET; PARAMETER ESTIMATION; SYSTEMS ANALYSIS;

NETWORK PROTOCOLS;

EID: 33645795022     PISSN: 01464833     EISSN: 01464833     Source Type: Conference Proceeding    
DOI: 10.1145/1031134.1031142     Document Type: Article

References (18)

1. Birman Kenneth, Robert L. Constable, Mark Hayden, Jason Hickey, Christoph Kreitz, Robbert van Renesse, Ohad Rodeh, and Werner Vogels. The Horus and Ensemble Projects: Accomplishments and Limitations, In Proceedings of DARPA Information Survivability Conference and Exhibition (DISCEX '00).
2. B. Garbinato and R. Guerraoui, Flexible Protocol Composition in Bast, In Proceedings of the 18th International Conference on Distributed Computing Systems (ICDCS-18), IEEE Computer Society Press, Amsterdam, The Netherlands, 1998.
3. Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, et al. Building Reliable, High-Performance Communication Systems From Components, In Proceeding of Symposium on Operating Systems Principles, 1999.
4. Purnendu Sinha, Neeraj Suri: On Simplifying Modular Specification and Verification of Distributed Protocols. In Proceeding of HASE 2001: pp. 173-181.
5. P. Sinha, N. Suri. Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification and Validation, In Proceeding of ICDCS-21, Phoenix, pp. 255-263, April 2001.
6. F. Bai, N. Sadagopan, A. Helmy, BRICS: A Building-block approach for analyzing RoutIng protoCols in Ad Hoc Networks - A Case Study of Reactive Routing Protocols, in Proceeding of IEEE International Conference on Communications (ICC), June 2004.
7. G. Bhaskara, A. Helmy, S. Gupta, Micro Mobility Protocol Design and Evaluation: A Parameterized Building Block Approach, in Proceeding of IEEE Vehicular Technology Conference (VTC), October 2003.
8. F. Bai, N. Sadagopan, A. Helmy, IMPORTANT: A framework to systematically analyze the Impact of Mobility on Performance of RouTing protocols for Adhoc NeTworks, in Proceeding of IEEE INFOCOM (The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies), pp. 825-835, March/April 2003, San Francisco.
9. A. Helmy, S. Gupta, D. Estrin, The STRESS Method for Boundary-point Performance Analysis of End-to-end Multicast Timer-Suppression Mechanisms, in IEEE/ACM Transactions on Networking (ToN), February 2004.
10. A. T. Campbell and J. Gomez., IP Micro - Mobility Protocols, in ACM SIGMOBILE Mobile Computer and Communication Review (MC2R), 2001
11. A. Helmy, M. Jaseemuddin, G. Bhaskara, Efficient Micro Mobility using Intra - domain Multicast-based Mechanisms (M&M, in ACM SIGCOMM Computer Communications Review CCR, October 2002.
12. Ramachandran Ramjee, Thomas La Porta, Sandy Thuel, Kannan Varadhan, and Shie-Yuan Wang, HAWAII: A Domain-based approach for Supporting Mobility in Wide-area Wireless Networks, IEEE/ACM Transactions on Networking, Vol 6., No. 2, June 2002.
13. L. Breslau, D. Estrin, K. Fall, S. Floyd, J. Heidemann, A Helmy, P. Huang, S. McCanne, K. Varadhan, Y. Xu, H. Yu, Advances in Network Simulation, IEEE Computer, vol. 33, No. 5, p. 59-67, May 2000.
14. B. Whetten, L. Vicisano, R. Kermode, M. Handley, S. Floyd, M. Luby, Reliable Multicast Transport Building Blocks for One-to-Many Bulk-Data Transfer (RFC 3048).
15. R. Kermode, L. Vicisano, Author Guidelines for RMT Building Blocks and Protocol Instantiation documents (RFC 3269).
16. M. Abramovici, M. Breuer, and A. Friedman, Digital System Testing and Testable Design, AT&T Labs., 1990.
17. D.B.Johnson, D.A.Maltz and J. Broch. DSR:The Dynamic Source Routing Protocol for Multi-HopWireless Ad Hoc Network. In Ad Hoc Networking, edited by C.E.Perkins, Chapter 5, pp. 139-172, Addison-Wesley, 2001.
18. C. Perkins. Ad hoc On Demand Distance Vector Routing(AODV), internet draft, draft-ietf-aodv-00.txt.