一种基于LHPN的信息物理融合系统模型验证方法

摘要：

由于信息物理融合系统(CPS)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得CPS的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀问题.提出利用带标记混合Petd网方法对CPS进行建模和验证研究,在CPS中采用模型检测和定理证明相结合的形式化方法,对试图解决系统验证时状态空间膨胀问题供理论依据.提出一种自动抽取及英简化模型的方法,在容错温度传感器系统中的初步实验结果表明该方法是可行的,通过一个实例原型的应用说明了该方法的有效性.

关键词：带标记混合Petri网、信息物理融合系统、建模、验证

所属期刊栏目：41

分类号：TP391.4(计算技术、计算机技术)

资助基金：广东省自然科学基金S2013010013307;广东省高等学校学科专业建设专项资金2013KJCX0171

在线出版日期：2014-08-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：64-66,86