基于DO-178的机载软件重用方法研究

以DO-178B/C软件重用标准为基础,将先前开发软件分为已通过和未通过适航合格审定的PDS,构建了PDS软件的评估准则和评估方法,将PDS的评估结果与标准进行对照,能够快速定位PDS的重用要求和应采取的过程活动。实践表明,通过重用已通过适航合格审定的PDS软件的部分数据,可以有效提升软件开发效率。针对未通过适航合格审定的PDS软件重用,本文也提供了一种差距分析方法,对照分析PDS软件与目标要求的差距,用以评估所需的额外工作量。

基于DO-178C的无关代码和非激活代码适航研究

目前我国民用机载设备自研取证项目数量剧增,其承载的功能也正往高关键等级发展。驻留于其中的机载软件,往往因使用了开源代码、库函数、底层驱动等非自研软件模块,在满足DO-178C标准规定的结构覆盖要求时,因代码类型判定不准确,出现适航方案迎审不通过的问题。通过解析DO-178C标准中的理论核心要点,提出了一种代码类型判定流程。总结国内外成功适航经验,对不同项目应用了本判定流程,结合适航关注点给出了实践建议,望给后续项目提供参考和便利。

机载软件标准GJB 5000B与DO-178C对比分析研究

随着现代军用武器装备的研发升级,机载软件在项目贯彻中按照GJB 5000B的要求管理的同时也逐渐引入了适航思维。使得军用机载软件不仅要满足GJB 5000B的要求还需满足DO-178C的要求。对2个标准进行了分析对比,GJB 5000B与DO-178C一样,都是软件保证标准,且覆盖整个软件生命周期,因而均可直接指导软件研制,以及软件产品的评估与重审。2个标准均采用基于分级模式的递增式划分。但是DO-178C以适航性要求为出发点,强调软件的安全性,以目标递增为特点,对软件等级进行划分。而GJB 5000B是将组织的软件能力划分为5个成熟度等级,每一级都是基于前一级的改进,等级间的递增显示出软件组织能力逐步发展、完善的过程。介绍2个标准的特点与异同处,为机载软件全生命周期活动提供了设计及管理思路。

符合DO-178C的软件需求分析方法

为了满足DO-178C对验证过程提出的目标要求,需要对DAL等级为A级的软件进行基于需求的软件测试,并要求测试需同时满足对软件需求的覆盖率目标和软件结构的覆盖率目标,因此,完备并且正确的需求将是软件结构覆盖率目标达成的前提,这就对开发软件需求提出了较高的要求。为了使软件需求能支持这些测试活动目标的实现,在DO-178C中软件需求过程和设计过程中高层需求和低层需求分析活动进行研究的基础上,描述了符合DO-178C的软件需求分析方法,包括软件高层需求分析方法和软件低层需求分析方法。

满足DO-178B要求的软件需求开发方法

为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书,在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题的基础上,重点讨论了使用结构化激励响应(SSR)方法开发软件需求的6个主要步骤。以飞行显示器软件的一个功能点为例,说明了使用SSR方法开发的软件需求单元应该具有的7个主要组成部分以及每部分的含义。通过DO-178B和SSR方法相结合,为机载软件需求开发提供了一套可行的技术方案。

GJB5000A与DO-178B的结合实施方案

在机载软件研制过程中将GJB5000A与DO-178B进行结合实施对提高软件安全性和可靠性有着重要意义。首先对GJB5000A和DO-178B进行了介绍,然后将DO-178B中的所有目标逐条与GJB5000A进行对比,并给出了对比结果。结果表明DO-178B中没有与GJB5000A相冲突的目标,因此二者完全可以在软件研制过程中进行结合实施。最后,基于对标准特点的分析,给出了GJB5000A与DO-178B结合实施的方案。

基于DO-178B的结构覆盖分析研究

结构覆盖分析(SCA)是基于DO-178B的软件验证的重要组成部分。由于DO-178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作,以及对DO-178B软件结构覆盖分析具体要求的深入研究,提出了一个结构覆盖分析过程和具体的实现方法。在多个软件国际合作项目中的实际应用表明,的研究成果满足DO-178B结构覆盖分析的要求。

基于DO-178B的软件测试技术研究

为了满足适航要求,航空机载系统软件测试需要遵循DO-178B的要求;然而,传统的软件测试技术和过程并不能完全适应适航标准的要求;同时,国内缺乏基于DO-178B的软件测试研究和工程实践,适航相关领域研究现状与国外成熟的适航标准规范体系相比尚有一定的差距;因此,文中根据DO-178B对软件测试的相关要求,提出一套基于DO-178B的软件测试技术方案,通过工程实例进行应用,并对相关领域的发展前景进行总结和展望;实例应用表明,该软件测试实施方案可以成功指导基于DO-178B的软件测试工作。

机载适航标准DO-178B/C软件开发过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型。展望了DO-178B/C标准的未来研究方向。

