本發(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)估工作量。