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