基于广义随机Petri网的混合冗余系统可靠性建模

针对冗余系统动态性能难以描述、共因失效影响计算复杂的问题,提出考虑共因失效的广义随机Petri网络(GSPN)模型。在对典型冗余结构进行建模的过程中,引入冲击库所/变迁的概念拓展Petri网建模表示方法,并利用可达图验证了模型的可用性,有效描述了系统的动态失效行为。利用GSPN模型时间变迁特性,合理设计网络结构,实现单元以及系统的故障状态信息保持。在提出的GSPN模型基础上,运用蒙特卡洛仿真的可靠性评价方法生成系统寿命数据,计算系统的可靠性。以某型导弹PLC系统为例进行从单元到系统的模型搭建,实现多种冗余结构混合的系统可靠性求解。研究结果表明：所提方法与考虑共因失效的传统解析法的可靠性差值在0.02以内,验证了方法的可行性。