民用飞机机载软件基于模型开发及工具鉴定研究
基于模型开发技术在机载软件上的应用越来越广泛,航空业内在基于模型开发和验证、应用以及支持工具等方面积累了丰富的经验.越来越多的飞机主制造商和机载设备供应商采用基于模型开发技术来开发机载软件.RTCA也于2011年11月发布了RTCA/DO-331作为RTCA/DO-178C的补充材料来描述基于模型开发和验证的软件生命周期.在机载软件开发过程中使用基于模型开发方法可以带来传统开发方法所无法提供的优势.本文通过研究机载软件设计模型特征以及模型工具,研究了基于模型开发技术给机载软件开发带来的好处,同时研究了模型工具鉴定策略.
民用飞机 机载软件 基于模型开发 工具鉴定
童岳威 孙景华
上海飞机设计研究院,上海
国内会议
上海
中文
454-458
2016-04-19（万方平台首次上网日期，不代表论文的发表时间）