本发明公开了一种基于模型的增强视景系统安全性分析方法。本方法包括:确定增强视景系统需求规范,包括系统架构需求、功能需求及安全性需求;根据EVS系统需求规范,建立EVS分层名义模型;识别设备失效模式并为名义模型注入失效信息,生成EVS失效拓展模型;分析系统串、并联架构,建立失效模式致因关系;针对典型失效状态,生成故障树模型;开展定性及定量形式化安全性分析,验证系统安全性需求,并得出安全性分析结论。本发明通过利用形式化安全性分析方法,解决了传统安全性评估方法工作量大、易于出错及缺乏对系统层次架构的考虑与证明等问题,提高了系统安全性分析效率,降低了安全性评估工作量。
声明:
“基于模型的增强视景系统安全性分析方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)