基于模型的民机自动飞行功能分析与设计

描述了民用飞机自动飞行系统基于模型的功能分析与架构设计过程。该研究采用符合现代系统工程理念的模型化设计形式,表明和确认系统功能在各种运行决策、人机交互和外部环境中的变化。它针对系统级功能静态、动态特性进行结构化分析和设计,系统性地研究外部对象、应用用例、功能逻辑、交联时序和状态跳转,在确认模型的合理性后生成逻辑架构与接口,将设计需求进行分配,用于设计实现和软硬件架构。该研究通过对飞行导引、自动推力、自动着陆、机组通告等功能的可用性和完整性进行分析检验,改进了功能需求设计。