A propulsão elétrica distribuída (DEP) com 8 a 16 rotores gera árvores de falhas com milhões de combinações. Este trabalho modela a redundância de eVTOLs comprovando o limite de segurança de 10^-9.
Estruturando barramentos cruzados de baterias e enrolamentos duplos nos motores, a árvore comprova que a perda fatal de empuxo exige quatro falhas elétricas simultâneas e independentes.
Utilizando Diagramas de Decisão Binária (BDD), uma árvore de 16 rotores foi resolvida em 4,2 segundos, determinando a probabilidade exata do evento de topo sem aproximações.