A probabilistic method for certification of analytically redundant systems

Bin Hu, Peter Seiler

Research output: Contribution to journalArticlepeer-review


Analytical fault detection algorithms have the potential to reduce the size, power and weight of safety-critical aerospace systems. Analytical redundancy has been successfully applied in many non-safety critical applications. However, acceptance for aerospace applications will require new methods to rigorously certify the impact of such algorithms on the overall system reliability. This paper presents a theoretical method to assess the probabilistic performance for an analytically redundant system. Specifically, a fault tolerant actuation system is considered. The system consists of dual-redundant actuators and an analytical fault detection algorithm to switch between the hardware components. The exact system failure rate per hour is computed using the law of total probability. This analysis requires knowledge of the failure rates for the hardware components. In addition, knowledge of specific probabilistic performance metrics for the fault detection logic is needed. Numerical examples are provided to demonstrate the proposed analysis method.

Original languageEnglish (US)
Pages (from-to)103-116
Number of pages14
JournalInternational Journal of Applied Mathematics and Computer Science
Issue number1
StatePublished - Mar 1 2015
Externally publishedYes


  • avionics
  • certification
  • fault detection
  • fault-tolerant systems
  • reliability
  • safety-critical systems

ASJC Scopus subject areas

  • Computer Science (miscellaneous)
  • Engineering (miscellaneous)
  • Applied Mathematics


Dive into the research topics of 'A probabilistic method for certification of analytically redundant systems'. Together they form a unique fingerprint.

Cite this