本發(fā)明公開了基于SysML民用通信導航系統(tǒng)安全性分析方法及系統(tǒng),該方法包括采用SysML對民用航空通信導航系統(tǒng)中某個管理系統(tǒng)進行系統(tǒng)建模,得到基于SysML的民用通信導航系統(tǒng)源模型;采用故障樹分析法對相應管理系統(tǒng)進行故障建模,得到基于故障樹FT的民用通信導航系統(tǒng)目標元模型;根據源模型、目標元模型,在兩者之間通過中間模型轉換自動生成安全性分析故障樹FTA;根據安全性分析故障樹FTA,對民用通信導航系統(tǒng)的某個管理系統(tǒng)執(zhí)行安全性分析,判斷是否滿足安全要求,如果滿足安全要求,那么接受該安全解決方案;否則,對該管理系統(tǒng)進行設計修改。本發(fā)明避免發(fā)生失效狀態(tài)的遺漏。
聲明:
“基于SysML民用通信導航系統(tǒng)安全性分析方法及系統(tǒng)” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業(yè)用途,請聯系該技術所有人。
我是此專利(論文)的發(fā)明人(作者)