面向航電系統(tǒng)任務安全性的形式化建模與驗證

摘要： 針對航電系統(tǒng)任務安全性分析缺少仿真與驗證手段問題，提出了一種面向航電系統(tǒng)任務安全性的形式化建模與驗證方法。首先，基于時間自動機理論與民航規(guī)章建立標準運行條件下航電系統(tǒng)任務過程的形式化模型。隨后，將危險致因和安全約束分別以狀態(tài)變遷的方式注入該模型，建立航電系統(tǒng)任務安全性驗證模型。最后，通過遍歷狀態(tài)空間驗證模型的活性、危險致因的可達性以及安全約束的充分性，實現(xiàn)任務安全性分析結(jié)果的自...