Reliability analyzing method based on GSPN reliability model

The invention discloses a reliability analyzing method based on a GSPN reliability model, which comprises five steps: 1, analyzing from the initial state of a GSPN model and recording the initial explicit state in a reachable matrix ReachStaMat; 2, sequentially analyzing each state in the reachable matrix ReachStaMat and recording the next explicit state (set) to which each state can be transferred in the ReachStaMat; 3, solving the transfer rate matrix of a continuous time Markov chain by the obtained matrix GeneratMat; 4, solving the system reliability by the transfer rate matrix of the Markov chain according to a Markov dynamic process; and 5, ending the analysis. The invention is provided for the computer automated solving process of the GSPN reliability model of a flight control system, the method saves the internal memory space of the computer, increases the computing efficiency, and simultaneously is beneficial to pointing out inappropriate points of system modeling. The invention has practical value a