本发明公开了一种采用随机Petri网(SPN)对综合模块化航空电子系统(IMA)中分区软件的可靠性分析方法。该方法首先参考ARINC653中的分区状态定义,分析并确定分区软件的Petri网的位所和迁移,将“故障状态”作为位所之一,建立IMA分区软件的Petri网模型,进而分析分区软件的可达状态树,确定失效状态集,对变迁的实施速度进行分析,利用SPN的可达状态树可以推导其同构的马尔科夫链(MC),求出稳态分布,系统处于故障状态的稳态概率也就软件发生故障的概率,确定分区软件处在故障状态的稳态概率与内核操作系统的可靠性指标、分区调度周期、系统恢复时间之间的函数关系,从而定量的分析IMA分区软件的可靠性。
声明:
“基于随机Petri网的分区软件可靠性分析方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)