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

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

满足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的机载软件可靠性设计

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

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

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

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

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

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

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

基于DO-178B的软件配置管理技术研究

软件过程管理对航空软件产品的安全性和可靠性发挥着至关重要的作用,而配置管理技术作为软件过程中的一个重要环节,无疑又是重中之重。这里以DO-178B为指导,结合实践经验,详细阐述了开展各项软件配置管理活动的具体方法与策略。为提高数据控制的有效性,以满足DO-178B的A级软件研发过程为例,说明了如何按照DO-178B中的两种控制类型对软件生命周期数据进行分类,最后,提供了符合DO-178B要求的说明。

DO-178B可验证的机载操作系统配置生成技术

针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计。基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机载嵌入式操作系统的适航验证成本。

基于DO-178B的民用飞机机载软件适航审定研究

DO-178B中提出的指导性材料,已经被民用航空业界和各国适航当局公认为可用以建立特定机载软件达到其预期设计需求的置信度。本文基于DO-178B从机载软件研制全生命周期,概述了机载软件研制过程。

基于DO-330标准的机载产品工具鉴定过程研究

机载系统开发过包括计划、功能开发、配置、仿真、集成和验证6个方面,每个过程都需要特定工具的支持。工具通过自动化执行相应的预期功能,避免引入人为错误,来分析和提高系统的安全性。用户对工具所执行活动置信度的考虑引出了工具鉴定的概念,工具鉴定的目的是为了获取用户对工具功能的信任。以软件开发生命周期所用到的工具为例,对工具鉴定全生命周期过程进行了描述,并通过实际案例进行工具鉴定过程的分析,希望对机载系统工具使用和开发人员有一定的参考价值。

浅析DO-178B与GJB5000A标准对航空软件研制要求的差异

针对当前航空机载设备或系统研制单位普遍在实施航空软件研制过程标准化工作的实际情况,分析探讨了DO-178B标准及GJB5000A标准在实施过程中如何满足其要求,简要阐述了两种标准在项目之间的差异性。

基于CMMI符合DO-178B的民机机载软件需求开发过程理论与实践

随着民用飞机机载软件研制过程规范化,软件需求的开发的流程化能够提高适航的置信度。

基于DO-178B的大型客机机载软件符合性研究

随着国产化民用大型客机的研发及适航取证过程的开展,相关机载电子设备的随机适航审定工作也在持续推进,文章基于RTCA/DO-178B的目标、过程、数据三大核心要素,结合具体工程经验,针对民航客机机载软件的随机适航如何向局方表明符合性进行了研究,分别从软件计划过程、软件开发过程、软件支持过程阐述了如何满足RTCA/DO-178B符合性要求,同时对设备随机适航中局方的关注点进行了探究。

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

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

一种使用MATLAB/Simulink的Arduino模型化开发方法

针对在测量和控制领域广泛使用的开源的低成本软硬件平台Arduino,研究了其使用MATLAB/Simulink软件进行模型化软件开发的方法和工作流程;进行了Arduino模型化开发实例分析,实现了模型设计、模型调试、自动代码生成、自动下载运行以及在线调试等功能;进行了生成代码分析和协议符合性检查,探索了完整的Arduino模型化开发方法;验证了使用MATLAB/Simulink进行Arduino模型化开发的可行性、便捷性以及对高安全协议的符合性。

机载软件适航认证标准新进展及展望

为了满足机载软件适航认证的迫切需求,对机载软件适航认证标准进行分析研究。阐述了DO-178B的发展动因及过程,总结了随着软件开发技术的快速更新DO-178B所表现的不足。说明了对DO-178B进行更新的必要性,并将即将发布的新版本DO-178C与DO-178B进行了对比。根据对比结果重点分析了DO-178C的4个新增特性。对DO-178C所带来的影响以及未来应用进行了展望。