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