一种安全关键软件建模语言安全子集的管理方法技术

本发明专利技术公开了一种安全关键软件建模语言安全子集的管理方法，该方法的具体步骤是：(1)在SCADE Suite工具选项中定义建模语言的安全子集；(2)将建模语言的安全子集定义保存为安全子集选项文件；(3)模型设计过程中，在模型工程文件中导入安全子集选项文件。本发明专利技术所述的方法以选项文件的形式管理建模语言的安全子集，便于后续增删安全子集的内容；同时，在软件产品开过程中禁用了安全子集之外的元素，增强了软件的安全性。

【技术实现步骤摘要】
一种安全关键软件建模语言安全子集的管理方法
本专利技术属于软件开发领域，特别是一种安全关键软件建模语言安全子集的管理方法。
技术介绍
航空航天等领域对能导致灾难性风险的软件的安全性提出了严格的要求，这些软件被称为安全关键软件。为避免编程语言本身的问题引入设计缺陷，安全关键软件开发必须对选用的编程语言做出进一步的限制，从而建立编程语言的安全子集，再以此为基础开展软件产品的研发。基于模型的软件设计使用图形化的建模语言建立模型并自动生成代码。对于筛选出的建模语言的安全子集，需要以合适的形式在后续的软件产品研发过程中贯彻，以避免安全子集之外的建模元素被软件设计人员使用。SCADESuite是安全关键软件开发领域中常见的一种基于模型的软件开发工具。
技术实现思路
专利技术目的：本专利技术的目的是提供一种使得基于SCADESuite工具的模型设计过程中安全子集之外的建模元素不会被使用的安全关键软件建模语言的安全子集的管理方法。技术方案：SCADESuite工具的风格及其选项配置被存储于扩展名为.tot的选项文件中，而工具选项“PredefinedOperatorsandConstructs”允许选择其基本建模元素是否可以在模型开发中使用，本专利技术就是利用选项文件管理建模语言的安全子集。本专利技术所述的方法包括以下步骤：(1)在SCADESuite工具选项中定义建模语言的安全子集；(2)将建模语言的安全子集定义保存为安全子集选项文件；(3)模型设计过程中，在模型工程文件中导入安全子集选项文件。所述步骤(1)包括步骤(1.1)：新建或打开一个“.etp”格式的工程文件。所述步骤(1)包括步骤(1.2)：在SCADESuite工具环境下，通过Tools->Options按钮打开工具选项界面；在Language页面下，根据建模语言的安全子集，将允许使用的元素勾选，将禁止使用的元素取消勾选。所述步骤(2)包括步骤(2.1)：在SCADESuite工具环境下，通过Tools->Options按钮打开工具选项界面；在Enviroment页面中，将“Showadvancedoptionspage”选项打勾，工具选项界面显示出Advanced页面。所述步骤(2)包括步骤(2.2)：在Advanced页面下，Servers下拉框选择“SCADE”，Managers下拉框选择“Language”；点击SaveAs按钮，将当前选项保存为安全子集选项文件，命名为“ScadeSafeSubset.tot”。所述步骤(3)包括步骤(3.1)：在SCADESuite工具环境下，打开需要使用安全子集的“.etp”格式的工程文件。所述步骤(3)包括步骤(3.2)：在FileView视图中，使用鼠标右键点击工程名称，再通过InsertFiles按钮选择步骤(2.2)中保存的安全子集选项文件“ScadeSafeSubset.tot”，将其添加到工程中。所述步骤(3)包括步骤(3.3)：在Shortcuts视图中，安全子集内的建模元素显示为正常的颜色，当光标经过时建模元素的图标会被框选且允许被使用，而安全子集之外的元素则显示为灰色，当光标经过时建模元素的图标无反应且禁止使用。有益效果：与现有技术相比，本专利技术具有如下优点：1、以选项文件的形式管理建模语言的安全子集，便于后续增删安全子集的内容；2、在软件产品开过程中禁用了安全子集之外的元素，增强了软件的安全性。附图说明图1为本方法的步骤流程图；图2为安全子集的定制界面；图3为显示高级选项的设置界面；图4为安全子集选项文件保存的界面；图5为应用选项文件后建模元素被禁用的效果图。具体实施方式下面结合附图对本专利技术的技术方案作进一步说明。本专利技术所述的一种安全关键软件建模语言安全子集的管理方法包括如图1所示的步骤，具体为：(1)在SCADESuite工具选项中定义建模语言的安全子集；(1.1)新建或打开一个“.etp”格式的工程文件；(1.2)在SCADESuite工具环境下，通过Tools->Options按钮打开工具选项界面；如图2所示，在Language页面下，根据建模语言的安全子集，将允许使用的元素勾选，将禁止使用的元素取消勾选；(2)将建模语言的安全子集定义保存为安全子集选项文件；(2.1)在SCADESuite工具环境下，通过Tools->Options按钮打开工具选项界面；如图3所示，在Enviroment页面中，将“Showadvancedoptionspage”选项打勾，工具选项界面显示出Advanced页面；(2.2)如图4所示，在Advanced页面下，Servers下拉框选择“SCADE”，Managers下拉框选择“Language”；点击SaveAs按钮，将当前选项保存为安全子集选项文件，命名为“ScadeSafeSubset.tot”；(3)模型设计过程中，在模型工程文件中导入安全子集选项文件；(3.1)在SCADESuite工具环境下，打开需要使用安全子集的“.etp”格式的工程文件；(3.2)在FileView视图中，使用鼠标右键点击工程名称，再通过InsertFiles按钮选择步骤(2.2)中保存的安全子集选项文件“ScadeSafeSubset.tot”，将其添加到工程中；(3.3)如图5所示，在Shortcuts视图中，安全子集内的建模元素显示为正常的颜色，当光标经过时建模元素的图标会被框选且允许被使用，而安全子集之外的元素则显示为灰色，当光标经过时建模元素的图标无反应且禁止使用。本文档来自技高网...

