Unifying process networks for design of cyber physical systems
Unifying process networks for design of cyber physical systems
复制标题
统一过程网络以设计信息物理系统
DOI：
10.1109/eslsyn.2011.5952280
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Jiong Ou
中科院分区：
文献类型：
--
作者：
C. Grimm;Jiong Ou
网络物理系统的设计提出了新的挑战。整个网络物理系统层面的设计包括形式化和抽象的规范、设计空间的探索、优化和验证等设计问题。一个特别的挑战是整个网络物理系统的形式和抽象表示，包括物理组件和网络组件。本文的目的是展示统一过程网络的方法，以便能够在上述设计问题中表示网络物理系统。
Design of cyber-physical systems poses new challenges. Design at the level of a whole cyber-physical system includes design issues such as formal and abstract specification, design space exploration, optimization, and verification. A particular challenge is the formal and abstract representation of whole cyber-physical systems including both physical and cyber components. The objective of this paper is to show ways to unify process networks in order to enable representation of cyber-physical systems within the above mentioned design issues.