Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 262-267 |
| Number of pages | 6 |
| Journal | Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics |
| Volume | 40 |
| Issue number | 2 |
| State | Published - Feb 2014 |
Keywords
- Algebraic models
- Dynamic fault tree analysis
- Flight control computer
- Markov method
- Warm spare