CSR-SGER: Cyber-Physical Systems - Are Computing Foundations Adequate?

CSR-SGER：网络物理系统 - 计算基础是否足够？

• 批准号: 0647591
• 负责人: Edward Lee
• 金额: --
• 依托单位: University of California-Berkeley
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-10-01 至 2008-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0647591&HistoricalAwards=false
• 关键词: CSR; SGER; Cyber; Physical; Systems

This SGER award supports a study that will contribute to a new Cyber-Physical Systems (CPS) vision being developed in NSF's Computer and Network Systems division. The goal of CPS research is new science and engineering methodologies that integrate the interacting cyber and physical elements of future engineered systems. CPS seeks new design principles and systems technology that can routinely yield high-confidence physical and engineered systems. This study explores a central aspect of CPS: the extent to which the mismatch between the core abstractions of computation and properties of physical processes impedes progress. In the physical world, the passage of time is inexorable and concurrency is intrinsic. Neither of these properties is present in today's computing and networking abstractions. The study will consider these and other central issues in the foundations of CPS.

该SGER奖支持一项研究，该研究将有助于NSF计算机和网络系统部门开发新的网络物理系统（CPS）愿景。 CPS研究的目标是新的科学和工程方法，整合未来工程系统的交互网络和物理元素。CPS寻求新的设计原则和系统技术，可以经常产生高置信度的物理和工程系统。 本研究探讨了CPS的一个核心方面：在何种程度上的计算和物理过程的属性的核心抽象之间的不匹配阻碍了进展。 在物理世界中，时间的流逝是不可阻挡的，并发性是内在的。这两个属性都不存在于今天的计算和网络抽象中。 这项研究将考虑这些问题和CPS基础中的其他核心问题。