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

An AOcontPN Approach to Cyber-Physical System Modeling

信息物理系统(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.