机载软件适航认证标准新进展及展望 被引量：18

1

作者 郑军 黄志球 徐丙凤 《计算机工程与设计》 CSCD 北大核心 2012年第1期204-208,共5页

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

关键词 机载软件 DO-178B DO-178c 验证 适航认证

下载PDF 职称材料

面向适航标准的机载软件测试验证方法综述 被引量：7

2

作者 谭莉娟 郑巍 +2 位作者 刘友林 樊鑫 杨丰玉 《计算机工程与应用》 CSCD 北大核心 2021年第15期9-22,共14页

机载软件测试是指机载系统中嵌入式软件执行的测试验证过程,目的是为了挖掘出软件缺陷从而提高机载系统的可靠性。随着机载嵌入式系统功能的多样化需求,软件的规模和复杂程度不断增加,同时因为其实时性、嵌入性、高可靠性等特殊性,因此... 机载软件测试是指机载系统中嵌入式软件执行的测试验证过程,目的是为了挖掘出软件缺陷从而提高机载系统的可靠性。随着机载嵌入式系统功能的多样化需求,软件的规模和复杂程度不断增加,同时因为其实时性、嵌入性、高可靠性等特殊性,因此对机载软件进行充分测试成为当前的一个挑战。为了满足要求,机载系统的测试需要遵循最新的适航标准DO-178C,针对机载软件生命周期过程提出了一系列目标要求和设计考虑。为此,简介了机载软件适航认证标准的发展及其测试环境;根据DO-178C对机载软件测试的各个过程从基于需求、基于模型、基于安全性分析以及软件验证的测试研究机载软件的测试验证方法,并进行小结;对相关领域的发展进行总结和展望。 展开更多

关键词 机载软件测试验证 DO-178c 基于需求 基于模型 基于安全性分析 软件验证的测试

下载PDF 职称材料

民用飞机刹车控制系统软件构型管理研究

3

作者 刘莉 马晓军 +1 位作者 张娟 杨茗 《航空工程进展》 CSCD 2024年第3期101-109,142,共10页

民用飞机刹车控制系统构型管理在系统设计开发过程和适航符合性验证过程中发挥着关键作用。为了提升民用飞机刹车控制系统软件构型管理能力,使该系统设计开发的软件满足适航要求,介绍刹车控制系统软件构型管理的概念和方法,描述如何运... 民用飞机刹车控制系统构型管理在系统设计开发过程和适航符合性验证过程中发挥着关键作用。为了提升民用飞机刹车控制系统软件构型管理能力,使该系统设计开发的软件满足适航要求,介绍刹车控制系统软件构型管理的概念和方法,描述如何运用系统思维和信息化流程手段将构型管理和软件设计相结合,开展软件全生命周期过程构型管理活动。结合DO-178C的要求,提出建立以产品构型为核心的构型数据数字化管理机制,实现刹车控制系统软件研制的单一数据源。结果表明:通过与构型基线管理相结合建立一个统一的构型数据库,在该构型数据库中严格按照阶段的状态进行准确记录,确保了状态信息的实时性、可追溯性、完整性及有效性,达到了最终构型控制目标,可以满足适航要求。 展开更多

关键词 软件构型管理(ScM) 基线(BS) 构型数据数字化管理 设计保证等级(DAL) DO-178c

下载PDF 职称材料

一种基于耦合关系搜索的更改影响评估方法

4

作者 陈刚 王文升 《民用飞机设计与研究》 2024年第1期151-156,共6页

问题报告和更改控制是DO-178C对民用飞机机载软件配置管理过程的基本要求,而更改影响分析则一直是机载软件更改控制过程中的一项难点问题。对更改影响分析的不彻底可能造成受影响软件部件的不正常运行,对军用飞机和民用飞机机载设备安... 问题报告和更改控制是DO-178C对民用飞机机载软件配置管理过程的基本要求,而更改影响分析则一直是机载软件更改控制过程中的一项难点问题。对更改影响分析的不彻底可能造成受影响软件部件的不正常运行,对军用飞机和民用飞机机载设备安全性的影响不容忽略。为了快速、有效地定位机载软件更改后对其它软件单元和相关软件生命周期资料的影响,使用有向图将软件单元之间的耦合关系进行抽象,并针对有向图的节点和边设计相关数据结构进行数字化存储,使用逆向搜索的方式对有向图数据进行遍历搜索,快速量化软件原始更改所带来的潜在影响。 展开更多

