Timed Virtual Stationary Automata for Mobile Networks

We define a programming abstraction for mobile networks called the Timed Virtual Stationary Automata programming layer, consisting of 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 prespecified regions that tile the plane, defining a static virtual infrastructure. We present a self-stabilizing algorithm to emulate a timed VSA using the real mobile nodes that are currently residing in the VSA's region. We also discuss examples of applications whose implementations benefit from the simplicity obtained through use of the VSA abstraction.

[1]  Nancy A. Lynch,et al.  Virtual Stationary Automata for Mobile Networks , 2005 .

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

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

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

[5]  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).

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

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

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

[9]  Robert Tappan Morris,et al.  CarNet: a scalable ad hoc wireless network system , 2000, ACM SIGOPS European Workshop.

[10]  Hector Garcia-Molina,et al.  Using Ad-hoc Inter-vehicle Networks For Regional Alerts , 2004 .

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

[12]  Nancy A. Lynch,et al.  Brief announcement: virtual mobile nodes for mobile ad hoc networks , 2004, PODC '04.

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

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

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

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

[17]  Murat Demirbas,et al.  Consensus and collision detectors in wireless Ad Hoc networks , 2005, PODC '05.

[18]  Nancy A. Lynch,et al.  GeoQuorums: implementing atomic memory in mobile ad hoc networks , 2003, Distributed Computing.

[19]  H. Garcia-Molina,et al.  Event Dissemination in High-Mobility Ad-hoc Networks , 2005 .

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

[21]  N. Lynch,et al.  Motion Coordination using Virtual Nodes , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

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

[24]  Levente Buttyán,et al.  Towards mobile ad-hoc WANs: terminodes , 2000, 2000 IEEE Wireless Communications and Networking Conference. Conference Record (Cat. No.00TH8540).

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

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

[27]  Roger Wattenhofer,et al.  Geometric ad-hoc routing , 2003 .