10.3969/j.issn.1002-0640.2011.12.037
向时间自动机转换的军事电子信息系统性质验证
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.
形式化验证、模型检验、Petri网、时间自动机
36
TP311(计算技术、计算机技术)
武器装备基金资助项目51406010704KG0143
2012-04-20（万方平台首次上网日期，不代表论文的发表时间）
共4页
134-137
