CPS: Medium: Timing-Centric Software

本研究的目的是为分布式网络物理系统定义具有时态语义的编程抽象。该方法是为分布式嵌入式软件创建一种协调语言，该语言自然地与物理动力学模型相结合。协调语言是基于严格的离散事件并发计算模型。它将被系统设计人员用来构建模型，从这些模型中导出软件实现。目标是分布式软件，如果它编译的平台，提供精确的时间语义中指定的model.Intellectual优点：这个项目地址的核心抽象计算，其中整个20世纪世纪，已经抽象了时间，和物理动力学，省略了软件和网络行为。对于网络物理系统，两者都不合适。该项目正在开发新的以时间为中心的软件抽象，编程模型，分析技术，软件和网络模型与物理动力学的集成。更广泛的影响：除了CPS的一般可观的经济和社会影响，该项目预计将对工程和计算机科学教育产生相当大的影响。它对工程应用和健全的计算机科学方法的关注将削弱这些学科之间的界限，阻碍我们学生的竞争力。我们需要新一代的学生来大幅提高我们的能源效率、制造能力、运输效率、仪器仪表能力（以及科学知识）和基础设施的稳健性。由于这项工作具有广泛的社会影响，它将有助于吸引更多元化的工程和计算机科学人才库。

The objective of this research is to define programming abstractions with temporal semantics for distributed cyber-physical systems. The approach is to create a coordination language for distributed embedded software that blends naturally with models of physical dynamics. The coordination language is based on a rigorous discrete-event concurrent model of computation. It will be used by system designers to construct models from which software implementations are derived. The objective is distributed software that, if it compiles for a platform, delivers precisely the temporal semantics specified in the model.Intellectual merit: This project addresses the core abstractions of computing, which throughout the 20th century, have abstracted away time, and of physical dynamics, which have omitted software and network behaviors. For cyber-physical systems, both are inappropriate. This project is developing new time-centric abstractions for software, programming models, analysis techniques, and integration of software and network models with physical dynamics.Broader impacts: Besides the considerable economic and societal impact of CPS in general, the project is expected to have considerable impact on engineering and computer science education. Its focus on engineering applications and on sound computer science methods will erode the boundaries between these disciplines that hamper competitiveness of our students. A new generation of students is needed to dramatically improve our energy efficiency, manufacturing capabilities, transportation efficiency, instrumentation prowess (and hence, scientific knowledge), and infrastructure robustness. Because of the broad societal implications of the work, it will help attract to engineering and computer science a more diverse talent pool.