CSR-EHCS(CPS),TM: Architectures, Abstractions and Algorithms for Cyber-Physical Networks

信息物理网络（cpn）是计算和物理组件的紧密集成，具有相互作用和相互依赖关系，比传统监测和控制系统中发生的情况更加多样化和复杂。在软件架构研究的基础上，该项目将开发一种具有注释和视图的新型架构描述语言的概念验证，这将为cpn的设计提供统一的框架。还将开发和演示利用基于组件的cpn体系结构描述的结构特征的初始算法。将建筑的环境监测和控制作为目标应用领域，现有的形式和方法将得到扩展，以纳入更广泛的网络物理特征，旨在支持成分分析和验证。原型设计算法将在新的性能指标的背景下开发，这些指标可以捕获cpn中计算、通信和控制的目标和约束之间的关键特征和设计权衡。验证和设计问题网络的概念也将从CPN体系结构的多个观点中衍生出来，使评估和利用跨越当前网络物理边界的权衡成为可能，这些边界是由工程和计算机科学中不同的数学形式和不同的方法创建的。作为概念的证明，将开发方法，在相互依赖的抽象和问题的有限类网络上组成和迭代验证和设计结果。这些初步结果将在节能建筑设计的背景下应用和评估。这项研究将为开发一套通用的架构工具和算法奠定基础，用于cpn的成分分析、设计和验证。

Cyber-physical networks (CPNs) are tight integrations of computational and physical components with interactions and interdependencies that are much more varied and complex than what occurs in traditional monitoring and control systems. Building on research in software architectures, this project will develop a proof of concept for a novel architecture description language with annotations and views that will provide a unified framework for the design of CPNs. Initial algorithms that leverage the structural features of component-based architectural descriptions of CPNs will also be developed and demonstrated. Using environmental monitoring and control of buildings as the target application domain, existing formalisms and methods will be extended to incorporate a wider set of cyber-physical features aimed at supporting compositional analysis and verification. Prototype design algorithms will be developed in the context of new performance metrics that capture critical features and design tradeoffs among the objectives and constraints for computation, communication and control in CPNs. The concept of networks of verification and design problems derived from multiple views of CPN architectures will also be developed, making it possible to assess and leverage tradeoffs that cut across current cyber-physical boundaries created by disparate mathematical formalisms and dissimilar methodologies in engineering and computer science. As a proof of concept, methods will be developed to compose and iterate verification and design results over a restricted class of networks of interdependent abstractions and problems. These preliminary results will be applied and evaluated in the context of the design of energy efficient buildings. This research will lay the foundations for developing a general set of architectural tools and algorithms for the compositional analysis, design, and verification of CPNs.