论文部分内容阅读
通过对航空电子系统AADL建模方法的研究与分析，得出了AADL模型转换的驱动开发模型。同时对AADL建模与分析工具进行了分析，建立了飞行管理系统AADL可靠性模型，能够协助飞行员完成从起飞到着陆的各项仟务，管理、监视和自动操纵飞机实现全航程的自动飞行，为航空电子系统建模设计提供了可供参考的依据。