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

作     者：丘威 QIU Wei

作者机构：嘉应学院计算机学院梅州514015 

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

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2014年第41卷第S1期

页      码：64-66,86页

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

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

学科分类：08[工学] 081101[081101] 0811[工学-水利类] 081102[081102] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203128993...