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

CPS：突破：带接口的组合系统建模 (COSMOI)

• 批准号: 1329759
• 负责人: Stavros Tripakis
• 金额: $ 49.89万
• 依托单位: University of California-Berkeley
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-10-01 至 2017-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1329759&HistoricalAwards=false
• 关键词: CPS; Breakthrough; Compositional; System; Modeling

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.

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