[發明專利]一種分區實時操作系統的分區配置方法

有效

• 申請號: 201910029203.6
• 申請日: 2019-01-12
• 公開（公告）號: CN109814852B
• 公開（公告）日: 2021-12-31
• 發明（設計）人: 朱怡安;史先琛;李聯;歐陽湘臻
• 申請（專利權）人: 西北工業大學
• 主分類號: G06F8/30
• 分類號: G06F8/30;G06F8/41
• 代理公司: 西北工業大學專利中心 61204
• 代理人: 金鳳

1.一種分區實時操作系統的分區配置方法，其特征在于包括下述步驟：

步驟一、用戶編寫Manifest文件；

Manifest文件以XML格式表示，將分區作為Manifest文件的根元素，通過元素屬性的方式規定交叉工具鏈的版本信息以及編譯鏈接參數，然后通過標簽描述分區的分區名稱、分區空間配置、分區時間配置、分區關鍵等級、分區使用的外部設備和分區健康監測表；

用戶根據實際使用需求，確定分區數量，建立與分區數量對應的分區元素，然后根據每個分區功能需求的不同，對分區名稱、分區空間配置、分區時間配置、分區關鍵等級、分區使用的外部設備和分區健康監測表的標簽進行設定；

步驟二、通過數據軟總線獲取Manifest文件的信息；

將步驟一完成的Manifest文件掛接到數據軟總線上，數據軟總線獲取Manifest文件中的數據信息；

步驟三、使用ARINC 653XML-SCHEMA對獲取到的Manifest信息進行校驗；

Manifest文件中的信息包含兩部分：一部分是分區配置信息，另一部分是交叉工具鏈版本信息和編譯鏈接參數；

依據ARINC 653標準的要求，使用ARINC 653XML-SCHEMA對分區配置信息進行校驗，通過校驗的Manifest文件作為分區配置文件繼續使用；

步驟四、設計代碼生成器，并對代碼生成器進行形式化驗證；

從步驟三通過校驗的Manifest文件的分區信息中提取各個分區的參數，根據提取參數編寫源代碼和鏈接腳本；

通過文本替換的方式設計代碼生成器，采用形式化的方法對代碼生成器進行驗證；

步驟五、獲取步驟三通過校驗的Manifest文件中的交叉工具鏈編譯器版本信息和編譯參數，并對編譯器版本進行檢查；

通過代碼生成器產生的源代碼在進行編譯之前，將步驟三中通過校驗的Manifest文件中規定的編譯器版本信息與實際使用的編譯器版本進行對比，確保編譯器版本的正確性；

步驟六、編譯代碼生成器生成的源代碼；

獲取步驟三通過校驗的Manifest文件中的編譯參數，使用版本相同的編譯器編譯源代碼；

步驟七、獲取步驟三通過校驗的Manifest中的交叉工具鏈鏈接器版本信息和鏈接參數，并對鏈接器版本進行檢查；

完成步驟六中源代碼的編譯之后，對比Manifest中規定的交叉工具鏈鏈接器版本信息和實際使用的鏈接器版本信息，確保所使用的鏈接器為規定版本；

步驟八、根據代碼生成器產生的鏈接腳本，將應用程序鏈接到指定的位置；

在完成鏈接器版本的驗證之后，根據Manifest文件中的鏈接參數和代碼生成器產生的鏈接腳本，交叉工具鏈中的鏈接器執行鏈接環節，將程序的各個段鏈接到指定的位置。