【技术保护点】
1.一种安全关键软件建模语言安全子集的管理方法，其特征在于，包括以下步骤：/n(1)在SCADE Suite工具选项中定义建模语言的安全子集；/n(2)将建模语言的安全子集定义保存为安全子集选项文件；/n(3)模型设计过程中，在模型工程文件中导入安全子集选项文件。/n

【技术特征摘要】
1.一种安全关键软件建模语言安全子集的管理方法，其特征在于，包括以下步骤：
(1)在SCADESuite工具选项中定义建模语言的安全子集；
(2)将建模语言的安全子集定义保存为安全子集选项文件；
(3)模型设计过程中，在模型工程文件中导入安全子集选项文件。


2.根据权利要求1所述的安全关键软件建模语言安全子集的管理方法，其特征在于，所述步骤(1)包括步骤(1.1)：新建或打开一个“.etp”格式的工程文件。


3.根据权利要求1所述的安全关键软件建模语言安全子集的管理方法，其特征在于，所述步骤(1)包括步骤(1.2)：在SCADESuite工具环境下，通过Tools->Options按钮打开工具选项界面；在Language页面下，根据建模语言的安全子集，将允许使用的元素勾选，将禁止使用的元素取消勾选。


4.根据权利要求1所述的安全关键软件建模语言安全子集的管理方法，其特征在于，所述步骤(2)包括步骤(2.1)：在SCADESuite工具环境下，通过Tools->Options按钮打开工具选项界面；在Enviroment页面中，将“Showadvancedoptionspage”选项打勾，工具选项界面显示出Advanced页面。


5.根据权利要求1...

【专利技术属性】
技术研发人员：朱理化，周彰毅，张春，黄浩，
申请(专利权)人：中国航发控制系统研究所，
类型：发明
国别省市：江苏;32