[發(fā)明專利]一種民用航空發(fā)動(dòng)機(jī)軟件模型規(guī)范及自動(dòng)化檢查方法

在審

• 申請(qǐng)?zhí)枺?/td>: 202210187305.2
• 申請(qǐng)日: 2022-02-28
• 公開（公告）號(hào): CN114706613A
• 公開（公告）日: 2022-07-05
• 發(fā)明（設(shè)計(jì)）人: 張春;周顧庭;范宇航;周彰毅;朱理化
• 申請(qǐng)（專利權(quán)）人: 中國航發(fā)控制系統(tǒng)研究所
• 主分類號(hào): G06F8/73
• 分類號(hào): G06F8/73;G06F8/35
• 代理公司: 南京蘇高專利商標(biāo)事務(wù)所(普通合伙) 32204
• 代理人: 柏尚春

1.一種民用航空發(fā)動(dòng)機(jī)軟件模型規(guī)范及自動(dòng)化檢查方法，其特征在于，包括以下步驟：

(1)標(biāo)識(shí)所使用的建模工具，以及其語法、語義、特征和限制；

(2)規(guī)定建模的風(fēng)格及復(fù)雜性；

(3)規(guī)定建模工具和支持庫正確使用的約束；

(4)建立需求追溯的方法，明確追溯的對(duì)象及方法以及派生設(shè)計(jì)的處理方案；

(5)將條目化的需求規(guī)范結(jié)合SCADE工具，使用TCL腳本語言開發(fā)出檢查工具并實(shí)現(xiàn)一鍵檢查。

2.根據(jù)權(quán)利要求1所述的一種民用航空發(fā)動(dòng)機(jī)軟件模型規(guī)范及自動(dòng)化檢查方法，其特征在于，所述步驟(2)具體為：

(2.1)規(guī)定模型的命名約定，對(duì)文件名、目錄名、模型名、變量、常量、常用數(shù)據(jù)結(jié)構(gòu)類型制定命名的規(guī)則；

(2.2)規(guī)定模型搭建的風(fēng)格，涉及模型的可讀性及模型批注與注釋的方法；

(2.3)設(shè)定模型的復(fù)雜度限制，對(duì)數(shù)組、結(jié)構(gòu)體、枚舉、條件組合、有限狀態(tài)機(jī)、模塊的扇出的復(fù)雜度做了明確的規(guī)定。

3.根據(jù)權(quán)利要求1所述的一種民用航空發(fā)動(dòng)機(jī)軟件模型規(guī)范及自動(dòng)化檢查方法，其特征在于，所述步驟(3)具體為：

(3.1)制定設(shè)計(jì)模型的規(guī)則，約定除法、事件觸發(fā)、條件判定等算法的設(shè)計(jì)約束；

(3.2)設(shè)定建模元素的禁用模塊。

4.根據(jù)權(quán)利要求1所述的一種民用航空發(fā)動(dòng)機(jī)軟件模型規(guī)范及自動(dòng)化檢查方法，其特征在于，所述步驟(5)具體為：

(5.1)分析模型規(guī)范中的規(guī)則，使用TCL語言逐條將規(guī)則使用腳本語言實(shí)現(xiàn)；

(5.2)在SCADE運(yùn)行環(huán)境下，運(yùn)行所需分析的模型工程，讀取TCL腳本，選擇需分析的規(guī)則，開展規(guī)則分析；

(5.3)根據(jù)規(guī)則掃描的結(jié)果，生成報(bào)告，以報(bào)表形式給出相關(guān)的規(guī)則的掃描結(jié)果，報(bào)表的內(nèi)容包括檢查的工程名稱、檢查時(shí)間、問題個(gè)數(shù)、違反規(guī)則的模塊、違反的具體規(guī)則條目。

5.一種計(jì)算機(jī)存儲(chǔ)介質(zhì)，其上存儲(chǔ)有計(jì)算機(jī)程序，其特征在于，該計(jì)算機(jī)程序被處理器執(zhí)行時(shí)實(shí)現(xiàn)如權(quán)利要求1-4中任一項(xiàng)所述的一種民用航空發(fā)動(dòng)機(jī)軟件模型規(guī)范及自動(dòng)化檢查方法。

6.一種計(jì)算機(jī)設(shè)備，包括儲(chǔ)存器、處理器及存儲(chǔ)在存儲(chǔ)器上并可再處理器上運(yùn)行的計(jì)算機(jī)程序，其特征在于，所述處理器執(zhí)行所述計(jì)算機(jī)程序時(shí)實(shí)現(xiàn)如權(quán)利要求1-4中任一項(xiàng)所述的一種民用航空發(fā)動(dòng)機(jī)軟件模型規(guī)范及自動(dòng)化檢查方法。