Embedded Virtual Machines for Robust Wireless Control Systems

Embedded wireless networks have largely focused on open loop sensing and monitoring. To address actuation in closed loop wireless control systems there is a strong need to re-think the communication architectures and protocols for reliability, coordination and control. As the links, nodes and topology of wireless systems are inherently unreliable, such time-critical and safety-critical applications require programming abstractions where the tasks are assigned to the sensors, actuators and controllers as a single component rather than statically mapping a set of tasks to a specific physical node at design time. To this end, we introduce the Embedded Virtual Machine (EVM), a powerful and flexible programming abstraction where virtual components and their properties are maintained across node boundaries. In the context of process and discrete control, an EVM is the distributed runtime system that dynamically selects primary-backup sets of controllers to guarantee QoS given spatial and temporal constraints of the underlying wireless network. The EVM architecture defines explicit mechanisms for control, data and fault communication within the virtual component. EVM-based algorithms introduce new capabilities such as predictable outcomes and provably minimal graceful degradation during sensor/actuator failure, adaptation to mode changes and runtime optimization of resource consumption. Through the design of a natural gas process plant hardware-in-loop simulation we aim to demonstrate the preliminary capabilities of EVM-based wireless networks.

[1]  Philip Levis,et al.  Maté: a tiny virtual machine for sensor networks , 2002, ASPLOS X.

[2]  Liviu Iftode,et al.  Scylla: a smart virtual machine for mobile embedded systems , 2000, Proceedings Third IEEE Workshop on Mobile Computing Systems and Applications.

[3]  David E. Culler,et al.  Versatile low power media access for wireless sensor networks , 2004, SenSys '04.

[4]  Anthony Rowe,et al.  RT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks , 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

[5]  Gustavo Alonso,et al.  A virtual machine for sensor networks , 2007, EuroSys '07.

[6]  Anthony Rowe,et al.  FireFly: a cross-layer platform for real-time embedded wireless networks , 2007, Real-Time Systems.

[7]  Adam Dunkels,et al.  Run-time dynamic linking for reprogramming wireless sensor networks , 2006, SenSys '06.

[8]  Mani B. Srivastava,et al.  A dynamic operating system for sensor nodes , 2005, MobiSys '05.

[9]  Deborah Estrin,et al.  An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[10]  Anthony Rowe,et al.  Voice over Sensor Networks , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[11]  Mike Horton,et al.  The platforms enabling wireless sensor networks , 2004, CACM.