DO-178B和DO-178C都是RTCA为机载软件所制定的标准,后者发布于2011年,可以理解为前者的升级版,主要根据前者1992年发布以来软件开发实践、技术和工具等方面的进步对其进行了勘误、澄清与补充,修改了原来描述不清晰的方面,并加了模型开发、工具鉴定、面向对象方法等技术。 DO-178C软件生命周期过程和系统之间信息流 DO-...
前言 在民用航空机载系统的适航体系中,DO-178 (机载系统和设备审定中的软件要求)是机载软件的适用标准。它最早由 RTCA 和 EUROCAE 发布于 1982 年,此后在 1985 年和 1992年进行了两次改版,分别为 DO-178A 和 DO-178B (EUROCAE 的编号为 ED-12A 和 ED-12B)。 DO-178B 虽然具有较好的稳定性,但随着机...
为了应对这一系列技术挑战并提高适航认证的效率和安全性,RTCA和EUROCAE在2011年发布了DO-178C,它是在DO-178B基础上进行的重要更新,旨在适应当前和未来的航空软件开发需求。 1.2为什么需要DO-178C的更新 尽管DO-178B在过去几十年中帮助规范了航空软件开发,但随着技术的发展,尤其是自动化工具、模型驱动开发以及多核处...
像这样的细节，没有深入研究和实施过DO-178B的人是发现不了的。当然，对于这样的“错误”，其实也可以“正确”地解读：也即，如果D级软件没有软件标准，那么就已经符合了软件标准了。DO-178C改正了不少这类错误，一方面说明了DO-178C是个严格的标准，另一方面也说明制订标准的人员严谨的办事作风。
这些错误在DO-178C 中已经全部改正过来了。 DO-178B 中还有一些很难发现的错误。说它们很难发现,我的意思是说,光光靠阅读几 遍标准是发现不了的,只有真正深入钻研过并实践过 DO-178B 的专家才能发现。举个例子 来说,DO-178B 附件A 的表A-1 的第五个目标说明,对于D 级软件不需要编写软件标准;而 表A-...
DO-178B中的一些比较明显的错误。这些错误在DO-178C中已经全部改正过来了。 DO-178B中还有一些很难发现的错误。说它们很难发现,我的意思是说,光光靠阅读几 遍标准是发现不了的,只有真正深入钻研过并实践过DO-178B的专家才能发现。举个例子 来说,DO-178B附件A的表A-1的第五个目标说明,对于D级软件不需要编...
DO-178B和DO-178C都是RTCA为机载软件所制定的标准,后者发布于2011年,可以理解为前者的升级版,主要根据前者1992年发布以来软件开发实践、技术和工具等方面的进步对其进行了勘误、澄清与补充,修改了原来描述不清晰的方面,并加了模型开发、工具鉴定、面向对象方法等技术。
DO-178B/C 中软件验证工具的重要性 DO-178B/C 标准强调使用客观证据来证明软件满足其预期功能和安全目标。 代码审查、测试和分析等验证活动在建立证据方面发挥着至关重要的作用。 软件验证工具通过自动化验证过程的各个方面来补充手动验证技术,从而提高效率、一致性和准确性。
由清华大学出版社出品,以清华大学出版社联合多家大学出版社近10年的正版电子书资源为基础,聚合多媒体附件和特色课程内容资源,内嵌教师服务功能,专为高校师生定制的专业知识内容资源,助力高校建设一流学科和特色专业,方便师生快捷、精准查找知识内容,高效率阅读和学习
DO 178B 的人是发现不了的 当然 对于这样的 错误 其实也可以 正确 地解读 也即 如果 D 级软件没有软件标准 那么就已经符合了软件标准了 DO 178C 改正了不少这 类错误 一方面说明了 DO 178C 是个严格的标准 另一方面也说明制订标准的人员严谨的 办事作风 3 澄清澄清澄清澄清内容内容内容内容 错误要改正 ...