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.