检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:薛芳芳 王亮亮 缪炜涛[1] 刘文学[1] XUE Fang-fang;WANG Liang-liang;MIAO Wei-tao;LIU Wen-xue(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710068,China)
机构地区:[1]航空工业西安航空计算技术研究所
出 处:《航空计算技术》2019年第5期111-116,共6页Aeronautical Computing Technique
基 金:工信部预研项目资助(G448A1914402-17)
摘 要:随着航空电子系统技术的快速发展,基于模型驱动的系统工程已经逐步应用于机载安全关键软件开发领域。飞行管理系统作为航电系统的核心安全关键子系统之一,其开发过程也应逐步向基于模型的系统工程方法靠拢,进一步满足DO-178C适航安全性要求。通过研究ARINC702A标准规定的飞行管理系统功能,提出了一种基于MBSE的飞行管理软件包开发方法,详细描述了飞行管理软件需求分析、功能分析和设计综合的整个过程。研究结果对降低机载飞行管理软件研制成本,缩短开发周期,提高安全性具有重要意义。With the widespread development of avionics system,the model-based system engineering method has been generally used in the development of airborne safety critical software.As a core and safety critical sub-system of avionics system,the development of flight management software should gradually use MBSE-based development process,at the same time it shall satisfy with the airworthiness requirements in DO-178 C.A design and development method for flight management software is proposed in this paper,in combination with the ARINC702 A specification,it describes the entire model process for flight management system.Our research can lower the research and development cost,shorten the development cycle and improve the safety for the airborne flight management software.
关 键 词:MBSE SYSML 安全关键软件 飞行管理软件
分 类 号:TP399[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145