SHF: EAGER: Addressing Resource Scarcity via Distributed Mobile Services

小型计算设备（例如，智能手机、可穿戴设备等）具有一组硬件资源，程序员经常发现这些资源不足以实现应用程序的业务逻辑。例如，当在没有GPS传感器的设备上运行时，不能确定移动的应用的地理坐标。现有的软件工程方法不能解决移动的设备的资源稀缺性，而不诉诸于基于云的执行或要求附近的设备共享可执行代码。该项目将为分布式移动的服务创建一个概念验证软件架构和编程抽象：附近的设备使用彼此的资源，而不必接受来自不受信任方的代码来执行。这些技术可以立即增强现有的移动的计算生态系统。随着物联网（IoT）正在进入计算的主流，该项目也可以帮助解决该领域的资源短缺问题。使代表性不足的群体参与拟议的研究活动将为扩大参与提供一个有效的途径，与PI在这一领域的先前活动一致。尽管附近的计算设备可能拥有它们愿意共享的缺失资源，但是高动态性、缺乏信任和极端异构性阻碍了这种共享。预期的贡献是三方面的：（1）围绕移动的服务市场（MSM）的概念的软件体系结构，其利用附近设备的资源，而不使设备共享可执行代码，（2）静态地选择所需服务、配置其设备约束并且使运行时动态地选择附近设备来执行服务的编程模型;该模型将被实现为针对服务约束和跨异构的、邻近的移动的设备的通信的领域而定制的领域专用语言，（3）通过将所创建的技术应用于真实世界的移动的应用和基准来严格评估所创建的技术，所述技术实现所提出的新概念。从进行这项研究中获得的见解将有助于确定如何将静态和动态方法结合起来，以便能够静态地定义需求，同时以特定于上下文的方式将它们动态地与特定的附近设备相匹配。

Small computing devices (e.g., smartphones, wearables, etc.) feature a set of hardware resources that programmers often find insufficient to implement an application's business logic. For example, a mobile application's geographic coordinates cannot be determined when running on a device without a GPS sensor. Existing software engineering approaches cannot address the resource scarcity of mobile devices, without either resorting to cloud-based execution or requiring nearby devices share executable code. This project will create a proof-of-concept software architecture and programming abstractions for distributed mobile services: nearby devices using each other's resources without having to accept code to execute from untrusted parties. These technologies can immediately enhance the extant mobile computing ecosystem. As the Internet of Things (IoT) is entering the mainstream of computing, this project can help address the resource scarcity in this domain as well. Involving underrepresented groups in the proposed research activities will provide an effective avenue for broadening participation, in line with the PI's prior activities in this realm.This project addresses the challenges of developing software for devices with limited resources. Although nearby computing devices may possess the missing resources they are willing to share, high dynamicity, lack of trust, and extreme heterogeneity stand on the way of such sharing. The expected contribution is three-fold: (1) a software architecture centered around the concept of the Mobile Service Market (MSM), which leverages the resources of nearby devices, without having the devices share executable code, (2) a programming model to statically select a needed service, configure its device constraints, and have the runtime dynamically select a nearby device to execute the service; the model will be realized as a domain-specific language tailored for the domain of service constraints and communication across heterogeneous, nearby, mobile devices, (3) a rigorous evaluation of the created technologies that realize the proposed new concepts by applying them to real-world mobile applications and benchmarks. Insights gained from conducting this research will help determine how static and dynamic approaches should be combined to be able to define requirements statically, while matching them dynamically with specific nearby devices in a context-specific fashion.