基于AADL的IMA重配置建模和可靠性分析