某型飛機(jī)發(fā)動機(jī)控制軟件的CPN建模與危險狀態(tài)識別.pdf

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

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