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

有效

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

本發明公開了一種安全關鍵軟件建模語言安全子集的管理方法，該方法的具體步驟是：(1)在SCADE Suite工具選項中定義建模語言的安全子集；(2)將建模語言的安全子集定義保存為安全子集選項文件；(3)模型設計過程中，在模型工程文件中導入安全子集選項文件。本發明所述的方法以選項文件的形式管理建模語言的安全子集，便于后續增刪安全子集的內容；同時，在軟件產品開過程中禁用了安全子集之外的元素，增強了軟件的安全性。

技術領域

本發明屬于軟件開發領域，特別是一種安全關鍵軟件建模語言安全子集的管理方法。

背景技術

航空航天等領域對能導致災難性風險的軟件的安全性提出了嚴格的要求，這些軟件被稱為安全關鍵軟件。為避免編程語言本身的問題引入設計缺陷，安全關鍵軟件開發必須對選用的編程語言做出進一步的限制，從而建立編程語言的安全子集，再以此為基礎開展軟件產品的研發。

基于模型的軟件設計使用圖形化的建模語言建立模型并自動生成代碼。對于篩選出的建模語言的安全子集，需要以合適的形式在后續的軟件產品研發過程中貫徹，以避免安全子集之外的建模元素被軟件設計人員使用。SCADE Suite是安全關鍵軟件開發領域中常見的一種基于模型的軟件開發工具。

發明內容

發明目的：本發明的目的是提供一種使得基于SCADE Suite工具的模型設計過程中安全子集之外的建模元素不會被使用的安全關鍵軟件建模語言的安全子集的管理方法。

技術方案：SCADE Suite工具的風格及其選項配置被存儲于擴展名為.tot的選項文件中，而工具選項“Predefined Operators and Constructs”允許選擇其基本建模元素是否可以在模型開發中使用，本發明就是利用選項文件管理建模語言的安全子集。本發明所述的方法包括以下步驟：

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

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

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

所述步驟(1)包括步驟(1.1)：新建或打開一個“.etp”格式的工程文件。

所述步驟(1)包括步驟(1.2)：在SCADE Suite工具環境下，通過Tools-Options按鈕打開工具選項界面；在Language頁面下，根據建模語言的安全子集，將允許使用的元素勾選，將禁止使用的元素取消勾選。

所述步驟(2)包括步驟(2.1)：在SCADE Suite工具環境下，通過Tools-Options按鈕打開工具選項界面；在Enviroment頁面中，將“Show advanced options page”選項打勾，工具選項界面顯示出Advanced頁面。

所述步驟(2)包括步驟(2.2)：在Advanced頁面下，Servers下拉框選擇“SCADE”，Managers下拉框選擇“Language”；點擊Save As按鈕，將當前選項保存為安全子集選項文件，命名為“ScadeSafeSubset.tot”。

所述步驟(3)包括步驟(3.1)：在SCADE Suite工具環境下，打開需要使用安全子集的“.etp”格式的工程文件。

所述步驟(3)包括步驟(3.2)：在FileView視圖中，使用鼠標右鍵點擊工程名稱，再通過Insert Files按鈕選擇步驟(2.2)中保存的安全子集選項文件“ScadeSafeSubset.tot”，將其添加到工程中。

所述步驟(3)包括步驟(3.3)：在Shortcuts視圖中，安全子集內的建模元素顯示為正常的顏色，當光標經過時建模元素的圖標會被框選且允許被使用，而安全子集之外的元素則顯示為灰色，當光標經過時建模元素的圖標無反應且禁止使用。