CN112596721B - 一种安全关键软件建模语言安全子集的管理方法 - Google Patents

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

Info

Publication number
CN112596721B
CN112596721B CN202011466462.4A CN202011466462A CN112596721B CN 112596721 B CN112596721 B CN 112596721B CN 202011466462 A CN202011466462 A CN 202011466462A CN 112596721 B CN112596721 B CN 112596721B
Authority
CN
China
Prior art keywords
subset
option
security
file
modeling language
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN202011466462.4A
Other languages
English (en)
Other versions
CN112596721A (zh
Inventor
朱理化
周彰毅
张春
黄浩
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
AECC Aero Engine Control System Institute
Original Assignee
AECC Aero Engine Control System Institute
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by AECC Aero Engine Control System Institute filed Critical AECC Aero Engine Control System Institute
Priority to CN202011466462.4A priority Critical patent/CN112596721B/zh
Publication of CN112596721A publication Critical patent/CN112596721A/zh
Application granted granted Critical
Publication of CN112596721B publication Critical patent/CN112596721B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design

Abstract

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

Description

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

Claims (1)

1.一种安全关键软件建模语言安全子集的管理方法，其特征在于，包括以下步骤：
（1）在SCADE Suite工具选项中定义建模语言的安全子集；
（1.1）新建或打开一个“.etp”格式的工程文件；
（1.2）在SCADE Suite工具环境下，通过Tools-> Options按钮打开工具选项界面；在Language页面下，根据建模语言的安全子集，将允许使用的元素勾选，将禁止使用的元素取消勾选；
（2）将建模语言的安全子集定义保存为安全子集选项文件；
（2.1）在SCADE Suite工具环境下，通过Tools-> Options按钮打开工具选项界面；在Enviroment页面中，将“Show advanced options page”选项打勾，工具选项界面显示出Advanced页面；
（2.2）在Advanced页面下，Servers下拉框选择“SCADE”，Managers下拉框选择“Language”；点击Save As按钮，将当前选项保存为安全子集选项文件，命名为“ScadeSafeSubset.tot”；
（3）模型设计过程中，在模型工程文件中导入安全子集选项文件；
（3.1）在SCADE Suite工具环境下，打开需要使用安全子集的“.etp”格式的工程文件；
（3.2）在FileView视图中，使用鼠标右键点击工程名称，再通过Insert Files按钮选择步骤（2.2）中保存的安全子集选项文件“ScadeSafeSubset.tot”，将其添加到工程中；
（3.3）在Shortcuts视图中，安全子集内的建模元素显示为正常的颜色，当光标经过时建模元素的图标会被框选且允许被使用，而安全子集之外的元素则显示为灰色，当光标经过时建模元素的图标无反应且禁止使用。
CN202011466462.4A 2020-12-14 2020-12-14 一种安全关键软件建模语言安全子集的管理方法 Active CN112596721B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011466462.4A CN112596721B (zh) 2020-12-14 2020-12-14 一种安全关键软件建模语言安全子集的管理方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011466462.4A CN112596721B (zh) 2020-12-14 2020-12-14 一种安全关键软件建模语言安全子集的管理方法

Publications (2)

Publication Number Publication Date
CN112596721A CN112596721A (zh) 2021-04-02
CN112596721B true CN112596721B (zh) 2023-10-03

Family

ID=75195156

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011466462.4A Active CN112596721B (zh) 2020-12-14 2020-12-14 一种安全关键软件建模语言安全子集的管理方法

Country Status (1)

Country Link
CN (1) CN112596721B (zh)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112597446B (zh) * 2020-12-14 2023-07-25 中国航发控制系统研究所 一种安全关键软件建模语言安全子集的筛选方法

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101753377A (zh) * 2009-12-29 2010-06-23 吉林大学 一种p2p_botnet实时检测方法及系统
CN104484163A (zh) * 2014-11-20 2015-04-01 北京索为高科系统技术有限公司 一种基于统一建模环境的异构模型转换方法
CN105843182A (zh) * 2015-09-11 2016-08-10 国家电网公司西北分部 一种基于oms的电力调度事故预案系统及方法
CN106445494A (zh) * 2009-10-14 2017-02-22 韦尔迈格服务有限公司 自动化企业软件开发
CN107808020A (zh) * 2016-09-09 2018-03-16 卡斯柯信号有限公司 基于形式化模型开发的计算机联锁软件开发与实现系统
CN109558140A (zh) * 2018-11-27 2019-04-02 上海航天电子通讯设备研究所 一种软件设计与实现的语义一致性验证方法
CN109840197A (zh) * 2018-05-04 2019-06-04 上海聆播信息科技有限公司 一种自动化测试对象库的系统及方法
CN110674473A (zh) * 2019-09-12 2020-01-10 中国民航大学 一种基于stpa的安全关键软件安全性验证方法

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20100180027A1 (en) * 2009-01-10 2010-07-15 Barracuda Networks, Inc Controlling transmission of unauthorized unobservable content in email using policy

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106445494A (zh) * 2009-10-14 2017-02-22 韦尔迈格服务有限公司 自动化企业软件开发
CN101753377A (zh) * 2009-12-29 2010-06-23 吉林大学 一种p2p_botnet实时检测方法及系统
CN104484163A (zh) * 2014-11-20 2015-04-01 北京索为高科系统技术有限公司 一种基于统一建模环境的异构模型转换方法
CN105843182A (zh) * 2015-09-11 2016-08-10 国家电网公司西北分部 一种基于oms的电力调度事故预案系统及方法
CN107808020A (zh) * 2016-09-09 2018-03-16 卡斯柯信号有限公司 基于形式化模型开发的计算机联锁软件开发与实现系统
CN109840197A (zh) * 2018-05-04 2019-06-04 上海聆播信息科技有限公司 一种自动化测试对象库的系统及方法
CN109558140A (zh) * 2018-11-27 2019-04-02 上海航天电子通讯设备研究所 一种软件设计与实现的语义一致性验证方法
CN110674473A (zh) * 2019-09-12 2020-01-10 中国民航大学 一种基于stpa的安全关键软件安全性验证方法

Non-Patent Citations (5)

* Cited by examiner, † Cited by third party
Title
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments;Xiaocheng Ge 等;《2010 Agile Conference》;第35-43页 *
一种安全关键软件系统符号执行优化方法;戴延军 等;《计算机与现代化》(第1期);第96-99页 *
基于SCADE的安全软件开发方法研究;陈淑珍 等;《铁路计算机应用》;第24卷(第3期);第14-18页 *
基于SCADE的航空发动机FADEC软件开发;周彰毅 等;《测控技术》;第37卷(第1期);第110-115页 *
装备软件可靠性分析与设计方法;张玉晓;杨云;崔西宁;;航空计算技术(第06期);第100-107页 *

Also Published As

Publication number Publication date
CN112596721A (zh) 2021-04-02

Similar Documents

Publication Publication Date Title
US11023834B2 (en) Collaborative design systems, apparatuses, and methods
JP5329012B2 (ja) プロセス制御システム及び方法
US7117449B1 (en) Method and apparatus to present an integrated process modeler
US8744821B2 (en) Spreadsheet-based templates for supporting the systems engineering process
Kehrer et al. Understanding model evolution through semantically lifting model differences with SiLift
US10908882B2 (en) Object configuration utilities
KR20090025271A (ko) 사용자 인터페이스를 제공하기 위한 컴퓨터 구현 방법, 컴퓨터 판독가능 매체, 및 데이터 뷰에 대해 맞춤 속성 폼을 상관시키기 위한 컴퓨터 구현 방법
US20130205197A1 (en) Structured document development, management and generation
US8997037B2 (en) User customizable queries to populate model diagrams
CN104750796A (zh) 一种BS系统下导出Word的方法
CN112764737B (zh) 一种智慧低代码技术平台系统
CN112596721B (zh) 一种安全关键软件建模语言安全子集的管理方法
CN113886362A (zh) 基于工作流引擎及低代码平台的数据存储系统及存储方法
CN110032717B (zh) 一站式流程业务标准化设计方法
CN115309298A (zh) 基于富文本编辑器的文本结构化方法及装置、介质及设备
CN111782651A (zh) 数据关联关系的可视化编辑方法、装置、设备及存储介质
JP2006512670A (ja) 統合型プロセス・モデラーのための方法及び装置
CN113741882B (zh) 一种rpa图形化指令设计方法
Shahin et al. Rationale visualization of software architectural design decision using compendium
US20070074112A1 (en) Apparatus and method for consolidating reporting formulas
CN115344966A (zh) 一种cad装配体零部件替换方法及系统
US20240111922A1 (en) System and method for managing simulation artifacts
Yamada Attribute-oriented modeling—Another dimension for Model-Based Systems Engineering
Edwards et al. Abstracting the logical processing life cycle for entities using the RECAST method
KR20240054362A (ko) 앱을 관리, 특히 이벤트 아티팩트를 포함하는 앱을 개발하는 방법 및 시스템

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant