本發(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ò)誤檢測(cè)之間的關(guān)系,新的模型轉(zhuǎn)換方法簡(jiǎ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)估。
聲明:
“基于確定性隨機(jī)Petri網(wǎng)的AADL模型安全性評(píng)估方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請(qǐng)聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)