本發明提供了一種基于確定性隨機Petri網的AADL模型安全性評估方法。首先,構建層次化結構的AADL架構模型;然后,制定新的模型轉換方法,將AADL安全性模型轉換為DSPN模型,其中,為AADL安全性模型增加了新的語義,包括復合構件中可操作狀態分別與失效狀態和危險之間的關系,以及恢復事件和修復事件與錯誤檢測之間的關系,新的模型轉換方法簡化了構件之間錯誤傳播的轉換方法和危險行為的轉換方法,使安全性模型轉換為狀態數量更少的DSPN模型,用于計算危險發生的概率;最后,結合危險的嚴酷度等級計算危險發生的風險,做安全性評估。
聲明:
“基于確定性隨機Petri網的AADL模型安全性評估方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)