模型驅動的IMA系統(tǒng)資源配置分析與驗證及優(yōu)化方法研究.pdf

1、近年來綜合模塊化航空電子系統(tǒng)(IMA)已經(jīng)廣泛應用于機載航空電子系統(tǒng)，是航空領域的一項重要系統(tǒng)結構和發(fā)展趨勢。在IMA系統(tǒng)開發(fā)過程中，針對系統(tǒng)滿足資源共享以及安全可靠運行的需求，IMA系統(tǒng)資源的配置成為開發(fā)過程中至關重要的一部分，因此如何有效的對IMA系統(tǒng)資源進行配置以及確保資源配置的正確性成為綜合航電系統(tǒng)領域一項重要的研究問題。同時在系統(tǒng)開發(fā)過程中包含硬件資源分配和軟件資源分配兩個階段，在滿足資源約束情況下不同的分配方式會導致飛機質量

2、、開發(fā)成本以及安全性等性能指標的不同，因此如何根據(jù)多個目標對系統(tǒng)硬軟件資源的分配進行優(yōu)化從而獲得最優(yōu)分配在綜合航電領域也將具有重要意義。
　　本文工作主要針對IMA系統(tǒng)開發(fā)和資源配置流程展開分析，并對其中的系統(tǒng)時間資源配置進行驗證，同時對系統(tǒng)硬軟件資源的分配問題進行建模并對其進行多目標優(yōu)化從而獲得最優(yōu)解，具體研究內容如下所述：
　　1)針對IMA系統(tǒng)資源共享特征，結合對IMA系統(tǒng)開發(fā)與資源配置流程的分析，基于實時嵌入式系統(tǒng)建

3、模與分析規(guī)范(MARTE)對IMA系統(tǒng)時間行為相關概念(包括通信虛擬鏈路、AFDX終端、資源設備模塊、分區(qū)、進程等)進行建模從而獲得對應的MARTE模型，設計了基于模型驅動架構的IMA系統(tǒng)建模方法。
　　2)針對IMA系統(tǒng)分區(qū)調度模型的分析，將系統(tǒng)時間行為概念所得到的MARTE模型轉換為MAST-2文本模型進行描述并加上自定義調度策略，設計了一種系統(tǒng)分區(qū)可調度性驗證框架，并通過MAST可調度分析工具對MAST-2文本模型進行分析，

4、基于系統(tǒng)可調度性判定設計了時間資源配置的正確性驗證方法。
　　3)研究了IMA系統(tǒng)硬件資源分配和軟件資源分配問題，采用二進制編碼形式對系統(tǒng)硬軟件資源分配進行建模，并且設計了相關數(shù)學等式和不等式對資源分配約束進行描述，然后根據(jù)質量、成本以及安全性等需求目標構建目標函數(shù)，采用多目標優(yōu)化算法進行優(yōu)化，從而得到硬軟件資源分配的最優(yōu)解。
　　4)基于Eclipse平臺和EMF等相關機制，設計并實現(xiàn)了一個用于IMA系統(tǒng)資源配置驗證的原型