用户名: 密码:    忘记密码   注册   在线充值
基于扩展UML模型的安全苛求系统的故障树生成方法  
 【申请号】  CN201810468311.9  【申请日】  2018-05-16
 【公开号】  CN108763680A  【公开日】  2018-11-06
 【申请人】  北京交通大学  【地址】  100044 北京市海淀区西直门外上园村3号
 【共同申请人】  
 【发明人】  郑伟;杨凌云
 【国际申请】    【国际公布】  
 【进入国家日期】  
 【专利代理机构】  北京市商泰律师事务所 11255  【代理人】  黄晓军
 【分案原申请号】  
 【国省代码】  11
 【摘要】  本发明提供了一种基于扩展UML模型的安全苛求系统的故障树生成方法。该方法包括构造安全苛求系统的扩展UML模型;从所述扩展UML模型中提取安全苛求系统的结构关系信息,所述结构关系信息包括类图中的关联关系和基数信息;基于所述结构关系信息使用故障树生成算法生成所述安全苛求系统的动态故障树。本发明针对标准UML方法对系统安全方面的描述缺陷,使用了构造型来扩展UML对系统冗余结构的描述并提供一个语义对照表,用来确定模型中的元素、关联和构造型语义以及相对应的故障树实现方法,成功地将安全分析有关信息嵌入到系统模型中去,便于设计人员进行基于模型的开发及分析,为其提供了极大的自由度和灵活性。
 【主权项】  1.一种基于扩展UML模型的安全苛求系统的故障树生成方法,其特征在于,包括:构造安全苛求系统的扩展UML模型;从所述扩展UML模型中提取安全苛求系统的结构关系信息,所述结构关系信息包括类图中的关联关系和基数信息;基于所述结构关系信息使用故障树生成算法生成所述安全苛求系统的动态故障树。
 【页数】  19
 【主分类号】  G06F17/50
 【专利分类号】  G06F17/50
   推荐下载阅读CAJ格式全文 查询法律状态
(不支持迅雷等加速下载工具,请取消加速工具后下载。)

 


专利产出状态分析  
本领域科技成果与标准  
发明人发表文献
申请机构(个人)发表文献
本专利研制背景
本专利应用动态
所涉核心技术研究动态
京 ICP 证 040431 号 网络出版服务许可证 (总)网出证(京)字第 271 号经营性网站备案信息 京公网安备 11010802020460 号
© 2010-2017 中国知网(CNKI) 《中国学术期刊(光盘版)》电子杂志社有限公司 KDN 平台基础技术由 KBASE 11.0 提供
服务热线:400-810-9888 订卡热线:800-810-6613
在线咨询:http://help.cnki.net 客服中心:http://service.cnki.net 电子邮件:help@cnki.net
可信网站 诚信网站