本發明公開了一種采用隨機Petri網(SPN)對綜合模塊化航空電子系統(IMA)中分區軟件的可靠性分析方法。該方法首先參考ARINC653中的分區狀態定義,分析并確定分區軟件的Petri網的位所和遷移,將“故障狀態”作為位所之一,建立IMA分區軟件的Petri網模型,進而分析分區軟件的可達狀態樹,確定失效狀態集,對變遷的實施速度進行分析,利用SPN的可達狀態樹可以推導其同構的馬爾科夫鏈(MC),求出穩態分布,系統處于故障狀態的穩態概率也就軟件發生故障的概率,確定分區軟件處在故障狀態的穩態概率與內核操作系統的可靠性指標、分區調度周期、系統恢復時間之間的函數關系,從而定量的分析IMA分區軟件的可靠性。
聲明:
“基于隨機Petri網的分區軟件可靠性分析方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)