[發明專利]基于ARINC653操作系統生成代碼的方法與裝置

有效

• 申請號: 201710081714.3
• 申請日: 2017-02-15
• 公開（公告）號: CN106919386B
• 公開（公告）日: 2019-09-20
• 發明（設計）人: 趙永望;張峰;馬殿富;王磊;李逍逍
• 申請（專利權）人: 北京航空航天大學
• 主分類號: G06F8/35
• 分類號: G06F8/35
• 代理公司: 北京同立鈞成知識產權代理有限公司 11205
• 代理人: 楊澤;劉芳

1.一種基于ARINC653操作系統生成代碼的方法，其特征在于，包括：

獲取知識圖文件，所述知識圖文件包括至少一條知識路徑，每條知識路徑均包括至少兩個知識概念，每個知識概念均通過同一路徑中的上一知識概念和對應的關系公式得到，各所述關系公式至少屬于兩個不同的知識領域，一個知識領域對應所述ARINC653操作系統的一個分區，所述ARINC653操作系統中包括多個所述分區；

根據所述知識圖文件生成多個任務，并建立各所述任務之間的連接關系，每個所述任務至少包括一個目標關系公式以及所述目標關系公式對應的目標知識概念，屬于同一任務的目標關系公式的知識領域相同；

根據各所述任務所包括的所述目標關系公式和所述目標知識概念，在所屬知識領域對應的代碼庫中獲取目標代碼；

根據所述連接關系對所述目標代碼排序，生成完整代碼。

2.根據權利要求1所述的方法，其特征在于，所述獲取知識圖文件包括：

獲取各知識概念；

根據各知識概念的因果關系構建所述知識圖文件。

3.根據權利要求1所述的方法，其特征在于，所述根據各所述任務所包括的所述目標關系公式和所述目標知識概念，在所屬知識領域對應的代碼庫中獲取目標代碼包括：

根據目標關系公式在所屬知識領域對應的所述代碼庫中獲取待補充代碼；

根據所述目標知識概念和所述待補充代碼生成所述目標代碼。

4.根據權利要求1所述的方法，其特征在于，所述知識領域至少包括以下的兩種領域：大氣計算領域、導航領域、飛行管理領域、飛行控制領域。

5.根據權利要求1-4中任一項所述的方法，其特征在于，在所述生成完整代碼之后，還包括：

根據所述完整代碼生成控制指令；

向伺服控制器發送控制指令，以使所述伺服控制器根據所述控制指令發送動作信號控制飛行器的飛行。

6.一種基于ARINC653操作系統生成代碼的裝置，其特征在于，包括：

第一獲取模塊，用于獲取知識圖文件，所述知識圖文件包括至少一條知識路徑，每條知識路徑均包括至少兩個知識概念，每個知識概念均通過同一路徑中的上一知識概念和對應的關系公式得到，各所述關系公式至少屬于兩個不同的知識領域，一個知識領域對應所述ARINC653操作系統的一個分區，所述ARINC653操作系統中包括多個所述分區；

第一生成模塊，用于根據所述知識圖文件生成多個任務，并建立各所述任務之間的連接關系，每個所述任務至少包括一個目標關系公式以及所述目標關系公式對應的目標知識概念，屬于同一任務的目標關系公式的知識領域相同；

第二獲取模塊，用于根據各所述任務所包括的所述目標關系公式和所述目標知識概念，在所屬知識領域對應的代碼庫中獲取目標代碼；

第二生成模塊，用于根據所述連接關系對所述目標代碼排序，生成完整代碼。

7.根據權利要求6所述的裝置，其特征在于，所述第一獲取模塊具體用于，

獲取各知識概念；

根據各知識概念的因果關系構建所述知識圖文件。

8.根據權利要求6所述的裝置，其特征在于，所述第二獲取模塊具體用于，

根據目標關系公式在所屬知識領域對應的所述代碼庫中獲取待補充代碼；

根據所述目標知識概念和所述待補充代碼生成所述目標代碼。

9.根據權利要求6所述的裝置，其特征在于，所述知識領域至少包括以下的兩種領域：大氣計算領域、導航領域、飛行管理領域、飛行控制領域。

10.根據權利要求6-9中任一項所述的裝置，其特征在于，還包括：

控制模塊，用于根據所述完整代碼生成控制指令；

發送模塊，用于向伺服控制器發送控制指令，以使所述伺服控制器根據所述控制指令發送動作信號控制飛行器的飛行。