本發(fā)明提供了一種基于確定性隨機Petri網(wǎng)的AADL模型安全性評估方法。首先，構建層次化結構的AADL架構模型；然后，制定新的模型轉換方法，將AADL安全性模型轉換為DSPN模型，其中，為AADL安全性模型增加了新的語義，包括復合構件中可操作狀態(tài)分別與失效狀態(tài)和危險之間的關系，以及恢復事件和修復事件與錯誤檢測之間的關系，新的模型轉換方法簡化了構件之間錯誤傳播的轉換方法和危險行為的轉換方法，使安全性模型轉換為狀態(tài)數(shù)量更少的DSPN模型，用于計算危險發(fā)生的概率；最后，結合危險的嚴酷度等級計算危險發(fā)生的風險，做安全性評估。