安全关键软件论文

基于MBSE的民机飞行管理软件设计
论文摘要随着航空电子系统技术的快速发展,基于模型驱动的系统工程已经逐步应用于机载安全关键软件开发领域。飞行管理系统作为航电系统的核心安全关键子系统之一,其开发过程也应逐步向基于...