Sciweavers

SSS
2007
Springer

Self-stabilization and Virtual Node Layer Emulations

13 years 9 months ago
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.
Tina Nolte, Nancy A. Lynch
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SSS
Authors Tina Nolte, Nancy A. Lynch
Comments (0)