DO

This post has already been read 653 times!

1992年，RTCA发布了DO-178B，从进程和目标的角度来制定了一系列的标准，并受到了广泛推崇。然而，航空电子软件的复杂性大大增加，软件开发技术也日趋多样，DO-178B已渐渐落后了。

因此，RTCA从2005年开始广泛征集意见并起草，终于在2011年11月正式成型，12月通过RTCA的审核，2012年初正式发布。

DO-178C由核心文件和补充文件两部分组成。核心文件从DO-178B继承，且相对来说改动较少。补充文件有以下四个：

1. 
   DO-330 软件工具验证Software Tool Qualification
2. 
   DO-331 基于模型的开发和验证Model Based Development and Verification
3. 
   DO-332 面向对象编程Object-Oriented Technology
4. 
   DO-333 形式化方法Formal Methods

在软件工具验证方面，DO-178B只提供开发和验证两个标准，而在DO-178C上是三个：开发，验证和增加其他开发或验证活动，验证。并定义了5个工具等级。

DO-178C弥补了DO-178B的不足，在MBD和OO方面进行明文规定，强调了双向追溯性，对详细的MBD和OO设计标准详细规定，明确指出类型的一致性等。

同时，对于在DO-178B中没有明确标准的内存管理，也在DO-178C中另立条款，做详细的要求。

DO-178C还为需求正确性，自动代码生成的评审，覆盖低层需求的测试用例等形式化方法的识别验证设定标准。

总的来说，DO-178C是为了当今日新月异的研发技术而制定的，提高了航电系统和设备的质量，是对航电系统的又一次升级。

本文从Atego官网上提供信息归纳。