Virtual Stationary Automata for Mobile Networks

Abstract : We define a programming abstraction for mobile networks called the Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and client nodes. The VSAs are located at pre-specified regions that tile the plane, defining a static virtual infrastructure. We present a self-stabilizing algorithm to emulate a VSA using the real mobile nodes that are currently residing in the VSA's region. We also describe several examples of applications whose implementations benefit from the simplicity obtained through use of the VSA abstraction.

[1]  Deborah Estrin,et al.  GHT: a geographic hash table for data-centric storage , 2002, WSNA '02.

[2]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[3]  Tomasz Imielinski,et al.  GeoCast—geographic addressing and routing , 1997, MobiCom '97.

[4]  Nancy A. Lynch,et al.  The Theory of Timed I/o Automata , 2003 .

[5]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[6]  N. Lynch,et al.  GeoQuorums : Implementing Atomic Memory in Ad Hoc Networks ( Extended Abstract ) , 2003 .

[7]  LiuYu,et al.  An adaptive mesh-based protocol for geocast routing , 2003 .

[8]  B. R. Badrinath,et al.  Routing on a curve , 2003, CCRV.

[9]  Shlomi Dolev,et al.  Polygonal broadcast, secret maturity, and the firing sensors , 2006, Ad Hoc Networks.

[10]  Niki Trigoni.  Energy−Efficient Data Management for Sensor Networks: A Work−In−Progress Report , 2003 .

[11]  Nancy A. Lynch,et al.  Virtual Mobile Nodes for Mobile Ad Hoc Networks , 2004, DISC.

[12]  Nancy A. Lynch,et al.  GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks , 2003, DISC.

[13]  Silvia Giordano,et al.  The Terminodes Project: Towards Mobile Ad-Hoc WAN , 1999 .

[14]  W DijkstraEdsger.  Self-stabilizing systems in spite of distributed control , 1974 .

[15]  Ian F. Akyildiz,et al.  Wireless sensor networks: a survey , 2002, Comput. Networks.

[16]  Nancy A. Lynch,et al.  Self-stabilizing Mobile Node Location Management and Message Routing , 2005, Self-Stabilizing Systems.

[17]  Yu Liu,et al.  An adaptive mesh-based protocol for geocast routing , 2003, J. Parallel Distributed Comput..

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

[19]  J.-P. Hubaux,et al.  The Terminode project: towards mobile ad-hoc WANs , 1999, 1999 IEEE International Workshop on Mobile Multimedia Communications (MoMuC'99) (Cat. No.99EX384).

[20]  Yan Zhang,et al.  Geometric ad-hoc routing: of theory and practice , 2003, PODC '03.