[发明专利]信息物理融合系统CPS的建模方法及装置

权利要求书

1.一种信息物理融合系统CPS的建模方法，其特征在于，包括：

分析信息物理融合系统CPS的功能需求，获得N个目标功能需求；其中，所述N为整数；

分别建立所述N个目标功能需求的N个原子服务模型；

组合所述N个原子服务模型，获得组合服务模型；

其中，针对任一目标功能需求，其建立原子服务模型的过程，包括：

为所述目标功能需求分配唯一的标识符和通信端口；

利用混成自动机模型HA＝(Q,X,Init,m,Inv,Jump)对所述目标功能需求进行描述；其中，所述Q表示在所述目标功能需求中离散状态变量的集合；所述X表示在所述目标功能需求中连续状态变量的集合；所述Init表示所建立的原子服务模型的初始状态的集合，且所述m表示在每个离散状态下连续动态方程的集合；Inv表示每个离散状态的不变集；Jump表示跳转关系集合；

利用所述标识符、通信端口和HA建立所述原子服务模型；

其中，所述组合N个原子服务模型，获得组合服务模型，包括：

分别将所述N个原子服务模型的迁移函数设置为f(s_i,p_i)＝s_i+1；其中，s_i表示任一原子服务模型的可达状态量，i＝1,2,…,n；p_i表示任一原子服务模型的通信端口，i＝1,2,…,n，且i及n均为整数；

为所述组合服务模型分配通信端口、迁移函数及服务状态；其中，所述通信端口为所述N个原子服务模型所有通信端口的并集；所述迁移函数为所述N个原子服务模型所有迁移函数的并集；所述服务状态为所述N个原子服务模型所有服务状态的并集；

利用所述通信端口、迁移函数及服务状态建立所述组合服务模型。

2.根据权利要求1所述的方法，其特征在于，在所述利用所述通信端口、迁移函数及服务状态建立所述组合服务模型之后，还包括：设置所述组合服务模型的初始状态。

3.根据权利要求2所述的方法，其特征在于，所述设置所述组合服务模型的初始状态之后，还包括：

当所述组合服务模型的状态量s_i在迁移函数及端口p_i，到达状态量s_j时，验证所述组合服务模型内的原子服务模型是否可利用迁移函数及端口p_i由状态量s_i到达状态量s_j；其中，i及j均为整数，且所述i不等于j；

当可到达时，判定所述组合服务模型为正确的。