本發明公開了一種人機物融合系統的特定風險建模與分析方法,首先對HCPS中的特定風險進行總結和分類,定義完整的特定風險模型框架;其次借助AADL定義特定風險模型語義,包括人為因素模型和物理環境模型;然后基于AADL附錄技術擴展特定風險模型附錄,利用Xtext框架生成特定風險附錄解析器;接著借助特定風險模型完成系統錯誤模型建模,與架構模型和特定風險模型統一集成為特定風險分析模型;最后通過Petri網工具對模型轉換后的DSPN模型自動化計算得到系統構件的失效概率,同時提取架構模型中的安全性信息完成最終的特定風險分析報告。本發明建立了更為完整的人機物融合系統運行時架構,能夠指導建立更為全面的安全性評估模型。
聲明:
“人機物融合系統的特定風險建模與分析方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)