提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的软件可靠性分析方法;在探讨了GSPN形式化定义及其模型要素的使用方法基础上,建立了一种软件基本单元GSPN模型,该模型具有描述粒度精确和易于理解的优点,但是当描述复杂软件系统时存在状态空间爆炸的问题;基于此,进一步采用模型抽象与精化技术,设计了一种软件基本单元GSPN紧凑模型,该模型可以有效描述复杂软件系统的可靠性动态行为;最后,以某工程项目软件子系统为例,说明了该紧凑模型的应用过程,验证了所提方法的有效性。
针对弹载1553B总线网络故障诊断建模中动态故障行为的模糊特性较难描述的问题,提出一种基于模糊Petri网(fuzzy petri net,FPN)的弹载1553B总线系统故障诊断模型,并给出了基于矩阵运算的推理算法;以某型弹载1553B总线系统为例,分析了系统故障原因的可信度;分析表明:所建模型可以实现系统故障的快速诊断,大大减少了诊断时间,提高了诊断的准确度。
