廖 凯

(上海飞机设计研究院，上海 201210)

0 引言

民用飞机MBD软件指的是应用了基于模型开发技术的机载软件。MBD技术在民用航空领域的应用，给机载安全关键设备供应商在嵌入式软件开发和验证工作上带来了巨大便利。图形化的建模和仿真、自动化的代码生成技术，无论从时间成本，还是人力投入方面来看，都能够为设备供应商大幅节约开支。在民用飞机机载软件适航符合性验证方面，美国航空无线电委员会(Radio Technical Commission for Aeronautics，简称RTCA)于2010年发布了DO-178C[1]，作为指导机载系统嵌入式软件生命周期过程的指南性文件。在2011年又发布了DO-331《基于模型的开发和验证(对于DO-178C和DO-278A的补充)》[2]，进一步细化了对应用MBD技术开发的机载软件的目标要求。美国联邦航空局(Federal Aviation Administration，简称FAA)在2013年通过发布咨询通告的形式，中国民用航空管理局(简称CAAC)通过发布问题纪要的形式，先后认可了DO-178C和DO-331作为局方可接受的机载软件对适航审定基础的符合性方法。MBD技术在国外已发展多年，已经在该技术的应用和支持工具的开发方面积累了较丰富的经验。而国内的MBD技术尚处在起步阶段，目前只有为数不多的研究所做了初步尝试，在适航符合性验证方面的经验欠缺。

1 MBD软件开发技术概述

民用飞机机载系统中，嵌入式机载软件的占比正稳步提高并日趋复杂。软件开发的成本既包括设计和编码的成本，也包括验证的成本。传统方式设计的商用软件中每百万行代码中约有100个缺陷，通常缺陷中的20%是验证等级的，1%是灾难等级的。……