用户名: 密码:    忘记密码   注册   在线充值
安全苛求系统的扩展UML类图模型的故障树生成方法  
 【申请号】  CN201510067946.4  【申请日】  2015-02-09
 【公开号】  CN104679510A  【公开日】  2015-06-03
 【申请人】  北京交通大学  【地址】  100044 北京市海淀区西直门外上园村3号
 【共同申请人】  
 【发明人】  郑伟;杨凌云;吴道华;吴可;赵林;唐涛
 【国际申请】    【国际公布】  
 【进入国家日期】  
 【专利代理机构】  北京市商泰律师事务所 11255  【代理人】  毛燕生
 【分案原申请号】  
 【国省代码】  11
 【摘要】  本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括:构造安全苛求系统的UML类图模型,UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系,使用了构造型来扩展模型元素语义;将UML类图模型保存为设定格式的文件,按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析,提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息,基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去,实现了系统设计模型与系统安全模型之间的自动转换,可以有效地克服安全苛求系统的设计型故障。
 【主权项】  一种安全苛求系统的扩展UML类图模型的故障树生成方法,其特征在于,包括:构造安全苛求系统的UML类图模型,所述UML类图模型中的各个类包含属性和操作;将所述UML类图模型保存为设定格式的文件,按照设定的信息提取算法对所述UML类图模型对应的设定格式的文件进行解析,提取所述UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息;根据所述各个类和各个类对应的属性和操作信息,基于设定的故障树生成算法生成所述UML类图模型对应的故障树。
 【页数】  21
 【主分类号】  G06F9/44
 【专利分类号】  G06F9/44
   推荐下载阅读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
可信网站 诚信网站