软件适航加油站

 找回密码
 成为会员
搜索
查看: 13625|回复: 5

DO-178C与DO-178B的差别

[复制链接]
ywang 发表于 2011-8-10 13:34:18 | 显示全部楼层 |阅读模式
王云明
[文章来源:http://www.yunmingwang.cn/blog/article.asp?id=241
[欢迎转载,转载时请保留该声明]

1.    前言

  在民用航空机载系统的适航体系中,DO-178(机载系统和设备审定中的软件要求)是机载软件的适用标准。它最早由RTCA和EUROCAE发布于1982年,此后在1985年和1992年进行了两次改版,分别为DO-178A和DO-178B(EUROCAE的编号为ED-12A和ED-12B)。

  DO-178B虽然具有较好的稳定性,但随着机载软件研制的新技术层出不穷,人们开始意识到需要对DO-178B作一定的补充和修订,以适应新的软件研制技术。为此,RTCA和EUROCAE联合成立了SC-205和WG-71,来完成这项艰巨而富有挑战的工作。

  SC-205/WG-71联合委员会于2005年3月第一次召开联合会议,此后每年两次定期召开联合会议来商讨和修订DO-178B。随着工作的开展,大家普遍认识到任务的艰巨和进度的落后,因此从2008年开始改为每年三次联合会议。

  目前,可以认为DO-178C和相关补遗已逐渐进入了最后定稿和审稿的阶段。后面可能还会有文字的上修改,但已经不会再有颠覆性的变化。这样,我们就可以开始谈论将来DO-178C和现有DO-178B之间的差异了。

  本文旨在简要分析二者的差异,作为向广大软件适航关注者和爱好者的预报吧。

欲阅读全文,请点击下载
rustic010 发表于 2011-8-11 22:15:00 | 显示全部楼层
感谢王博士分享劳动成果!
sshining 发表于 2012-9-19 12:58:20 | 显示全部楼层
感谢LZ!
很想参加9月的论坛阿, 可惜时间冲突了。。。。。。
穷得叮叮当 发表于 2013-5-26 22:26:56 | 显示全部楼层
下来看看,学习一下。
GC_George 发表于 2014-9-16 13:05:07 | 显示全部楼层
1992年,RTCA发布了DO-178B,从进程和目标的角度来制定了一系列的标准,并受到了广泛推崇。然而,航空电子软件的复杂性大大增加,软件开发技术也日趋多样,DO-178B已渐渐落后了。

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

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

DO-330 软件工具验证Software Tool Qualification
DO-331 基于模型的开发和验证Model Based Development and Verification
DO-332 面向对象编程Object-Oriented Technology
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是为了当今日新月异的研发技术而制定的,提高了航电系统和设备的质量,是对航电系统的又一次升级。

摘自http://blog.csdn.net/pengchua/article/details/8068144
wanglei 发表于 2014-9-16 13:14:14 | 显示全部楼层
5# GC_George
欢迎新成员多多参与~
您需要登录后才可以回帖 登录 | 成为会员

本版积分规则

小黑屋|Archiver|手机版|软件适航加油站 ( 沪ICP备13019901号-3 )

GMT+8, 2018-6-25 08:05 , Processed in 0.124800 second(s), 16 queries .

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表