关键词: 综合模块化航电, 重构, Petri网模型, 危害分析, 关键态算法

Abstract: The traditional hazard analysis methods for Integrated Modular Avionics(IMA) reconfiguration are static system structure hazard analysis method.It cannot make hazard analysis on the failure condition of the dynamic reconfiguration of IMA,and the classical Petri net based analysis method needs to generate all the reachable graph when the system dynamic analysis is carried out,it is easy to cause the state space of the reachable graph to be too large.Therefore,a new hazard analysis method for IMA reconfiguration is proposed.It is based on the AADL model of the control process of IMA reconfiguration.The reconfiguration control flow model is transformed into Petri net model,uses a backwards critical state algorithm of Petri net,and the hazards of IMA reconfiguration function are analyzed based on the reachability analysis of Petri net.Analysis results show that,it not only overcomes the weakness of the traditional system function hazards analysis method that is difficult to analysis runtime hazard behavior,but also avoids the state explosion problem brought by the traditional Petri net reachability analysis.Meanwhile,the critical control elements which can cause high-risk status are identified.

Key words: Integrated Modular Avionics(IMA), reconfiguration, Petri net model, hazard analysis, critical state algorithm