CPS: Medium: Collaborative Research: Design Science for CPS

CPS：媒介：协作研究：CPS 设计科学

• 批准号: 1136146
• 负责人: Daniel Gajski
• 金额: $ 150万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-09-01 至 2016-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1136146&HistoricalAwards=false
• 关键词: CPS; Medium; Collaborative; Research; Design

A CPS is a system in which computer-based (?cyber?) technology is combined with all kinds of physical systems, such as planes and robotic-surgeons. CPSs require integration (in industry and academia) of different types of knowledge from many different domains. CPSs are built from often inaccurate, undependable components, and operate in harsh and unpredictable environments. The cyber domain, interfaces, and the physical domain are tightly interwoven and networked (distributed) and hence cannot be designed and optimized individually. The goal of this project is to create a general CPS design-science that makes the design of every CPS simpler, faster, and more dependable, while at the same time reducing the cost and the required expertise level. This project gives rise to a unified theory that can allow for specification, modeling, design, optimization, and verification of CPSs on different levels of design abstraction and different steps of projection, even across boundaries between varied technologies. The project does bridge the gap between the continuous-time physical domain and the discrete timed cyber system.This project has a broad and profound impact in scientific, engineering, industrial, and academic communities. By enabling a fundamentally efficient design of CPSs, the most limiting bottleneck in design technology is eliminated, paving the way for many new applications and jobs with significant economic and social impact. This project contributes to the on-line educational endeavors currently underway, allowing cross education in different disciplines of complex CPS and speeding up development of new CPS programs in engineering and computer science.

CPS 是一种基于计算机（“网络”）技术与各种物理系统（例如飞机和机器人外科医生）相结合的系统。 CPS 需要集成（在工业界和学术界）来自许多不同领域的不同类型的知识。 CPS 由通常不准确、不可靠的组件构建而成，并在恶劣且不可预测的环境中运行。网络域、接口和物理域紧密交织和网络化（分布式），因此无法单独设计和优化。该项目的目标是创建通用的 CPS 设计科学，使每个 CPS 的设计更简单、更快、更可靠，同时降低成本和所需的专业水平。该项目提出了一个统一的理论，可以在不同的设计抽象级别和不同的投影步骤上，甚至跨越不同技术之间的边界，对 CPS 进行规范、建模、设计、优化和验证。该项目确实弥合了连续时间物理域和离散时间网络系统之间的差距。该项目在科学、工程、工业和学术界产生了广泛而深远的影响。通过实现从根本上高效的 CPS 设计，设计技术中最限制性的瓶颈被消除，为许多具有重大经济和社会影响的新应用和工作铺平了道路。该项目有助于当前正在进行的在线教育工作，允许复杂 CPS 不同学科的交叉教育，并加快工程和计算机科学领域新 CPS 项目的开发。