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