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

EAGER：协作研究：联合信息物理系统属性的无缝集成

• 批准号: 1060093
• 负责人: Ron Cytron
• 金额: $ 15万
• 依托单位: Washington University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-10-01 至 2014-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1060093&HistoricalAwards=false
• 关键词: EAGER; Collaborative; Research; Seamless; Integration

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.

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