Self-stabilization and Virtual Node Layer Emulations

  • Tina Nolte
  • Nancy Lynch
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4838)

Abstract

We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction layer, which consists of mobile clients, virtual timed machines called virtual stationary automata (VSAs), and a local broadcast service connecting VSAs and mobile clients. We then describe what it means for mobile nodes with access to location and clock information to emulate the VSA layer in a self-stabilizing manner. We use these definitions to prove basic results about executions of self-stabilizing algorithms run on self-stabilizing emulations of a VSA layer, and apply these results to a simple geographic routing algorithm running on the VSA layer.

Keywords: self-stabilization, virtual stationary automata, virtual node layer, geocast, abstraction layer emulation, mobile ad-hoc networking, TIOA.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Camp, T., Liu, Y.: An adaptive mesh-based protocol for geocast routing. Journal of Parallel and Distributed Computing: Special Issue on Mobile Ad.-hoc Networking and Computing, 196–213 (2002)Google Scholar
  2. 2.
    Dijkstra, E.W.: Self stabilizing systems in spite of distributed control. Communications of the ACM, 643–644 (1974)Google Scholar
  3. 3.
    Dolev, S.: Self-Stabilization. MIT Press, Cambridge (2000)MATHGoogle Scholar
  4. 4.
    Dolev, S., Gilbert, S., Lynch, N., Schiller, E., Shvartsman, A., Welch, J.: Virtual Mobile Nodes for Mobile Ad Hoc Networks. In: Guerraoui, R. (ed.) DISC 2004. LNCS, vol. 3274, pp. 230–244. Springer, Heidelberg (2004)Google Scholar
  5. 5.
    Dolev, S., Gilbert, S., Lynch, N., Shvartsman, A., Welch, J.: GeoQuorums: Implementing Atomic Memory in Ad Hoc Networks. In: Fich, F.E. (ed.) DISC 2003. LNCS, vol. 2848, pp. 306–320. Springer, Heidelberg (2003)Google Scholar
  6. 6.
    Dolev, S., Gilbert, S., Lahiani, L., Lynch, N., Nolte, T.: Timed Virtual Stationary Automata for Mobile Networks. In: Anderson, J.H., Prencipe, G., Wattenhofer, R. (eds.) OPODIS 2005. LNCS, vol. 3974, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Dolev, S., Lahiani, L., Lynch, N., Nolte, T.: Self-stabilizing Mobile Node Location Management and Message Routing. In: Tixeuil, S., Herman, T. (eds.) SSS 2005. LNCS, vol. 3764, Springer, Heidelberg (2005)Google Scholar
  8. 8.
    Dolev, S., Herman, T., Lahiani, L.: Polygonal Broadcast, Secret Maturity and the Firing Sensors. In: FUN. Third International Conference on Fun with Algorithms, pp. 41–52 (May 2004). Also to appear in Ad Hoc Networks Journal, Elseiver.Google Scholar
  9. 9.
    Dolev, S., Israeli, A., Moran, S.: Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity. In: PODC 1990. Proceeding of the ACM Symposium on the Principles of Distributed Computing, pp. 103–117 (1990). Also in Distributed Computing 7(1), 3–16 (1993)Google Scholar
  10. 10.
    Karp, B., Kung, H.T.: GPSR: Greedy Perimeter Stateless Routing for Wireless Networks. In: Proceedings of the 6th Annual International Conference on Mobile Computing and Networking, pp. 243–254. SCM Press (2000)Google Scholar
  11. 11.
    Kaynar, D., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I/O Automata. Morgan and Claypool Publishers (2006)Google Scholar
  12. 12.
    Kuhn, F., Wattenhofer, R., Zhang, Y., Zollinger, A.: Geometric Ad-Hoc Routing: Of Theory and Practice. In: Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 63–72 (2003)Google Scholar
  13. 13.
    Kuhn, F., Wattenhofer, R., Zollinger, A.: Asymptotically Optimal Geometric Mobile Ad-Hoc Routing. In: Proceedings of the 6th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DialM), pp. 24–33. ACM Press, New York (2002)CrossRefGoogle Scholar
  14. 14.
    Navas, J.C., Imielinski, T.: Geocast- geographic addressing and routing. In: Proceedings of the 3rd MobiCom, pp. 66–76 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Tina Nolte
    • 1
  • Nancy Lynch
    • 1
  1. 1.MIT CSAIL, Cambridge, MAUSA

Personalised recommendations