Timed virtual stationary automata for mobile networks

Authors:
Shlomi Dolev;Seth Gilbert;Limor Lahiani;Nancy Lynch;Tina Nolte
Affiliations:
Dep. of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, Israel;MIT CSAIL, Cambridge, MA;Dep. of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, Israel;MIT CSAIL, Cambridge, MA;MIT CSAIL, Cambridge, MA
Venue:
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Year:
2005

Citing 12
Cited 7

GeoCast—geographic addressing and routing

MobiCom '97 Proceedings of the 3rd annual ACM/IEEE international conference on Mobile computing and networking
Self-stabilization

Self-stabilization
A scalable location service for geographic ad hoc routing

MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Self-stabilizing systems in spite of distributed control

Communications of the ACM
CarNet: a scalable ad hoc wireless network system

EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
GHT: a geographic hash table for data-centric storage

WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
Routing on a curve

ACM SIGCOMM Computer Communication Review
An adaptive mesh-based protocol for geocast routing

Journal of Parallel and Distributed Computing - Special issue on Routing in mobile and wireless ad hoc networks
Geometric ad-hoc routing: of theory and practice

Proceedings of the twenty-second annual symposium on Principles of distributed computing
Brief announcement: virtual mobile nodes for mobile ad hoc networks

Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Consensus and collision detectors in wireless Ad Hoc networks

Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Self-stabilizing mobile node location management and message routing

SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems

TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks

IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
Self-stabilizing Mobile Robot Formations with Virtual Nodes

SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Tutorial Abstract Virtual Infrastructure

SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Fast track article: Bubble-sensing: Binding sensing tasks to the physical world

Pervasive and Mobile Computing
Infrastructureless Spatial Storage Algorithms

ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Gulliver: a test-bed for developing, demonstrating and prototyping vehicular systems

Proceedings of the 9th ACM international symposium on Mobility management and wireless access
When consensus meets self-stabilization

OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.