Supporting wireless application development via virtual execution

We introduce our ldquoholisticrdquo platform for building wireless ad hoc sensor networks and focus on its most representative and essential virtualization component: VUE2 (the Virtual Underlay Emulation Engine). Its role is to provide a vehicle for authoritative emulation of complete networked applications before physically deploying the wireless nodes. The goal is to be able to verify those applications exhaustively before programming the hardware, such that no further (field) tests are necessary. We explain how VUE2 achieves this goal owing to several facilitating factors, most notably the powerful programming paradigm adopted in our platform. As implied by the holistic nature of the discussed system, our presentation touches upon operating systems, simulation, network protocols, real-time systems, and programming methodology.

[1]  M. S. Corson,et al.  A performance comparison of the temporally-ordered routing algorithm and ideal link-state routing , 1998, Proceedings Third IEEE Symposium on Computers and Communications. ISCC'98. (Cat. No.98EX166).

[2]  David Thomas,et al.  Programming Ruby - the pragmatic programmer's guide (2. ed.) , 2005 .

[3]  F. Maraninchi,et al.  Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework , 2005 .

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

[5]  Andreas Gustafsson,et al.  Threads without the Pain , 2005, ACM Queue.

[6]  Pawel GburzynskiDepartment,et al.  Protocol Design in Smurph , 1997 .

[7]  Philip Levis,et al.  Maté: a tiny virtual machine for sensor networks , 2002, ASPLOS X.

[8]  Bozena Kaminska,et al.  A tiny and efficient wireless ad-hoc protocol for low-cost sensor networks , 2007 .

[9]  Pawel Gburzynski.  Protocol Design for Local and Metropolitan Area Networks , 1996 .

[10]  David R. Karger,et al.  A scalable location service for geographic ad hoc routing , 2000, MobiCom '00.

[11]  Mario Gerla,et al.  Global state routing: a new routing scheme for ad-hoc wireless networks , 1998, ICC '98. 1998 IEEE International Conference on Communications. Conference Record. Affiliated with SUPERCOMM'98 (Cat. No.98CH36220).

[12]  Pawel Gburzynski,et al.  A Tiny and Efficient Wireless Ad-hoc Protocol for Low-cost Sensor Networks , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[13]  David Thomas,et al.  Programming Ruby: the pragmatic programmer's guide , 2000 .

[14]  J. Broch,et al.  Dynamic source routing in ad hoc wireless networks , 1998 .

[15]  Pawel Gburzynski,et al.  Wireless Network Simulation Extensions in SIDE/SMURPH , 2006, Proceedings of the 2006 Winter Simulation Conference.

[16]  V. Kotov,et al.  Automata-based programming of the reactive multi-agent control systems , 2005, International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005..

[17]  Florence Maraninchi,et al.  Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework , 2006, Sci. Comput. Program..

[18]  Pawel Gburzynski,et al.  PicOS: A Tiny Operating System for Extremely Small Embedded Platforms , 2003, Embedded Systems and Applications.

[19]  Richard Wright,et al.  From motes to Java stamps: smart sensor network testbeds , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[20]  Charles E. Perkins,et al.  Highly dynamic Destination-Sequenced Distance-Vector routing (DSDV) for mobile computers , 1994, SIGCOMM.

[21]  O. J. Dahl,et al.  Simula Begin , 1979 .