CPS: Breakthrough: Compositional System Modeling with Interfaces (COSMOI)

如今，网络物理系统的设计依赖于可执行模型。设计人员在系统构建之前开发模型、模拟模型、发现缺陷并改进设计，从而大大降低了设计成本。然而，当前基于模型的设计方法缺乏对模型库(将模型创建和交换为“黑盒”)、工具互操作性(允许多个工具共同模拟模型)和多视图建模(允许组合“生活在不同世界”的模型，例如，控制逻辑模型和能耗模型)的支持。这个项目试图通过开发一个基于接口的组合建模框架来解决这个问题。接口允许子模型被视为黑盒，在隐藏内部细节的同时公开相关信息。该项目的成功将为网络物理系统的组合性提供坚实的理论基础。可组合性是系统设计中的一个关键属性，允许以可伸缩和模块化的方式构建系统。这个项目将能够建立模型库，允许不同团队开发的模型交换，这些模型可能来自不同的学科，使用不同的建模语言和工具。除了网络物理系统总体上的巨大经济和社会影响外，拟议的项目还将对工程学和计算机科学教育产生相当大的影响。它对严格和统一的建模理论的关注将侵蚀目前分离的网络物理系统子学科之间的界限，这些界限阻碍了我们学生的竞争力。最后，该项目对美国的竞争力具有重要的战略意义，因为它加强了美国在模型交换和联合模拟的国际标准化工作中的存在。

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs. However, current model-based design methods lack support for model libraries (creating and exchanging models as "black boxes"), tool interoperability (allowing models to be co-simulated by multiple tools), and multi-view modeling (allowing to combine models that "live in different worlds", for instance, a control-logic model with an energy-consumption model). This project seeks to remedy this by developing a compositional modeling framework based on interfaces. Interfaces allow submodels to be treated as black boxes, exposing relevant information while hiding internal details. Success of the project will provide a solid theoretical foundation for compositionality in cyber-physical systems. Compositionality is a key property in system design, allowing to build systems in a scalable and modular manner. This project will enable the construction of model libraries, allowing the exchange of models developed by different teams, potentially coming from different disciplines and using different modeling languages and tools.Besides the considerable economic and societal impact of cyber-physical systems in general, the proposed project will have considerable impact on engineering and computer science education. Its focus on a rigorous and unified modeling theory will erode the boundaries between the currently separated cyber-physical system sub-disciplines that hamper competitiveness of our students. Finally, the project is strategically important for the competitiveness of the United States as it strengthens its presence in international standardization efforts for model exchange and co-simulation.