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

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

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.