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

来源：计算机测量与控制杂志2017年第11期北京时间：

作者：樊鑫,郑巍,梁旗军

单位：南昌航空大学软件学院

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

关键词：综合航电系统;时间Petri网;时序约束路径;时序推理算法

基金资助：国家自然科学基金项目（青年项目）