Reliability analysis based on algebraic model for flight control computers

According to the architecture of modern airliners' flight control computers, a method dynamic fault tree analysis was used to assess the system reliability. Algebraic models with temporal operators which can handle dynamic logics were built for warm spare gates included in the system. Based on the expressions of logical symbols such as structure functions, the quantitative formulation was deduced to analyze a warm spare gate with dissimilar redundancy. The algebraic models proposed are applicable in any distribution type of lifetime. Compared to the classical Markov method, the application using algebraic models for a case of a typical flight control computer system shows the efficiency and convenience in practice.