[发明专利]一种基于模型的增强视景系统安全性分析方法有效
申请号: | 201711214848.4 | 申请日: | 2017-11-28 |
公开(公告)号: | CN107908892B | 公开(公告)日: | 2021-07-06 |
发明(设计)人: | 王鹏;董磊;荣灝;肖女娥;邢培培 | 申请(专利权)人: | 中国民航大学 |
主分类号: | G06F30/20 | 分类号: | G06F30/20 |
代理公司: | 天津中环专利商标代理有限公司 12105 | 代理人: | 王凤英 |
地址: | 300300 天*** | 国省代码: | 天津;12 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于模型的增强视景系统安全性分析方法。本方法包括:确定增强视景系统需求规范,包括系统架构需求、功能需求及安全性需求;根据EVS系统需求规范,建立EVS分层名义模型;识别设备失效模式并为名义模型注入失效信息,生成EVS失效拓展模型;分析系统串、并联架构,建立失效模式致因关系;针对典型失效状态,生成故障树模型;开展定性及定量形式化安全性分析,验证系统安全性需求,并得出安全性分析结论。本发明通过利用形式化安全性分析方法,解决了传统安全性评估方法工作量大、易于出错及缺乏对系统层次架构的考虑与证明等问题,提高了系统安全性分析效率,降低了安全性评估工作量。 | ||
搜索关键词: | 一种 基于 模型 增强 系统 安全性 分析 方法 | ||
【主权项】:
一种基于模型的增强视景系统安全性分析方法,其特征在于,包括如下步骤:步骤一:确定EVS系统需求规范,包括系统架构需求、功能需求及安全性需求;步骤二:根据EVS系统需求规范,建立EVS系统分层名义模型;步骤三:识别设备失效模式并为名义模型注入失效信息,生成EVS系统失效拓展模型;步骤四:分析系统串、并联架构,建立失效模式致因关系;步骤五:针对典型失效状态,生成故障树模型;步骤六:开展定性及定量形式化安全性分析,验证系统安全性需求,并得出安全性分析结论。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国民航大学,未经中国民航大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201711214848.4/,转载请声明来源钻瓜专利网。
- 上一篇:螺旋成形
- 下一篇:一种金属层光阻顶部缺失工艺热点的版图处理方法