关键词 耦合 依赖关系 更改影响分析 DO-178c 软件单元

下载PDF 职称材料

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

5

作者 罗紫月 杨东 徐培勇 《电子质量》 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的无关代码和非激活代码适航研究

6

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

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

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

下载PDF 职称材料

自动化测试技术在FADEC控制软件中的应用 被引量：5

7

作者 熊波 柏晗 郝小蕾 《计算机与现代化》 2018年第10期94-100,共7页

发动机控制软件具有控制功能的复杂性、变更的频繁性、维护周期的长期性等特点,要求软件测试必须快速有效,这给软件测试带来巨大的挑战。本文通过建立系统测试自动化平台,构建测试用例执行、结果分析、测试覆盖率分析等方面的自动化,最... 发动机控制软件具有控制功能的复杂性、变更的频繁性、维护周期的长期性等特点,要求软件测试必须快速有效,这给软件测试带来巨大的挑战。本文通过建立系统测试自动化平台,构建测试用例执行、结果分析、测试覆盖率分析等方面的自动化,最终通过实现回归测试的自动化来提升产品的质量。 展开更多

关键词 发控软件 自动化测试 DO-178c 回归测试

下载PDF 职称材料

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

8

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

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

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

下载PDF 职称材料

DO-333标准形式化方法研究 被引量：5

9

作者 郝继锋 叶宏 任晓瑞 《航空计算技术》 2020年第1期124-129,共6页

安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念... 安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念,提炼出DO-333在DO-178C的基础上,针对典型的过程活动、过程目标、其他考虑方面的变化;总结了在工程中使用形式化方法的优点和缺点。 展开更多

关键词 安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 DO-333 DO-178c

下载PDF 职称材料

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

10

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

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

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

下载PDF 职称材料

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

11

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

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

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

下载PDF 职称材料

DO-330工具鉴定策略分析及典型工具鉴定考虑 被引量：2

12

作者 张旻 武君胜 吴芳 《航空计算技术》 2022年第1期73-77,共5页

随着综合模块化航空电子系统的发展及民机软件规模与复杂度的不断提升,大规模、多来源民机软件的多层次开发、增量式集成已经成为主要发展趋势,这些复杂的工作必须借助软件工具才能完成。综合化水平的提升对软件开发工具的能力提出了更... 随着综合模块化航空电子系统的发展及民机软件规模与复杂度的不断提升,大规模、多来源民机软件的多层次开发、增量式集成已经成为主要发展趋势,这些复杂的工作必须借助软件工具才能完成。综合化水平的提升对软件开发工具的能力提出了更高的要求,需要在综合化配置和监视分析等方面提供支撑能力并考虑工具鉴定的问题。民机领域的软件适航标准为DO-178C。其中针对软件工具的鉴定要求在DO-330中定义。对DO-178C、DO-330中软件工具的适航鉴定策略进行了分析,并结合典型机载软件开发工具和验证工具设计实践,分别给出了工具鉴定的设计和实施考虑。 展开更多

关键词 适航 工具鉴定 DO-178c DO-330 综合化配置 开发工具 验证工具

下载PDF 职称材料

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

13

作者 李超 黄百乔 《科技导报》 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 机载软件适航性审定

原文传递

软件质量保证过程研究 被引量：2

14

作者 胡庆林 王一苇 《电子质量》 2016年第6期60-63,共4页

为规范软件质量保证过程,许多行业制定了相关标准。企业在执行各类标准过程中可博采众长,形成一套有效的软件质量保证方法,以此提高企业的软件质量保证能力。通过比较分析GJB 2786、GJB 439A、GJB 5000A和DO-178C的软件质量保证过程,提... 为规范软件质量保证过程,许多行业制定了相关标准。企业在执行各类标准过程中可博采众长,形成一套有效的软件质量保证方法,以此提高企业的软件质量保证能力。通过比较分析GJB 2786、GJB 439A、GJB 5000A和DO-178C的软件质量保证过程,提出以GJB 5000A和GJB 439A过程和产品评价主要活动为中心,结合DO-178C定义的软件生命周期过程目标和软件质量保证目标,制定软件质量保证计划,执行软件质量保证活动,审核是否按照软件过程要求执行了相应活动,是否形成了软件生命周期数据相关证据,使软件质量保证过程行之有效。 展开更多

