一种基于AOcontPN的信息物理系统建模方法  

An AOcontPN Approach to Cyber-Physical System Modeling

作　　者：钱之琳[1,2] 虞慧群[1,2] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237 [2]上海市计算机软件评测重点实验室,上海201112

出　　处：《华东理工大学学报（自然科学版）》2013年第2期217-221,共5页Journal of East China University of Science and Technology

基　　金：国家自然科学基金(61173048)

摘　　要：信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。Cyber-Physical System （ CPS ） is a combination of computing, controlling, and communication. However, some existing modeling approaches cann＇t effectively implement the complicated behaviors of the mixed discrete and continuous parts. In this paper, an AOcontPN modeling approach is proposed for aspect-oriented continuous Petri net, in which common physical processes are extracted out as continuous Petri net and woven into the basic discrete Petri net. Thus, not only those physical processes can be reused and analyzed, but also the whole system can still be analyzed and verified using formal methods.

关 键 词：CPS 面向方面方法 连续PETRI网 建模 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]