[發(fā)明專利]基于安全性需求的民機顯示系統(tǒng)監(jiān)控配置平臺及監(jiān)控方法

在審

• 申請?zhí)枺?/td>: 201911088101.8
• 申請日: 2019-11-08
• 公開（公告）號: CN110825590A
• 公開（公告）日: 2020-02-21
• 發(fā)明（設計）人: 張帆;肖國松;馬振洋;王鵬;董磊
• 申請（專利權）人: 中國民航大學
• 主分類號: G06F11/30
• 分類號: G06F11/30;G06F11/32
• 代理公司: 天津中環(huán)專利商標代理有限公司 12105
• 代理人: 王鳳英

1.一種基于安全性需求的民機顯示系統(tǒng)監(jiān)控配置平臺，其特征在于，所述監(jiān)控配置平臺包括：用于存儲顯示系統(tǒng)數(shù)據(jù)源、顯示系統(tǒng)數(shù)據(jù)處理過程以及導引的監(jiān)控架構設計方案的監(jiān)控資源配置模塊、用于存儲所有顯示系統(tǒng)功能對應監(jiān)控策略矩陣的監(jiān)控觸發(fā)模塊、用于計算在不同的監(jiān)控配置策略條件下顯示系統(tǒng)架構設計對應定量安全性概率的安全性計算模塊、用于對比定量安全性結果與系統(tǒng)定量安全性需求的監(jiān)控決策模塊；所述的監(jiān)控資源配置模塊包括數(shù)據(jù)源監(jiān)控資源配置子模塊、系統(tǒng)數(shù)據(jù)處理監(jiān)控資源配置子模塊以及導引監(jiān)控資源配置子模塊；數(shù)據(jù)源監(jiān)控資源配置子模塊、系統(tǒng)數(shù)據(jù)處理監(jiān)控資源配置子模塊以及導引監(jiān)控資源配置子模塊分別與監(jiān)控觸發(fā)模塊邏輯鏈接，監(jiān)控觸發(fā)模塊、安全性計算模塊、監(jiān)控決策模塊依次邏輯鏈接，同時監(jiān)控決策模塊又與監(jiān)控觸發(fā)模塊邏輯鏈接。

2.一種采用如權利要求1所述的基于安全性需求的民機顯示系統(tǒng)監(jiān)控配置平臺進行監(jiān)控方法，其特征在于，所述監(jiān)控方法包括以下步驟：

步驟一、構建監(jiān)控策略配置邊界，分析機載顯示系統(tǒng)頂層安全性需求，基于系統(tǒng)級功能危害性評估，將定量安全性需求通過形式化語言轉化為安全性邊界條件，設定安全性閾值，注入到監(jiān)控決策模塊；

步驟二、收集監(jiān)控決策條件，將系統(tǒng)所有失效模式的失效概率，通過形式化語言方式注入到安全性計算模塊；

步驟三、構建監(jiān)控策略，針對顯示系統(tǒng)功能關鍵飛行信息、非關鍵飛行信息、導引信息數(shù)據(jù)源設置監(jiān)控機制，包括有效性監(jiān)控及容差監(jiān)控，將數(shù)據(jù)源監(jiān)控條件注入到數(shù)據(jù)源監(jiān)控資源配置子模塊；針對顯示系統(tǒng)數(shù)據(jù)處理過程設置回路監(jiān)控及功能模塊雙通道監(jiān)控，將系統(tǒng)數(shù)據(jù)處理監(jiān)控條件注入到系統(tǒng)數(shù)據(jù)處理監(jiān)控資源配置子模塊；針對導引類信息設置導引能力監(jiān)控以及導引參數(shù)容差監(jiān)控，將導引監(jiān)控條件注入到導引監(jiān)控資源配置子模塊；

步驟四、配置監(jiān)控策略，針對系統(tǒng)級功能危害性評估中的失效狀態(tài)，生成監(jiān)控策略矩陣，存儲于監(jiān)控觸發(fā)模塊，并將監(jiān)控策略配置初始化；

步驟五、監(jiān)控策略定量安全性計算，安全性計算模塊讀取監(jiān)控觸發(fā)模塊中的所有監(jiān)控配置策略，采用優(yōu)先級方式，優(yōu)先選擇低級別監(jiān)控策略，進行定量安全性計算，并將計算結果發(fā)送給監(jiān)控決策模塊；

步驟六、執(zhí)行監(jiān)控策略，監(jiān)控決策模塊讀取步驟五計算結果，與步驟一設定的安全性閾值相對比，若在閾值范圍內，則執(zhí)行監(jiān)控策略；若不滿足，則返回步驟四，發(fā)送監(jiān)控指令給監(jiān)控觸發(fā)模塊，重新進行監(jiān)控策略選擇，調用更高級別監(jiān)控策略，并執(zhí)行步驟五運算，重復執(zhí)行步驟六，直到對比結果處于閾值內。