[發明專利]一種安全關鍵軟件建模語言安全子集的管理方法

有效

• 申請號: 202011466462.4
• 申請日: 2020-12-14
• 公開（公告）號: CN112596721B
• 公開（公告）日: 2023-10-03
• 發明（設計）人: 朱理化;周彰毅;張春;黃浩
• 申請（專利權）人: 中國航發控制系統研究所
• 主分類號: G06F8/34
• 分類號: G06F8/34;G06F8/20
• 代理公司: 南京蘇高專利商標事務所(普通合伙) 32204
• 代理人: 柏尚春

1.一種安全關鍵軟件建模語言安全子集的管理方法，其特征在于，包括以下步驟：

(1)在SCADE Suite工具選項中定義建模語言的安全子集；

(2)將建模語言的安全子集定義保存為安全子集選項文件；

(3)模型設計過程中，在模型工程文件中導入安全子集選項文件。

2.根據權利要求1所述的安全關鍵軟件建模語言安全子集的管理方法，其特征在于，所述步驟(1)包括步驟(1.1)：新建或打開一個“.etp”格式的工程文件。

3.根據權利要求1所述的安全關鍵軟件建模語言安全子集的管理方法，其特征在于，所述步驟(1)包括步驟(1.2)：在SCADE Suite工具環境下，通過Tools-Options按鈕打開工具選項界面；在Language頁面下，根據建模語言的安全子集，將允許使用的元素勾選，將禁止使用的元素取消勾選。

4.根據權利要求1所述的安全關鍵軟件建模語言安全子集的管理方法，其特征在于，所述步驟(2)包括步驟(2.1)：在SCADE Suite工具環境下，通過Tools-Options按鈕打開工具選項界面；在Enviroment頁面中，將“Show advanced options page”選項打勾，工具選項界面顯示出Advanced頁面。

5.根據權利要求1所述的安全關鍵軟件建模語言安全子集的管理方法，其特征在于，所述步驟(2)包括步驟(2.2)：在Advanced頁面下，Servers下拉框選擇“SCADE”，Managers下拉框選擇“Language”；點擊Save As按鈕，將當前選項保存為安全子集選項文件，命名為“ScadeSafeSubset.tot”。

6.根據權利要求1所述的安全關鍵軟件建模語言安全子集的管理方法，其特征在于，所述步驟(3)包括步驟(3.1)：在SCADE Suite工具環境下，打開需要使用安全子集的“.etp”格式的工程文件。

7.根據權利要求1所述的安全關鍵軟件建模語言安全子集的管理方法，其特征在于，所述步驟(3)包括步驟(3.2)：在FileView視圖中，使用鼠標右鍵點擊工程名稱，再通過InsertFiles按鈕選擇步驟(2.2)中保存的安全子集選項文件“ScadeSafeSubset.tot”，將其添加到工程中。

8.根據權利要求1所述的安全關鍵軟件建模語言安全子集的管理方法，其特征在于，所述步驟(3)包括步驟(3.3)：在Shortcuts視圖中，安全子集內的建模元素顯示為正常的顏色，當光標經過時建模元素的圖標會被框選且允許被使用，而安全子集之外的元素則顯示為灰色，當光標經過時建模元素的圖標無反應且禁止使用。