RapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks

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.

[1]  Philip Levis,et al.  The design and implementation of a declarative sensor network system , 2007, SenSys '07.

[2]  Steven McCanne,et al.  A model, analysis, and protocol framework for soft state-based communication , 1999, SIGCOMM '99.

[3]  Charles E. Perkins,et al.  Ad-hoc on-demand distance vector routing , 1999, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications.

[4]  Jeffrey D. Ullman,et al.  A Survey of Research in Deductive Database Systems , 1995 .

[5]  Richard E. Hansen,et al.  Prioritized epidemic routing for opportunistic networks , 2007, MobiOpp '07.

[6]  John S. Baras,et al.  Component Based Routing: A New Methodology for Designing Routing Protocols for Manet , 2006 .

[7]  Eddie Kohler,et al.  The Click modular router , 1999, SOSP.

[8]  Prithwish Basu,et al.  A declarative perspective on adaptive manet routing , 2008, PRESTO '08.

[9]  Prithwish Basu,et al.  Declarative Network Verification , 2009, PADL.

[10]  B. E. Eckbo,et al.  Appendix , 1826, Epilepsy Research.

[11]  Amin Vahdat,et al.  Epidemic Routing for Partially-Connected Ad Hoc Networks , 2009 .

[12]  Ram Ramanathan,et al.  Making link-state routing scale for ad hoc networks , 2001, MobiHoc '01.

[13]  Philippe Jacquet,et al.  Optimized Link State Routing Protocol (OLSR) , 2003, RFC.

[14]  Jonathan M. Smith,et al.  MOSAIC: unified declarative platform for dynamic overlay composition , 2008, CoNEXT '08.

[15]  Ion Stoica,et al.  Declarative routing: extensible routing with declarative queries , 2005, SIGCOMM '05.

[16]  Ion Stoica,et al.  Implementing declarative overlays , 2005, SOSP '05.

[17]  David A. Maltz,et al.  Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.

[18]  Thomas R. Henderson,et al.  Network Simulations with the ns-3 Simulator , 2008 .

[19]  David A. Maltz,et al.  A performance comparison of multi-hop wireless ad hoc network routing protocols , 1998, MobiCom '98.