关键词 软件质量保证 DO-178c GJB 5000A GJB439A

下载PDF 职称材料

基于模型的FADEC软件结构覆盖率分析 被引量：2

15

作者 赵飞 张杰 《航空计算技术》 2017年第2期93-96,共4页

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能。在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了... 结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能。在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式。以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性。 展开更多

关键词 DO-178c 覆盖率分析 Mc/Dc SIMULINK Design Verifier工具 FADEc软件

下载PDF 职称材料

基于模型开发的机载软件模型测试技术研究

16

作者 黄荦 《工业控制计算机》 2011年第10期64-65,共2页

在Do-178B以及Do-178C对于Do-178B进行修改的部分内容基础上,对于模型的测试进行研究,其主要研究内容有:模型验证过程、模拟用例、过程和结果的开发、模拟用例、过程和结果的验证、高层需求的覆盖率分析、模型覆盖率分析、模型覆盖率分... 在Do-178B以及Do-178C对于Do-178B进行修改的部分内容基础上,对于模型的测试进行研究,其主要研究内容有:模型验证过程、模拟用例、过程和结果的开发、模拟用例、过程和结果的验证、高层需求的覆盖率分析、模型覆盖率分析、模型覆盖率分析解决方案等。 展开更多

关键词 Do-178B Do-178c 模型验证 模拟用例 覆盖率分析

下载PDF 职称材料

面向适航标准的机载软件测试验证工具综述 被引量：1

17

作者 刘友林 郑巍 +2 位作者 谭莉娟 樊鑫 杨丰玉 《计算机工程与应用》 CSCD 北大核心 2021年第11期1-10,共10页

机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法。软件的测试与验证离不开工具的支持,使用工具能够提高效率、降低成本,对机载软件的测试验证工具研究是对其进行充分测试验证的保障。对机载软件及适航标准进行了简介;按... 机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法。软件的测试与验证离不开工具的支持,使用工具能够提高效率、降低成本,对机载软件的测试验证工具研究是对其进行充分测试验证的保障。对机载软件及适航标准进行了简介;按照系列适航标准,从DO-178C、基于模型的开发与验证(DO-331)和形式化方法(DO-333)三个维度对工具的功能、特性及应用进行了详细介绍,并对其发展现状进行小结;总结机载嵌入式软件测试验证及其工具研发中存在的问题,并对其发展趋势进行了分析。 展开更多

关键词 机载软件测试验证工具 适航标准 DO-178c 基于模型 形式化方法

下载PDF 职称材料

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

18

作者 杨阳 吴际 +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的非激活代码符合性举证方法研究 被引量：1

19

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

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

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

下载PDF 职称材料

一种基于C#的Cantata工具变更过程改进方法

20

作者 周毅 王玉婷 +1 位作者 方霞 连红森 《测控技术》 2021年第4期13-16,24,共5页

航空发动机控制软件在升级过程中使用Cantata工具开展单元测试活动时,存在未变更函数的Cantata测试脚本需重新人工隔离插桩导致时间和人力耗费的问题。通过研究Cantata自动生成测试脚本的过程及插桩特点,提出了一种基于C#的Cantata工具... 航空发动机控制软件在升级过程中使用Cantata工具开展单元测试活动时,存在未变更函数的Cantata测试脚本需重新人工隔离插桩导致时间和人力耗费的问题。通过研究Cantata自动生成测试脚本的过程及插桩特点,提出了一种基于C#的Cantata工具变更过程改进方法。该方法通过C#语言结合正则表达式进行代码分析,识别出升级过程中的变更函数和全局变量,并按照Cantata插桩格式,自动完成测试脚本更新工作。详细介绍了该方法的设计过程,并在某型航空发动机控制软件升级过程中进行实践应用。实践结果表明,该方法可准确识别源码信息并完成变更前后的差异比对,能正确快速地实现未变更函数的自动隔离插桩工作,有效解决了人力和时间消耗的问题,对回归测试效率有极大提升。 展开更多

关键词 DO-178c 嵌入式系统 单元测试 c#

下载PDF 职称材料