1、飛機(jī)發(fā)動(dòng)機(jī)控制軟件作為機(jī)載系統(tǒng)的核心控制軟件，其安全性十分重要。由于飛機(jī)發(fā)動(dòng)機(jī)控制軟件功能繁多且邏輯關(guān)系復(fù)雜，建立軟件模型是對(duì)其安全性進(jìn)行分析的一種有效途徑。傳統(tǒng)建模方法無法有效地描述軟件功能模塊間存在的大量并發(fā)特征。著色Petri網(wǎng)(CPN)作為一種形式化的建模方法，能夠有效描述軟件運(yùn)行狀態(tài)、軟件功能之間復(fù)雜的邏輯關(guān)系，以及功能模塊間的并發(fā)操作等，常用于復(fù)雜軟件的建模中。因此，本文運(yùn)用CPN對(duì)某型飛機(jī)發(fā)動(dòng)機(jī)控制軟件進(jìn)行建模與安全性分析

2、。
　　依據(jù)某型飛機(jī)發(fā)動(dòng)機(jī)控制軟件的特征，分析其與CPN模型的庫所、遷移等元素之間的對(duì)應(yīng)關(guān)系，構(gòu)建飛機(jī)發(fā)動(dòng)機(jī)控制軟件的CPN模型。在此基礎(chǔ)上，研究軟件危險(xiǎn)狀態(tài)及其在CPN模型上的表示，尋找可能觸發(fā)潛在危險(xiǎn)狀態(tài)的標(biāo)識(shí)及其參數(shù)組合，從而驗(yàn)證某型飛機(jī)發(fā)動(dòng)機(jī)控制軟件是否確實(shí)存在危險(xiǎn)狀態(tài)。本文將尋找可能的標(biāo)識(shí)及其參數(shù)組合看成是一個(gè)搜索問題，設(shè)計(jì)相應(yīng)的遺傳算法，對(duì)某型飛機(jī)發(fā)動(dòng)機(jī)控制軟件CPN模型進(jìn)行危險(xiǎn)狀態(tài)的識(shí)別，并對(duì)遺傳算法進(jìn)行改進(jìn)，提高了