Cyber-physical cloud computing: The binding and migration problem

We take the paradigm of cloud computing developed in the cyber-world and put it into the physical world to create a cyber-physical computing cloud. A server in this cloud moves in space making it a vehicle with physical constraints. Such vehicles also have sensors and actuators elevating mobile sensor networks from a deployment to a service. Possible hosts include cars, planes, people with smartphones, and emerging robots like unmanned aerial vehicles or drifters. We extend the notion of a virtual machine with a virtual speed and call it a virtual vehicle, which travels through space by being bound to real vehicles and by migrating from one real vehicle to another in a manner called cyber-mobility. We discuss some of the challenges and envisioned solutions, and describe our prototype implementation.

[1]  Ana Sokolova,et al.  Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing , 2010, HotCloud.

[2]  Raja Sengupta,et al.  3/2-approximation algorithm for two variants of a 2-depot Hamiltonian path problem , 2010, Oper. Res. Lett..

[3]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[4]  Hai Jin,et al.  Live virtual machine migration with adaptive, memory compression , 2009, 2009 IEEE International Conference on Cluster Computing and Workshops.

[5]  Christoph M. Kirsch,et al.  The JAviator: A High-Payload Quadrotor UAV with High-Level Programming Capabilities , 2008 .

[6]  Adam Dunkels,et al.  Minimal TCP/IP implementation with proxy support , 2001 .

[7]  Joseph Y.-T. Leung,et al.  Handbook of Real-Time and Embedded Systems , 2007 .

[8]  Ana Sokolova,et al.  Programmable temporal isolation in real-time and embedded execution environments , 2009, IIES '09.

[9]  Raymond Lo,et al.  Register promotion by sparse partial redundancy elimination of loads and stores , 1998, PLDI.

[10]  Harold Abelson,et al.  Revised5 report on the algorithmic language scheme , 1998, SIGP.

[11]  Jonathan Rees,et al.  Revised3 report on the algorithmic language scheme , 1986, SIGP.

[12]  Xiaolan Zhang,et al.  XenSocket: A High-Throughput Interdomain Transport for Virtual Machines , 2007, Middleware.

[13]  D. Bertsimas,et al.  Stochastic and dynamic vehicle routing with general demand and interarrival time distributions , 1993, Advances in Applied Probability.

[14]  Danny B. Lange,et al.  Seven good reasons for mobile agents , 1999, CACM.

[15]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[16]  Andrew Warfield,et al.  Live migration of virtual machines , 2005, NSDI.

[17]  Emilio Frazzoli,et al.  Adaptive and Distributed Algorithms for Vehicle Routing in a Stochastic and Dynamic Environment , 2009, IEEE Transactions on Automatic Control.