Self-stabilization and Virtual Node Layer Emulations

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.

• Type: Conference
• Year: 2007
• Where: SSS
• Authors: Tina Nolte, Nancy A. Lynch
• Keywords: SSS 2007, Timed I/O Automata, Virtual Stationary Automata, VSA Layer