RTCA DO 331 中文版 基于模型的开发与验证 DO178C 补充规范.docxVIP

PAGE

RTCADO331中文版基于模型的开发与验证DO178C补充规范

前言

RTCADO-331（欧洲等效文件为EUROCAEED-218），全称《Model-BasedDevelopmentandVerificationSupplementtoDO-178CandDO-278A》，是DO-178C体系三大技术补充文件之首，2011年正式发布，与DO-332面向对象技术、DO-333形式化方法共同构成DO-178C现代化技术扩展套件，同时兼容DO-278A用于CNS/ATM空管地面安全关键软件的符合性论证。

工程认知核心区分：DO-331不是独立适航标准，不可脱离DO-178C单独作为取证依据。DO-178C建立传统文本驱动的机载软件全生命周期目标；DO-331专门针对基于模型开发MBD、基于模型验证MBV的工程模式，对DO-178C原有生命周期目标进行增补、调整，明确模型作为正式审定制品的管控规则、风险边界、验证策略，解决自动代码生成、模型仿真、模型级测试、模型追溯等场景下的适航取证难点。

传统文本开发模式存在需求歧义、后期缺陷发现成本高、测试复用性差等短板；MBD将模型作为需求/设计的核心载体，可开展早期仿真、模型在环MIL、软件在环SIL、硬件在环HIL验证，甚至由模型自动生成源代码。DO-331的核心价值在于：定义一套可被适航当局认可的