Collaborative Research: CSR-CPS: Multi-Level Heterogeneity in Large-Scale Cyber-Physical Systems

合作研究：CSR-CPS：大规模信息物理系统中的多级异构性

• 批准号: 0720465
• 负责人: Tian He
• 金额: $ 17万
• 依托单位: University of Minnesota-Twin Cities
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-08-01 至 2011-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0720465&HistoricalAwards=false
• 关键词: Collaborative; Research; CSR; CPS; Multi

This research focuses on one of the most fundamental issues that defines the architecture of Cyber Physical Systems (CPS) - heterogeneity. Unlike the Internet where heterogeneity is normally addressed for the sake of functional interoperability, CPS systems are normally regarded as special-purpose systems of systems, designed mostly for critical infrastructures that require global regulation and performance assurance. Therefore, heterogeneity must be addressed not only for the sake of functional interoperability, but also for policy regulation and performance assurance.To address functional interoperability, a distributed framework, called the CPS-Bus, is proposed to flexibly interconnect different CPS subsystems. To support policy regulation, a policy specification language is developed to regulate the relationship between context, operation and rules. To achieve performance assurance over heterogeneous subsystems, a novel run-time combination of reflective interfaces and a distributed control framework is invented to address evolving performance dynamics and required on-demand functional (compositional) changes. This work will allow the effective interconnection of computation and physical processes to reveal the useful correlations among different phenomena and to conduct effective control across the boundary of CPS subsystems. For developers, this work will significantly reduce the design and development costs for building CPS systems. For end users, the resultant CPS systems will lead to exciting applications such as assisted living that will fundamentally improve the quality of every-day life.

本研究的重点是一个最基本的问题，定义了网络物理系统（CPS）的体系结构-异构性。与通常出于功能互操作性的目的而解决异构性的互联网不同，CPS系统通常被视为系统的专用系统，主要是为需要全球监管和性能保证的关键基础设施而设计的。因此，异构性必须解决不仅为了功能互操作性，但也为政策监管和性能assurance.To解决功能互操作性，一个分布式的框架，称为CPS-Bus，提出了灵活地连接不同的CPS子系统。为了支持策略规范，开发了一种策略规范语言来规范上下文、操作和规则之间的关系。为了实现异构子系统的性能保证，一种新的反射接口和分布式控制框架的运行时组合发明，以解决不断变化的性能动态和所需的按需功能（组成）的变化。这项工作将允许计算和物理过程的有效互连，以揭示不同现象之间的有用的相关性，并在CPS子系统的边界上进行有效的控制。对于开发人员来说，这项工作将大大降低构建CPS系统的设计和开发成本。对于最终用户来说，由此产生的CPS系统将带来令人兴奋的应用，如辅助生活，从根本上提高日常生活的质量。