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

1

作者 李燕琳 郑雪峰 +3 位作者 潘路平 钟旭旭 曾析 胡胤杰 《航空计算技术》 2024年第4期76-79,共4页

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

关键词 do-178c 结构覆盖 无关代码 死代码 非激活代码

下载PDF 职称材料

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

2

作者 罗紫月 杨东 徐培勇 《电子质量》 2024年第6期117-122,共6页

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

关键词 GJB 5000B do-178c 软件等级 软件生命周期

下载PDF 职称材料

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

3

作者 陈晓磊 王济乾 张前 《航空计算技术》 2023年第5期89-92,95,共5页

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

关键词 do-178c 需求分析 高层需求 低层需求

下载PDF 职称材料

机载设备软件取证指南DO-178C新特性研究 被引量：1

4

作者 马媛 《信息系统工程》 2013年第7期144-145,共2页

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

关键词 机载软件 do-178c 基于模型软件开发 形式化方法

下载PDF 职称材料

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

5

作者 孙全艳 金平 +1 位作者 章晓春 朱宇蒙 《航空科学技术》 2014年第8期44-47,共4页

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

关键词 衍生需求 do-178c 追溯性 软件

下载PDF 职称材料

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

6

作者 杨阳 吴际 +3 位作者 苑春春 刘超 杨海燕 邢亮 《计算机研究与发展》 EI CSCD 北大核心 2017年第3期654-668,共15页

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

关键词 安全关键性软件 适航认证 do-178c GSN 论证模式

下载PDF 职称材料

基于DO-178C的民用机载软件工具鉴定研究 被引量：3

7

作者 钟珊 孔德岐 《航空计算技术》 2018年第5期59-61,共3页

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

关键词 工具鉴定 工具鉴定数据 工具鉴定等级(TQL) do-178c do-330

下载PDF 职称材料

面向DO-178C的襟缝翼控制系统需求的形式化描述

8

作者 战芸娇 魏欧 胡军 《计算机科学》 CSCD 北大核心 2018年第4期196-202,共7页

DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于... DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标。通过分析和验证,提出了SCR方法中的一些应用技巧。该工作可为SCR方法在机载软件系统中的应用提供依据。 展开更多

关键词 do-178c ScR方法 四变量模型 机载软件 T-VEc

下载PDF 职称材料

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

9

作者 周培 《航空工程进展》 CSCD 2021年第6期161-166,共6页

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

关键词 do-178c 机载软件 质量保证 质量管理 适航

下载PDF 职称材料

基于DO-178C的非激活代码符合性举证方法研究 被引量：1

10

作者 陈刚 罗旭升 《数字技术与应用》 2019年第6期122-122,124,共2页

根据RTCA DO-178C中对非激活代码的要求,对非激活代码的定义、分类以及适航相关要求进行了进一步的研究,并提出了证明该部分的适航符合性需要向局方提供的信息。为国内民用飞机机载软件适航取证过程提供参考。

关键词 机载软件 符合性 非激活代码 do-178c 举证方法

下载PDF 职称材料

满足DO-178C的需求开发

11

作者 宋青 闫乐 +1 位作者 王聪 袁鑫 《航空电子技术》 2016年第3期25-29,共5页

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

关键词 do-178c 需求开发 需求评审 评审方法 工作指导文件

下载PDF 职称材料

对比DO-178C与GJB5000A浅析软件适航关注点 被引量：1

12

作者 杨云强 刘玉月 《信息系统工程》 2017年第3期105-105,107,共2页

深刻理解DO-178C和GJB5000A标准对于提升机载软件开发能力具有重要意义。从软件生命周期、标准分级模式分析两者的共同点;从标准实现的目标、着眼点,对软件生命周期各过程的要求分析两者的不同点。根据对比,从软件计划阶段、需求阶段、... 深刻理解DO-178C和GJB5000A标准对于提升机载软件开发能力具有重要意义。从软件生命周期、标准分级模式分析两者的共同点;从标准实现的目标、着眼点,对软件生命周期各过程的要求分析两者的不同点。根据对比,从软件计划阶段、需求阶段、测试阶段、配置管理过程等分析软件适航关注点,并给出总结,为软件适航提供一些参考。 展开更多

关键词 do-178c GJB5000A 软件生命周期 适航

下载PDF 职称材料

基于DO-178C机载设备通用外场加载软件设计

13

作者 张云锐 闫雪奎 倪少春 《测控技术》 2020年第10期13-18,共6页

外场加载广泛应用于国内外各型号民用飞机的机载系统或设备,可显著地提升机载系统或设备的维护性。将适用的适航审定要求转换为具体设计策略是机载系统或设备加载软件设计的关键。DO-178C所列关于外场加载的系统安全性考虑构成了加载软... 外场加载广泛应用于国内外各型号民用飞机的机载系统或设备,可显著地提升机载系统或设备的维护性。将适用的适航审定要求转换为具体设计策略是机载系统或设备加载软件设计的关键。DO-178C所列关于外场加载的系统安全性考虑构成了加载软件设计的基本审定和安全性要求。以满足DO-178C的安全性考虑为前提,针对TMS320F28335 DSP平台有限RAM和Flash存储资源,提出了一种基于ARINC825总线的机载设备通用外场软件设计策略。该设计策略全面考虑了数据传输协议鲁棒性、数据完整性校验、加载功能激活方式、软硬件兼容性检查、异常激活保护等多个方面安全设计措施,全面落实了适航审定对外场加载的安全性要求。某机载设备实践证明根据该策略实现的机载加载软件兼顾了数据传输速率和加载安全,有效提升了设备维护性。 展开更多

