Cpn Modeling And Dangerous State Identification Based On Aircraft Engine Control System

Aircraft engine control software is the core control software of the airborne system,and its safety is very important.Due to the large number of functions and the complex logic relationship of the aircraft engine control software,establishing a software model is an effective way to analyze its safety.Traditional modeling methods cannot effectively describe the large number of concurrent execution existing between software functional modules.As a formal modeling method,Colored Petri Nets(CPN)can effectively describe the software operating status,the complex logical relationships between software functions,and the concurrent operations among functional modules,and are often used in the modeling of complex software.Therefore,this paper uses CPN to model and analyze the safety of an aircraft engine control software.According to the characteristics of a certain aircraft engine control software,analyzed the correspondence between it and the CPN model's place,transition and other elements,and construct the CPN model of aircraft engine control software.Based on this,then study the software's potentially dangerous state and its representation on the CPN model,and looking for the making and parameters that may trigger potentially dangerous states,thus to verify whether a certain type of aircraft engine control software has a dangerous state.In this paper,the search for possible making and parameter combination is regarded as a search problem.Design the corresponding genetic algorithm to identify the dangerous state of a certain aircraft engine control software CPN model,and improve the genetic algorithm to enhance the search efficiency.Finally,the method of this paper is applied to the CPN modeling and dangerous state identification of an aircraft engine control software,and analyze the effectiveness of the method and the execution efficiency of the algorithm.The results show that the method proposed in this paper can effectively identify the dangerous state of the software and improve the safety of the aircraft engine control software.