Abstract: Redundancy fault-tolerant technology has emerged and developed with the need of computer system reliability. In order to avoid the correlated faults and realize the performance indexes of flight control computers， the architecture of the dissimilar dual-redundancy flight control computer system is researched. Generalized stochastic Petri net (GSPN) is applied to set up the model of flight control computer system, Markov is used to calculate and analyze the reliability of the system. And practical research approach is proposed based on the analysis results.

Key words: flight control computer, dissimilar redundancy, generalized stochastic Petri nets, reliability