Design robustness using formal language
This effort develops a formal specification using the π-calculus to define a virtual device representation. It also describes a way to compose multiple virtual devices representing physical devices available on the network to build a composite virtual device. During this process we address the offloading of applications running on virtual devices to local clouds (Cloulets). The proposed 3-tiered (Mobile device, Cloudlet, and Public Cloud) architecture develops a framework to integrate them and case studies to show the structural congruence between a locally executed application and an offloaded version of the same application.
This effort builds on the previous architecture to add continuous performance monitoring from the device perspective. The focus is on collecting data that will supply additional information to improve the performance this dynamic, distributed and real-time nature of the architecture.
Protocol for the Interoperability