Distributed Electric Propulsion (DEP) with 8 to 16 lift rotors presents complex fault trees with millions of cut sets. This paper models high-order redundancy in eVTOL aircraft, proving compliance with the 10^-9 safety threshold.
By structuring battery string cross-ties and dual-inverter motor windings, the fault tree proves that a catastrophic loss of thrust requires four independent electrical component failures.
Utilizing Binary Decision Diagrams (BDD) solved a complex 16-rotor fault tree in 4.2 seconds on a standard workstation, eliminating non-minimal cut sets and establishing true top-event probability.