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.