本發(fā)明公開了一種采用隨機(jī)Petri網(wǎng)（SPN）對綜合模塊化航空電子系統(tǒng)（IMA）中分區(qū)軟件的可靠性分析方法。該方法首先參考ARINC653中的分區(qū)狀態(tài)定義，分析并確定分區(qū)軟件的Petri網(wǎng)的位所和遷移，將“故障狀態(tài)”作為位所之一，建立IMA分區(qū)軟件的Petri網(wǎng)模型，進(jìn)而分析分區(qū)軟件的可達(dá)狀態(tài)樹，確定失效狀態(tài)集，對變遷的實(shí)施速度進(jìn)行分析，利用SPN的可達(dá)狀態(tài)樹可以推導(dǎo)其同構(gòu)的馬爾科夫鏈（MC），求出穩(wěn)態(tài)分布，系統(tǒng)處于故障狀態(tài)的穩(wěn)態(tài)概率也就軟件發(fā)生故障的概率，確定分區(qū)軟件處在故障狀態(tài)的穩(wěn)態(tài)概率與內(nèi)核操作系統(tǒng)的可靠性指標(biāo)、分區(qū)調(diào)度周期、系統(tǒng)恢復(fù)時間之間的函數(shù)關(guān)系，從而定量的分析IMA分區(qū)軟件的可靠性。