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

Temporal Analysis of Integrated Avionics System Based on Timed Petri Net

作　　者：樊鑫[1] 郑巍[1] 梁旗军[1] 

机构地区：[1]南昌航空大学软件学院,南昌330063

出　　处：《计算机测量与控制》2017年第11期288-290,294,共4页Computer Measurement &Control

基　　金：国家自然科学基金青年基金项目(61501217)

摘　　要：综合航电系统是一种对可靠性、实时性要求非常高的嵌入式应用系统;为了解决针对复杂应用场景下综合航电系统的处理时间和工作时序预估较困难、且计算自动化程度不高等测试验证问题,提出了一种基于时间约束Petri网的综合航电系统时序验证和分析方法;给出了时间约束Petri网的形式化定义,分析了综合航电系统工作流程中各节点的时间属性,通过引入时序约束路径的概念,并提出了时序推理算法;通过在仿真算例中进行计算并对比实际运行数据,结果表明该方法在针对综合航电系统运行时序的验证分析方面具有有效性。Integrated avionics system is an embedded application system with high reliability and real time requirement. In order to solve the problem such as estimating and testing processing duration during the verification of integrated avionics system more effectively, an ana- lytical method based on Petri net with time constraints, which is named timed Petri net, is proposed in this paper. The formalized definition of timed Petri net is also introduced after analyzes the time attributes of each working node while integrated avionics system is running. By in- troducing the concept of temporal constraint path, the temporal reasoning algorithms are designed. At last, comparison and analysis of data collected in the simulation example system are also presented, the results show that the proposed method is feasible and effective in time veri- fication of the integrated avionics system.

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

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]