关键词 外场加载 do-178c 安全性 机载设备 软硬件兼容性 异常激活

下载PDF 职称材料

民用航空发动机控制软件DO-178C构型管理符合性方法研究

14

作者 鲍冬梅 马恩 《机械管理开发》 2018年第5期121-123,133,共4页

研究了DO-178C软件构型管理的要求,结合国内商用航空发动机验证机控制软件研制的实践经验,明确具体要求及符合性方法,包括构型标识、基线、问题报告、变更控制、状态纪实、发布、加载和软件生命周期环境控制,为即将全面开展的某型商用... 研究了DO-178C软件构型管理的要求,结合国内商用航空发动机验证机控制软件研制的实践经验,明确具体要求及符合性方法,包括构型标识、基线、问题报告、变更控制、状态纪实、发布、加载和软件生命周期环境控制,为即将全面开展的某型商用航空发动机产品研制提供技术依据。 展开更多

关键词 do-178c 发动机控制 软件构型管理 符合性

下载PDF 职称材料

DO-178C与CMMI软件项目策划过程浅析

15

作者 廖鹏程 《电子技术与软件工程》 2016年第11期75-76,共2页

策划过程通常是一个软件项目开发过程中较早涉及的一个活动,也是一个软件需求被顺利实现、软件项目被成功实施的基础过程。在现代航空设备制造业的软件开发过程中经常涉及的两份标准:DO-178C和CMMI中,分别是如何对策划过程进行定义的,... 策划过程通常是一个软件项目开发过程中较早涉及的一个活动,也是一个软件需求被顺利实现、软件项目被成功实施的基础过程。在现代航空设备制造业的软件开发过程中经常涉及的两份标准:DO-178C和CMMI中,分别是如何对策划过程进行定义的,两份标准对策划过程认定的目标是什么,有哪些异同,如何兼顾实施。本文从两份标准出发,对其描述的策划过程进行分析和对比,并对标准的适用范围进行了探讨。 展开更多

关键词 do-178c cMMI 策划 软件项目

下载PDF 职称材料

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

16

作者 阎迪 《航空计算技术》 2016年第6期80-83,共4页

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

关键词 民用发动机控制系统软件 质量保证 DO一178c cMMI

下载PDF 职称材料

基于DO-178C参数数据项要求分析

17

作者 杨丹凤 董鹏 +1 位作者 曹晓威 宋青 《航空标准化与质量》 2024年第4期20-24,共5页

DO-178C中定义的参数数据项是单独的配置项,它在不修改可执行目标代码的情况下影响软件的行为,鉴于它的使用会涉及DO-178C中描述的各开发过程要求;所以针对DO-178C中各个过程中对参数数据项的要求进行经验分析和总结,为在民机软件设计... DO-178C中定义的参数数据项是单独的配置项,它在不修改可执行目标代码的情况下影响软件的行为,鉴于它的使用会涉及DO-178C中描述的各开发过程要求;所以针对DO-178C中各个过程中对参数数据项的要求进行经验分析和总结,为在民机软件设计工作中确保软件的正确性和完整性提供一定的借鉴和指导意义。 展开更多

关键词 do-178c 民机适航 参数数据项

原文传递

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

18

作者 孙倩 尹伟 +1 位作者 顾亚文 韩光辉 《航空电子技术》 2024年第1期63-69,共7页

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

关键词 机载软件 do-178B/c 先前开发软件 软件重用 差距分析

下载PDF 职称材料

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

19

作者 邢亮 卢伟 《航空计算技术》 2016年第6期73-75,79,共4页

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

关键词 do-178B/c 软件生命周期过程 转换准则 过程模型

下载PDF 职称材料

航空机载软件适航性审定标准DO-178C与软件管理标准GJB5000A的比较分析 被引量：2

20

作者 李超 黄百乔 《科技导报》 CAS CSCD 北大核心 2020年第21期187-191,共5页

航空机载软件适航性审定是验证软件安全性是否满足飞行要求的重要手段,审定依据的标准DO-178C是航空企业软件设计所必须遵循的规范要求,但在软件管理领域,还存在着重要的能力成熟度集成模型标准GJB5000A。比较分析了DO-178C与GJB5000A... 航空机载软件适航性审定是验证软件安全性是否满足飞行要求的重要手段,审定依据的标准DO-178C是航空企业软件设计所必须遵循的规范要求,但在软件管理领域,还存在着重要的能力成熟度集成模型标准GJB5000A。比较分析了DO-178C与GJB5000A的异同,得出机载软件适航性审定在对软件开发过程的管理方面存在不足,提出需要加强企业在项目监控、过程测量与分析和风险管理方面的要求,并按照DO-178C标准的形式要求,给出了参考的改进方案。 展开更多

关键词 do-178c cMMI GJB5000A 机载软件适航性审定

原文传递