EAGER: Collaborative Research: Seamless Integration of Conjoined Cyber-Physical System Properties

对物理世界的有效响应和适应，以及通过可编程计算手段对这些行为的严格管理，是网络物理系统（CPS）的强制性特征。然而，在不同的应用程序需求中实现这样的功能超越了系统平台和工具的当前技术状态。目前的计算平台和工具往往单独对待物理属性，并与其他网络和物理属性隔离。它们不能充分支持跨网络和物理领域的系统属性的表达、集成和执行。这将导致网络和物理资源的低效使用，并降低系统的总体效率。这项工作研究了解决这些重要问题的新方法，基于模块化和集成不同的网络物理关注点，这些关注点横切物理、硬件、指令集、内核、库和应用程序抽象。本研究的三个主要重点是：1)建立表达、分析、执行和测量不同连接的网络物理特性的基本模型；2)对系统开发工具和平台进行基本的重新检查，以确定如何将跨越它们的不同应用程序关注点模块化为网络物理系统方面；3)开发我们结果的原型演示，以进一步评估面向方面的CPS技术的最新进展，以帮助评估该方法更广泛应用的可行性。这项工作的广泛影响将通过学术论文的传播，以及提供前所未有的网络物理特性集成的开放平台和工具来实现。

Effective response and adaptation to the physical world, and rigorous management of such behaviors through programmable computational means, are mandatory features of cyber physical systems (CPS). However, achieving such capabilities across diverse application requirements surpasses the current state of the art in system platforms and tools. Current computational platforms and tools often treat physical properties individually and in isolation from other cyber and physical attributes. They do not adequately support the expression, integration, and enforcement of system properties that span cyber and physical domains. This results in inefficient use of both cyber and physical resources, and in lower system effectiveness overall. This work investigates novel approaches to these important problems, based on modularizing and integrating diverse cyber-physical concerns that cross-cut physical, hardware, instruction set, kernel, library, and application abstractions. The three major thrusts of this research are 1) establishing foundational models for expressing, analyzing, enforcing, and measuring different conjoined cyber-physical properties, 2) conducting a fundamental re-examination of system development tools and platforms to identify how different application concerns that cut across them can be modularized as cyber-physical system aspects, and 3) developing prototype demonstrations of our results to evaluate further those advances in the state of the art in aspect-oriented techniques for CPS, to help assess the feasibility of broader application of the approach. The broader impact of this work will be through dissemination of academic papers, and open platforms and tools that afford unprecedented integration of cyber-physical properties.