本文的目的是深入探讨DO-178C相较于DO-178B的主要变化,以及这些变化对航空软件开发过程、验证活动、工具鉴定和适航审查的影响。我们将分析DO-178C如何引入对新技术(如模型驱动开发、自动代码生成和形式化方法)的支持,以及如何通过加强工具鉴定和覆盖率分析来提高航空软件的安全性和适航性。本文还将讨论这些变化对开发...
新标准为适应技术的发展在软件工具验证、基于模型的开发和验证、面向对象编程、形式化方法等方面提出了新的要求。2013年07月19日,FAA正式颁布了AC-20-115C,把DO-178C等一系列文档确认为“可接受的符合性方法”。在可以预见的若干年里,DO-178C标准将会与DO-178B标准并存并逐渐取代后者。 【注:本文由工信部民航...
具体来说,飞机通常需要通过4个认证以后才可真正投入运营:也即定型认证(TypeCertificate)、生产认证(ProductionCertificate)、适航认证(AirworthinessCertificate)和运营认证(OperationalCertificate)。而DO-178B标准则是对机载软件进行适航认证时适用的标准,是整个民航标准体系中比较重要的一个标准。
作为一个机载软件适航方面的小学生,想把平日所学汇总一下留个记录,各位看官感兴趣的可以一读,专业人士有发现问题可以尽管提出,会进一步完善。作为机载软件适航,当然要先提DO-178C。 ***…
为了满足DO-178C对验证过程提出的目标要求,需要对DAL等级为A级的软件进行基于需求的软件测试,并要求测试需同时满足对软件需求的覆盖率目标和软件结构的覆盖率目标,因此,完备并且正确的需求将是软件结构覆盖率目标达成的前提,这就对开发软件需求提出了较高的要求.为了使软件需求能支持这些测试活动目标的实现,在DO-178C...
随着在航空器和发动机上所用的机载系统和设备对软件的使用迅速增加,为满足适航性要求,航空无线电技术委员会(RTCA)制定了DO-178B标准.虽然DO-178B在国内民航领域越来越受重视,但是在实际的软件开发尤其是软件验证过程中却不能得到很好的贯彻和落实.本文提出了一个基于DO-178B软件验证过程管理系统,以协助实现对软件的...
45Dec.2012 工作研究 DO-178B《机载系统和设备合格审定中的软件 考虑》是由美国航空无线电技术委员会(RTCA) 发布的一个航空软件合格审定指南,FAA、 EASA、CAAC等民航当局都将DO-178B作为可接 受的机载软件符合性方法,通过AC予以实施。 DO-178B标准中的12.2条款中对软件开发工具 和软件验证工具进行了定义,并提...
举个例子来说，DO-178B附件A的表A-1的第五个目标说明，对于D级软件不需要编写软件标准；而表A-9中第一个目标则要求，即使对D级软件，QA活动仍需要保证软件开发进程和软件综合过程符合已批准的软件计划与软件标准。二者之间一个潜在的问题是，D级软件可以不写软件标准，那QA活动就谈不上要保证符合软件标准。像...
DO 178B 颁布以来 有许多新的软件研制技术或研制方法出现 如面向对象技术 形式化方法 基于模型的开发和验证等等 尽管 DO 178B 贯彻 面向目标 原则 尽量少 地涉及具体的软件研制方法或研制技术 使得该标准能比较长期地稳定 但是 也有一些软 件研制方法或技术对这些 目标 产生了冲击 使得有些目标不再适用 或者需要...
新标准为适应技术的发展在软件工具验证、基于模型的开发和验证、面向对象编程、形式化方法等方面提出了新的要求。2013年07月19日,FAA正式颁布了AC-20-115C,把DO-178C等一系列文档确认为“可接受的符合性方法”。在可以预见的若干年里,DO-178C标准将会与DO-178B标准并存并逐渐取代后者。 【注:本文由工信部民航...