CPS: Medium: Collaborative Research: Design Science for CPS

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

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.