%0 Journal Article
%T 一种基于lhpn的信息物理融合系统模型验证方法
%A 丘威？
%J 计算机科学
%D 2014
%X 由于信息物理融合系统(cps)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得cps的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀问题。提出利用带标记混合petri网方法对cps进行建模和验证研究,在cps中采用模型检测和定理证明相结合的形式化方法,对试图解决系统验证时状态空间膨胀问题供理论依据。提出一种自动抽取及其简化模型的方法,在容错温度传感器系统中的初步实验结果表明该方法是可行的,通过一个实例原型的应用说明了该方法的有效性。
%K 带标记混合petri网
%K 信息物理融合系统
%K 建模
%K 验证中图法分类号tp391.4文献标识码a
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20146A013&flag=1