Probabilistic fault tree analysis and dynamic redundancy optimization for next-generation avionic flight control systems