[發明專利]發動機的控制軟件的形式化處理方法和裝置

在審

• 申請號: 202011373919.7
• 申請日: 2020-11-30
• 公開（公告）號: CN114579084A
• 公開（公告）日: 2022-06-03
• 發明（設計）人: 趙旭東;徐靜
• 申請（專利權）人: 中國航發商用航空發動機有限責任公司
• 主分類號: G06F8/10
• 分類號: G06F8/10;G06F8/35;G06F30/20
• 代理公司: 中國貿促會專利商標事務所有限公司 11038
• 代理人: 張海強

1.一種發動機的控制軟件的形式化處理方法，包括：

接收用戶輸入的所述控制軟件的半形式化的控制需求；

根據定義的形式化語言，將所述半形式化的控制需求形成為形式化的控制需求；

根據所述發動機的控制安全規則，對所述形式化的控制需求進行驗證；

將驗證后的所述形式化的控制需求轉換為建模腳本，其中，所述建模腳本被配置為在被建模軟件執行后生成所述控制軟件的仿真模型。

2.根據權利要求1所述的方法，其中，所述接收用戶輸入的所述控制軟件的半形式化的控制需求包括：

響應于用戶輸入的多個變量，對所述多個變量進行檢查，以使得所述多個變量的名稱彼此不同；

響應于用戶輸入的多個功能任務和所述多個功能任務對應的彼此不同的多個編號，對每個功能任務進行檢查，以使得每個功能任務中的每個變量均屬于所述多個變量；

響應于用戶輸入的多個控制狀態的調用邏輯，對每個控制狀態的調用邏輯進行檢查，以使得每個控制狀態調用的每個功能任務的編號均屬于所述多個編號；

接收用戶輸入的狀態遷移邏輯和時序控制邏輯，所述狀態遷移邏輯包括所述控制軟件需要的不同控制狀態之間的遷移順序，所述時序控制邏輯包括所述控制軟件需要的每個控制狀態調用的每個功能任務的持續時間。

3.根據權利要求2所述的方法，其中，所述將驗證后的所述形式化的控制需求轉換為所述建模軟件能夠執行的建模腳本包括：

將所述多個變量轉換為第一腳本；

利用所述形式化語言與所述建模軟件的腳本語言之間的轉換引擎，將所述多個功能任務中的每個功能任務轉換為第二腳本；

將所述多個控制狀態的調用邏輯中的每個調用邏輯轉換為第三腳本；

利用所述轉換引擎將所述狀態遷移邏輯和所述時序控制邏輯轉換為第四腳本；

其中，所述建模腳本包括所述第一腳本、所述第二腳本、所述第三腳本和所述第四腳本。

4.根據權利要求3所述的方法，其中，所述將驗證后的所述形式化的控制需求轉換為所述建模軟件能夠執行的建模腳本還包括：

根據所述建模軟件的要求，將所述形式化的控制需求中所述控制軟件的配置需求轉換為第五腳本，所述建模腳本還包括所述第五腳本。

5.根據權利要求4所述的方法，其中：

所述第一腳本被所述建模軟件執行后生成所述仿真模型的數據文件；

所述第二腳本、所述第三腳本和所述第四腳本被所述建模軟件執行后生成所述仿真模型的模型文件；

所述第五腳本被所述建模軟件執行后生成所述仿真模型的配置文件。

6.根據權利要求1-5任意一項所述的方法，其中，所述發動機為航空發動機。

7.一種發動機的控制軟件的形式化處理裝置，包括：

接收模塊，被配置為接收用戶輸入的所述控制軟件的半形式化的控制需求；

形成模塊，被配置為根據定義的形式化語言，將所述半形式化的控制需求形成為形式化的控制需求；

驗證模塊，被配置為根據所述發動機的控制安全規則，對所述形式化的控制需求進行驗證；

轉換模塊，被配置為將驗證后的所述形式化的控制需求轉換為建模腳本，其中，所述建模腳本被配置為在被建模軟件執行后生成所述控制軟件的仿真模型。

8.根據權利要求7所述的裝置，其中，所述接收模塊被配置為：

響應于用戶輸入的多個變量，對所述多個變量進行檢查，以使得所述多個變量的名稱彼此不同；

響應于用戶輸入的多個功能任務和所述多個功能任務對應的彼此不同的多個編號，對每個功能任務進行檢查，以使得每個功能任務中的每個變量均屬于所述多個變量；

響應于用戶輸入的多個控制狀態的調用邏輯，對每個控制狀態的調用邏輯進行檢查，以使得每個控制狀態調用的每個功能任務的編號均屬于所述多個編號；

接收用戶輸入的狀態遷移邏輯和時序控制邏輯，所述狀態遷移邏輯包括所述控制軟件需要的不同控制狀態之間的遷移順序，所述時序控制邏輯包括所述控制軟件需要的每個控制狀態調用的每個功能任務的持續時間。