31、航空软件标准DO - 178C/ED - 12C的实践解读

航空软件标准DO - 178C/ED - 12C的实践解读

1. 项目目标与交付物

SC - 205/WG - 71目标是在2010年12月完成相关工作，计划交付以下内容：
1. DO - 178C/ED - 12C：适用于机载软件的核心文本。
2. DO - 278A/ED - 109A：适用于地面软件，特别是通信、导航、监视和空中交通管理（CNS/ATM）软件的变体。
3. DO - 248C/ED - 94C：关于DO - 178C/ED - 12C的常见问题解答（FAQs）和讨论文件（DPs）。
4. 工具鉴定补充文件。
5. 基于模型的开发和验证补充文件。
6. 面向对象及相关技术补充文件。
7. 形式化方法技术补充文件。

2. DO - 178C核心文本概述

DO - 178B到DO - 178C核心文本的变化是渐进式而非革命性的。SC - 205/WG - 71要求与DO - 178B向后兼容。若组织现有的软件开发和验证流程符合DO - 178B，且不使用基于模型的设计、面向对象技术或形式化方法，那么为达到DO - 178C合规性，这些流程几乎无需改变。DO - 178C核心文本的变化主要是为了支持新的技术补充文件，并对DO - 178B文本中不清晰或有歧义的地方提供额外解释。

3. 各部分主要变化

3.1 第1节：引言

• 目标与活动关系 ：明确了目标和活动之间的关系。委员会内部对活动是否应强制存在争议。最终达成的妥协是，DO - 178C描述了满足目标的活动，但指出申请人可采