DO-178B/C目标分析及阶段介入评审过程研究

DO-178B/C标准作为面向适航审定的机载软件生命周期过程标准,着重提出了每个过程中应实现的目标,在DO-178B与DO-178C适航目标的变化的基础上,详细分析了目标之间的关系,目标的分布与差异。以适航标准和指导性文件为依据,结合机载软件开发过程监控背景,对阶段介入评审进行机载软件开发过程评估关注的目标和数据进行了总结,可对机载软件申请方筹备开展机载软件适航认证提供参考;对DO-178B/C标准相关及介入评审的未来研究方向进行了展望。

基于DO-178B的机载软件可靠性设计

本文从软件可靠性工程角度,对DO-178B的研制流程进行解读,分析DO-178B中所包含的避错、消错和容错的机载软件可靠性设计技术。分析表明,DO-178B既是机载软件满足适航安全性要求的符合性方法,也是保证机载软件可靠性的一种软件设计方法。

从DO-178C的新变化透视软件适航关注点

深刻理解DO-178C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178C与DO-178B的差异,按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容,并详细分析了过程目标的变化。根据差异分析,从强调以目标为中心、源代码到目标码的映射、参数数据、双向追踪、基于需求的鲁棒性测试和耦合性验证6个方面解析了DO-178C强调的思想,并总结了一些可行的实践。

基于DO-178B的民用飞机机载软件工具的鉴定和应用

随着民用机载系统复杂性的不断提高,软件工具在机载软件系统开发中被越来越广泛地使用。从适航合格审定角度探讨了软件工具在民用飞机领域的鉴定工作,包括工具鉴定准则、工具鉴定数据等。

机载适航标准DO-178B/C软件计划过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准软件生命周期过程的研究,从活动、子过程转段及顺序、生命周期环境、其它因素、开发标准、计划满足DO-178B/C要求以及计划的开发与修正等7个方面对软件计划过程进行了研究,并对关注点进行了分析,最后展望了DO-178B/C标准的未来研究方向。

机载设备软件取证指南DO-178C新特性研究

在航空器领域,机载设备软件的规模越来越大,结构和功能也越来越复杂。本文对机载设备软件取证指南文件DO-178B,及其最新版本DO-178C进行了比较,介绍并分析DO-178C对机载设备软件研发过程中的新技术的考虑,对于研发过程中采用这些新技术的机载设备软件的研制和取证,具有重要意义。

基于DO-178C的软件衍生需求分配

在实际的机载软件研发过程中,衍生需求既可以存在于描述"什么(WHAT)"功能的软件高级别需求中,也可以存在于描述"如何(HOW)"实现的软件低级别需求中。如果将衍生需求置于较低层级的需求中会造成受影响方(如系统工程师)无法得到足够的信息,从而导致向上和向下的追溯性问题。本文提出了一套准则,用以最优化DO-178C中定义的衍生需求的分配。在实际工程中,该准则可以正确合理地定义衍生需求以确保信息的追溯性和可见性。

面向DO-178C软件测试过程的目标符合性论证模式

安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出了一个基于GSN的目标论证模式描述框架,分别从解决问题、解决方案、应用方法和产生效果4个方面对目标论证模式进行描述;同时使用一种扩展的安全案例模式描述方式,用以描述面向标准的目标符合性论证模式.在此基础上,提出了3种面向DO-178C软件测试过程的目标符合性论证模式,分别是代码-需求符合性论证模式、需求测试覆盖率论证模式、结构测试覆盖率论证模式,并提出基于这些模式建立针对特定项目的目标符合性论证结构的实例化方法,为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导.通过一个机载嵌入式实时操作系统的案例,说明了提出的目标符合性论证模式的可用性和有效性.

GJB5000A与DO-178B/C的综合应用研究

针对软件研制单位目前存在的型号软件研制必须同时满足GJB5000A与适航软件研制标准的要求,通过对GJB5000A与DO-178B/C的对比分析,提出一种将GJB5000A与DO-178B/C相互融合的方法,并对方法实际工程实践时应注意的问题进行了说明。

基于DO-178B的机载软件开发过程评估方法

民用飞机机载软件开发过程需遵循DO-178B标准已得到适航当局和工业界普遍认可,如何对机载软件开发过程进行评估,以确保其满足DO-178B的相关目标已成为一个研究热点。对相关适航标准和指导性文件进行了解读,对采用阶段介入评审进行机载软件开发过程评估方法进行了研究。

基于DO-178C的民用机载软件工具鉴定研究

随着民用飞机机载系统复杂性的不断提高,软件工具在机载软件系统开发中使用得越来越广泛。在分析DO-178C、DO-330标准的基础上,从适航合格审定角度探讨了软件工具鉴定工作,以IMA系统综合工具-配置数据生成工具为例进行分析,分析了工具应遵循的工具鉴定等级,为软件工具所需开展的鉴定工作提供了参考。