本發明公開了一種基于模型的增強視景系統安全性分析方法。本方法包括:確定增強視景系統需求規范,包括系統架構需求、功能需求及安全性需求;根據EVS系統需求規范,建立EVS分層名義模型;識別設備失效模式并為名義模型注入失效信息,生成EVS失效拓展模型;分析系統串、并聯架構,建立失效模式致因關系;針對典型失效狀態,生成故障樹模型;開展定性及定量形式化安全性分析,驗證系統安全性需求,并得出安全性分析結論。本發明通過利用形式化安全性分析方法,解決了傳統安全性評估方法工作量大、易于出錯及缺乏對系統層次架構的考慮與證明等問題,提高了系統安全性分析效率,降低了安全性評估工作量。
聲明:
“基于模型的增強視景系統安全性分析方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)