基于时间Petri网的综合航电系统时序验证分析

• 作者: 梁旗军 樊鑫 郑巍
• 来源期刊: 计算机测量与控制
• 关键词: 综合航电系统 时间Petri网 时序约束路径 时序推理算法
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 试验与评价技术
• 页码范围: 288-290,294
• 页数: 4页
• 分类号: TP391.9
• 语种: 中文
• DOI: 10.16526/j.cnki.11-4762/tp.2017.11.073

摘要

综合航电系统是一种对可靠性、实时性要求非常高的嵌入式应用系统;为了解决针对复杂应用场景下综合航电系统的处理时间和工作时序预估较困难、且计算自动化程度不高等测试验证问题,提出了一种基于时间约束Petri网的综合航电系统时序验证和分析方法;给出了时间约束Petri网的形式化定义,分析了综合航电系统工作流程中各节点的时间属性,通过引入时序约束路径的概念,并提出了时序推理算法;通过在仿真算例中进行计算并对比实际运行数据,结果表明该方法在针对综合航电系统运行时序的验证分析方面具有有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	樊鑫	南昌航空大学软件学院	13	78	5.0	8.0
2	梁旗军	南昌航空大学软件学院	10	28	4.0	5.0
3	郑巍	南昌航空大学软件学院	19	35	3.0	5.0