Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/1614293.1614295acmconferencesArticle/Chapter ViewAbstractPublication PagesmobicomConference Proceedingsconference-collections
research-article

RapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks

Published: 21 September 2009 Publication History

Abstract

We present the RapidMesh toolkit for rapid protocol simulation, implementation and experimentation of wireless mesh networks. RapidMesh utilizes declarative networking, a declarative, database-inspired extensible infrastructure that uses query languages to specify behavior. RapidMesh integrates a declarative networking engine with the emerging ns-3 network simulator. The same declarative specifications can also be used as actual implementations using the ns-3 network emulator, hence providing a bridge between simulation and testbed-based experimentation. We demonstrate that RapidMesh enables a variety of wireless routing protocols and neighbor discovery protocols can be synthesized via compact declarative specifications. We experimentally validate declarative MANET routing protocols in dynamic settings within RapidMesh operating in ns-3 simulation environment and on the ORBIT wireless testbed.

References

[1]
P2: Declarative Networking System. http://p2.cs.berkeley.edu.
[2]
J. Broch, D. A. Maltz, D. B. Johnson, Y.-C. Hu, and J. Jetcheva. A Performance Comparison of Multi-Hop Wireless Ad Hoc Network Routing Protocols. In Mobicom, 1998.
[3]
D. C. Chu, L. Popa, A. Tavakoli, J. M. Hellerstein, P. Levis, S. Shenker, and I. Stoica. The design and implementation of a declarative sensor network system. In 5th ACM Conference on Embedded networked Sensor Systems (SenSys), 2007.
[4]
T. Clausen and P. Jacquet. Optimized link state routing protocol (olsr). In RFC 3626 (Experimental), 2003.
[5]
T. R. Henderson, M. Lacage, G. F. Riley, C. Dowell, and J. B. Kopena. Network simulations with the ns-3 simulator. In SIGCOMM Demonstration, 2008.
[6]
H. Huang and J. S. Baras. Component based routing: A new methodology for designing routing protocols for manet. In 25th Army Science Conference, 2006.
[7]
D. B. Johnson and D. A. Maltz. Dynamic Source Routing in Ad Hoc Wireless Networks. In Mobile Computing, volume 353. 1996.
[8]
E. Kohler, R. Morris, B. Chen, J. Jannotti, and M. F. Kaashoek. The Click Modular Router. ACM Transactions on Computer Systems, 18(3):263--297, 2000.
[9]
C. Liu, Y. Mao, M. Oprea, P. Basu, and B. T. Loo. A declarative perspective on adaptive manet routing. In ACM SIGCOMM Workshop on Programmable Routers for Extensible Services of TOmorrow, 2008.
[10]
B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. Implementing Declarative Overlays. In ACM SOSP, 2005.
[11]
B. T. Loo, J. M. Hellerstein, I. Stoica, and R. Ramakrishnan. Declarative Routing: Extensible Routing with Declarative Queries. In ACM SIGCOMM, 2005.
[12]
Y. Mao, B. T. Loo, Z. Ives, and J. M. Smith. MOSAIC: Unified Declarative Platform for Dynamic Overlay Composition. In 4th Conference on emerging Networking EXperiments and Technologies (ACM CoNEXT), 2008.
[13]
Network Simulator 3. http://www.nsnam.org/.
[14]
C. E. Perkins and E. M. Royer. Ad hoc on-demand distance vector routing. In Proceedings of the 2nd IEEE Workshop on Mobile Computing Systems and Applications, New Orleans, LA, 1999.
[15]
R. Ramakrishnan and J. D. Ullman. A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2):125--149, 1993.
[16]
S. Raman and S. McCanne. A model, analysis, and protocol framework for soft state-based communication. In SIGCOMM, pages 15--25, 1999.
[17]
R. Ramanathan, R. Hansen, P. Basu, R. Rosales-Hain, and R. Krishnan. Prioritized epidemic routing for opportunistic networks. In ACM MobiOpp '07, pages 62--66, San Juan, Puerto Rico, 2007.
[18]
C. Santivanez, R. Ramanathan, and I. Stavrakakis. Making link-state routing scale for ad hoc networks. In ACM MobiHoc '01, Long Beach, CA, 2001.
[19]
O. W. N. Testbed. http://www.winlab.rutgers.edu/docs/focus/ORBIT.html.
[20]
A. Vahdat and D. Becker. Epidemic routing for partially-connected ad hoc networks. Technical Report CS-200006, Duke University, 2000.
[21]
A. Wang, P. Basu, B. T. Loo, and O. Sokolsky. Towards declarative network verification. In 11th International Symposium on Practical Aspects of Declarative Languages (PADL), 2009.

Cited By

View all
  • (2015)Automated verification of safety properties of declarative networking programsProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming10.1145/2790449.2790516(79-90)Online publication date: 14-Jul-2015
  • (2012)Declarative NetworkingSynthesis Lectures on Data Management10.2200/S00403ED1V01Y201202DTM0234:1(1-129)Online publication date: 31-Jan-2012
  • (2012)Declarative policy-based adaptive mobile ad hoc networkingIEEE/ACM Transactions on Networking10.1109/TNET.2011.216585120:3(770-783)Online publication date: 1-Jun-2012
  • Show More Cited By

Index Terms

  1. RapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    WINTECH '09: Proceedings of the 4th ACM international workshop on Experimental evaluation and characterization
    September 2009
    110 pages
    ISBN:9781605587400
    DOI:10.1145/1614293
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 21 September 2009

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. declarative networking
    2. experimentation
    3. simulation

    Qualifiers

    • Research-article

    Conference

    MobiCom'09
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 63 of 100 submissions, 63%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 16 Nov 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2015)Automated verification of safety properties of declarative networking programsProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming10.1145/2790449.2790516(79-90)Online publication date: 14-Jul-2015
    • (2012)Declarative NetworkingSynthesis Lectures on Data Management10.2200/S00403ED1V01Y201202DTM0234:1(1-129)Online publication date: 31-Jan-2012
    • (2012)Declarative policy-based adaptive mobile ad hoc networkingIEEE/ACM Transactions on Networking10.1109/TNET.2011.216585120:3(770-783)Online publication date: 1-Jun-2012
    • (2012)Recent advances in declarative networkingProceedings of the 14th international conference on Practical Aspects of Declarative Languages10.1007/978-3-642-27694-1_1(1-16)Online publication date: 23-Jan-2012
    • (2010)Limitations of network emulation with single-machine and distributed ns-3Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques10.4108/ICST.SIMUTOOLS2010.8630(1-9)Online publication date: 15-Mar-2010
    • (2010)PUMAProceedings of the 2010 ACM workshop on Wireless of the students, by the students, for the students10.1145/1860039.1860051(37-40)Online publication date: 20-Sep-2010
    • (2009)A demonstration of the RapidMesh development toolkitProceedings of the 4th ACM international workshop on Experimental evaluation and characterization10.1145/1614293.1614314(89-90)Online publication date: 21-Sep-2009

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media