Reliability Analysis of Dissimilar Redundant Flight Control Computers Based on Petri Nets

Hybrid Petri nets(HPN) is adopted to develop the model of failure detection and identification(FDI),and generalized stochastic Petri nets(GSPN) is applied to describe and analysis the dissimilar redundant flight control computers of Boeing 777.By using Petri nets,static architectures of the dissimilar redundant system and dynamic behaviors of fault generation and promulgation are properly described.And the effect of transient error on reliability analysis of redundant system can also be eliminated.GSPN model is converted to Markov chain to calculate the reliability of the system,and the incidence matrix is used to compute the ability of fault-tolerance.