Complex System Reliability presents a state-of-the-art treatment of complex multi-channel system reliability assessment and provides the requisite tools, techniques and algorithms required for designing, and evaluating and optimizing ultra-reliable redundant systems.

This practical presentation includes numerous fully worked examples that provide detailed explanations of both the underlying design principles and the techniques (such as combinatorial, recursive and binary decision diagram algorithms) used to obtain quantitative results. Many of the worked examples are based on the design of modern digital fly-by-wire control system technology.

Complex System Reliability provides in-depth coverage of systems subject to either perfect or imperfect fault coverage and also the most recent techniques for correctly assessing the reliability of redundant systems that use mid-value-select voting as their primary means of redundancy management. It is a valuable resource for those involved in the design and reliability assessment of highly reliable systems, particularly in the aerospace and automotive sectors. The book offers a plethora of

*Mathematica* chapters, examples, and other various content.

Introduction | Basic Elements of System Reliability | Complex System Reliability | Imperfect Fault Coverage | Complex System Modeling Using BSV | CPM Using BSV | Binary Decision Diagrams | FCASE Introduction | Digital Fly-by-Wire System | Limits on Achievable Reliability | Architectural Considerations |

*Mathematica* Combinatorial k-out-of-n: G Functions |

*Mathematica* Recursive k-out-of-n: G Functions |

*Mathematica* Table-Based k-out-ofn: G Functions | FCASE System A and System B | FCASE Input File Syntax

Engineering