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

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

GJB5000 A与DO-178 B／C的综合应用研究

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

基于DO-178C的机载软件质量保证与管理

DO-178C 作为机载软件适航可接受的符合性标准,明确要求机载软件综合过程中必须包含软件质量保证（SQA）过程。以机载软件的软件生命周期定义、过程和数据为基础,从目标、活动和符合性评审三个方面分析基于DO-178C 的软件质量保证过程的实施;结合软件项目质量管理技术和工具,从规划软件质量管理、管理软件质量和控制软件质量三个过程研究基于DO-178C 的软件质量管理方法并给出工程实践建议。结果表明：本文将软件质量保证与质量管理紧密结合,形成了适航要求的相关证据,提供了符合需求的民用机载软件,有效保证了机载软件的质量和持续改进措施。     

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

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

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

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

机载软件适航技术研究与工程应用

通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程.过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标.通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并行化创造了基础条件,进而提高工作效率,满足大规模软件众多项目人员协同工作及缩短项目周期的要求.     

使用先前开发机载软件的适航要求研究

先前开发的机载软件在民用航空领域获得了越来越广泛的使用,随之而来的适航问题也越发突出。本文结合国际相关指导性文件以及型号工作经验,对使用先前开发机载软件的适航要求进行研究和阐述。     

满足DO-178C的需求开发

为了更好地满足DO-178C规定的需求开发阶段的目标,且在工程上更有效率地进行开发,介绍了在进入软件需求开发阶段前所需要掌握的预备知识以及人员需求;面向需求开发团队给出了一套完整的需求开发方法及每个步骤所包含的具体内容;分析了需求评审中常见问题,针对问题介绍了一种合理的评审方法,并通过建立工作指导文件的形式规范需求评审过程;最后对双向需求追踪的要求进行了分析.     

基于DO-178C及CMMI的民用航空发动机控制软件质量保证研究

随着嵌入式软件逐渐成为民用航空发动机控制系统这一复杂系统的最重要组成部分,对于其安全性和可靠性的要求也日渐提高,而软件因为其研发过程的特殊性,要保证其产品质量则必须依靠过程的监控与符合性检查.软件质量保证(SQA)就是评估软件生存周期过程及其输出,以保证目标得以满足,故障得以检测、评估、追踪和解决,并保证软件产品和软件生存周期资料符合合格审定要求的活动,是航空软件产品研发过程中重要的一环.以DO-178C为指导,结合CMMI三级关键过程域实践,总结出一套民用航空发动机控制软件的质量保证流程,为质量保证人员(QA)提供参考.     

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

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

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

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

民用飞机机载软件计划阶段评审方法研究

民用飞机机载软件的合格审定是民用飞机适航取证工作的重要内容,机载软件计划阶段评审是机载软件合格审定过程的重要里程碑,直接影响民用飞机主制造商的软件研制进度和适航取证进度。本文结合我国民用飞机机载软件研制过程中计划阶段工程评审与适航审查的经验,总结了适合我国国情的机载软件计划阶段评审的方法和流程,并对此过程中有关的重要问题进行了论述。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型,提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题,同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求,又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

软件合格审定研发管理体系建立的要点研究

阐述了安全性对于航空产品的重要性,描述了当前航空产品合格审定现状及差距,形象解释了DO-178B的内容、开发流程及基本要素.结合体系建设的经验给出了建立符合DO-178B的合格审定研发体系需要研究的研究,以及每个要点需要考虑的因素,对我国军用航空产品研发体系建立软件合格审定体系起到了抛砖引玉的作用.