-
题名一种基于LHPN的信息物理融合系统模型验证方法
被引量：2
- 1
-
-
作者
丘威
-
机构
嘉应学院计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第S1期64-66,86,共4页
-
基金
广东省自然科学基金(S2013010013307)
广东省高等学校学科专业建设专项资金(2013KJCX0171)资助
-
文摘
由于信息物理融合系统(CPS)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得CPS的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀问题。提出利用带标记混合Petri网方法对CPS进行建模和验证研究,在CPS中采用模型检测和定理证明相结合的形式化方法,对试图解决系统验证时状态空间膨胀问题供理论依据。提出一种自动抽取及其简化模型的方法,在容错温度传感器系统中的初步实验结果表明该方法是可行的,通过一个实例原型的应用说明了该方法的有效性。
-
关键词
带标记混合petri网
信息物理融合系统
建模
验证
-
Keywords
Labeled hybrid petri net,Cyber physical system,Modeling,Verification
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
TP202
[自动化与计算机技术—计算机科学与技术]
-
