[发明专利]支持STPA方法分析UCA的电子表格工具的实现方法有效

专利信息
申请号: 201910051503.4 申请日: 2019-01-18
公开(公告)号: CN109800393B 公开(公告)日: 2021-04-27
发明(设计)人: 王立松;冯涛;胡军 申请(专利权)人: 南京航空航天大学
主分类号: G06F40/14 分类号: G06F40/14;G06F40/18
代理公司: 南京钟山专利代理有限公司 32252 代理人: 上官凤栖
地址: 210000 *** 国省代码: 江苏;32
权利要求书: 查看更多 说明书: 查看更多
摘要:
搜索关键词: 支持 stpa 方法 分析 uca 电子表格 工具 实现
【权利要求书】:

1.支持STPA方法分析UCA的电子表格工具的实现方法,其特征在于,包括以下步骤:

步骤一、创建Eclipse RCP工程,实现电子表格工具的平台框架,所述电子表格工具独立成Eclipse的插件形式;

步骤二、采用模型-视图-控制器模式构建电子表格系统;所述步骤二中,工具的数据模型与工具的视图分离,由中间层控制器连接,具体如下:将所有底层数据模型抽象成单独的父类模型,并实现数据模型接口,将底层数据模型的接口独立出来,交由控制器实现;视图则通过类对象包含的方式将某个视图对应的控制器加入到本对象中,实现视图与控制器的连接;

步骤三、以Grid部件作为底层模块,并在此基础之上根据STPA方法分析不安全控制动作的特定需求,进一步封装;所述步骤三中,进一步封装具体包括:电子表格工具初始化时,根据软件现有分辨率大小自动添加四个列宽一样的引导词分析表头;电子表格工具界面中设置添加或删除按钮实现不安全控制动作的内容编辑功能;电子表格工具自动响应界面中所有的按钮事件进行表格内容的重绘工作,自动调整表格中具体单元格的大小;确定了不安全控制动作之后,电子表格工具针对每一个不安全控制动作提供单独的危害连接按钮,实现连接功能;

步骤四、使用扩展标记语言实现表格信息的存储与解析;所述步骤四中,电子表格工具的安全性分析结果通过XML文件的形式进行存储和解析:通过对工具中所有数据模型进行XML对象树结构映射,建立结构完整的数据模型对象,在用户进行存储的过程中,将对象树直接序列化为符合规范的XML文档;用户在加载相应的XML工程文档时,通过反序列化得到完整的数据模型对象以及分析内容的复现;在数据模型之间建立Java对象树,通过Java对象树映射为XML Schema的方式,实现STPA所有基本元素模型以及在安全性分析过程中的所有内容的存储功能。

2.如权利要求1所述的支持STPA方法分析UCA的电子表格工具的实现方法,其特征在于:所述步骤一中,在RCP工程的Workbench模块中进行电子表格工具的具体实现。

下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于南京航空航天大学,未经南京航空航天大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/pat/books/201910051503.4/1.html,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top