基于DO-178B的结构覆盖分析研究 被引量：6

1

作者 张军才 王娟 潘卫 《航空计算技术》 2011年第4期67-69,共3页

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

关键词 DO-178b 软件测试 结构覆盖分析

在线阅读 下载PDF 职称材料

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

2

作者 邢亮 牟明 《航空计算技术》 2015年第5期97-101,共5页

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

关键词 机载软件 DO-178b/C 适航目标 介入阶段评审 适航审定

在线阅读 下载PDF 职称材料

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

3

作者 邢亮 卢伟 《航空计算技术》 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-178B的民用飞机机载软件工具的鉴定和应用 被引量：3

4

作者 孙全艳 赵京洲 章晓春 《民用飞机设计与研究》 2011年第1期56-61,共6页

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

关键词 机载软件 工具鉴定 DO-178b 民机合格审定

在线阅读 下载PDF 职称材料

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

5

作者 张旻 《航空计算技术》 2012年第6期95-98,共4页

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

关键词 DO-178b 适航验证 配置数据生成 机载嵌入式操作系统

在线阅读 下载PDF 职称材料

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

6

作者 孙倩 尹伟 +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的大型客机机载软件符合性研究

7

作者 彭文希 谢莉 《科学技术创新》 2022年第2期189-192,共4页

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

关键词 RTCA/DO-178b 符合性研究 机载软件 局方审查 适航审定

在线阅读 下载PDF 职称材料

从DO-178C的新变化透视软件适航关注点 被引量：7

8

作者 胡宁 《航空计算技术》 2014年第4期94-98,共5页

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

关键词 机载软件 适航认证 DO-178b 软件过程 适航实践

在线阅读 下载PDF 职称材料

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

9

作者 荆浩 李雪源 杨利宁 《航空计算技术》 2024年第1期112-116,共5页

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

关键词 航空电子 机载软件 工具鉴定 DO-178b/C DO-330

在线阅读 下载PDF 职称材料

一种使用MATLAB/Simulink的Arduino模型化开发方法 被引量：7

10

作者 吴姣 郝玉锴 +1 位作者 徐宁 李向东 《电子技术应用》 北大核心 2017年第6期60-63,共4页

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

关键词 基于模型的软件开发 DO-178b/C MATLAb/SIMULINK ARDUINO

在线阅读 下载PDF 职称材料

嵌入式分区操作系统可靠性技术的研究与应用 被引量：11

11

作者 仝敏 卫一芃 张灯 《航空计算技术》 2015年第2期105-108,112,共5页

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入... 嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。 展开更多

关键词 分区操作系统 可靠性 DO-178b

在线阅读 下载PDF 职称材料

机载软件适航技术研究与工程应用 被引量：2

12

作者 胡林平 《航空计算技术》 2013年第3期92-95,共4页

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

关键词 机载软件 适航 DO-178b

在线阅读 下载PDF 职称材料

军用机载通信设备嵌入式软件的适航管理 被引量：1

13

作者 陈乐然 《现代电子技术》 2013年第10期40-44,共5页

为了提高军用机载设备嵌入式软件的可靠性和安全性,在总结重点型号研制经验的基础上,首次提出了在军机研制中引入适航理念,开展适航工作。通过从适航概念与内涵入手,从软件适航性DO-178B、软件工程化管理、软件设计与实现、软件验证等... 为了提高军用机载设备嵌入式软件的可靠性和安全性,在总结重点型号研制经验的基础上,首次提出了在军机研制中引入适航理念,开展适航工作。通过从适航概念与内涵入手,从软件适航性DO-178B、软件工程化管理、软件设计与实现、软件验证等方面一一进行了军用机载设备嵌入式软件适航管理的实践。实践证明,军机嵌入式软件在技术上和管理上充分借鉴适航,大胆创新,确实推动了军机软件研制质量与安全水平的不断提高,飞行故障率大大降低。 展开更多

关键词 军用机载设备 嵌入式软件 适航 DO-178b 软件工程化管理 软件验证

在线阅读 下载PDF 职称材料

军用与民用机载软件开发标准和流程的对比研究 被引量：1

14

作者 王辉 张铁军 《航空电子技术》 2017年第4期38-42,共5页

军用机载软件开发标准主要是GJB 2786A《军用软件开发通用要求》,民用机载软件开发标准主要是DO-178B/C《机载系统和设备合格审定中的软件考虑》。针对这两份标准进行了对比研究和差异分析,对于完善军用软件研发标准体系和流程有一定意义。

关键词 GJb 2786A DO-178b/C 软件开发

在线阅读 下载PDF 职称材料

民用客机机载软件SOI评审初探 被引量：3

15

作者 陈一可 《航空科学技术》 2012年第5期72-73,共2页

依据民航对机载软件SOI的相关定义和指导性文件的解读,结合某型号民机审定经验,阐述了机载软件SOI评审的定义和执行方法等内容。

关键词 机载软件 阶段介入性评审 DO-178b目标

在线阅读 下载PDF 职称材料

机载软件计划阶段评审研究 被引量：1

16

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

本文针对机载软件研制流程,分析了机载软件适航审查,包括4个阶段:软件计划阶段评审(SOI#1)、软件开发阶段评审(SOI#2)、软件验证阶段评审(SOI#3)和软件最终审定评审(SOI#4)。本文在对高升力系统软件功能进行分析的基础上,给出了高升力... 本文针对机载软件研制流程,分析了机载软件适航审查,包括4个阶段:软件计划阶段评审(SOI#1)、软件开发阶段评审(SOI#2)、软件验证阶段评审(SOI#3)和软件最终审定评审(SOI#4)。本文在对高升力系统软件功能进行分析的基础上,给出了高升力系统软件SOI#1审查的软件生命周期数据、SOI#1评审目标和过程,为软件后续评审奠定了基础。 展开更多

关键词 机载软件 适航 高升力系统 DO-178b

在线阅读 下载PDF 职称材料

软件合格审定研发管理体系建立的要点研究 被引量：3

17

作者 陈冬梅 李卫民 《航空电子技术》 2011年第4期45-49,共5页

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

关键词 ARP4754A/4761 DO-178b 民用 合格审定 标准 流程

在线阅读 下载PDF 职称材料

民用飞机机载设备工具鉴定评估方法研究 被引量：1

18

作者 王小波 袁迹 +1 位作者 杨柳 湛文韬 《长江信息通信》 2021年第12期91-93,共3页

随着民用航空领域的不断发展,机载系统及设备的复杂程度不断提高,基于软件工具的机载设备开发越来越多的出现在民用飞机研制过程中,工具的适航置信度也得到了业界更广泛的关注。基于DO-254、DO-178B/C等适航标准,对机载软件工具鉴定判... 随着民用航空领域的不断发展,机载系统及设备的复杂程度不断提高,基于软件工具的机载设备开发越来越多的出现在民用飞机研制过程中,工具的适航置信度也得到了业界更广泛的关注。基于DO-254、DO-178B/C等适航标准,对机载软件工具鉴定判定过程、判定准则、鉴定等级等开展了研究,依据工具使用场景和作用,分类提出了工具是否需要鉴定的评估方法,并通过对典型软件工具使用分析,进一步对评估方法做了说明,旨在为工具鉴定工作提供指导。 展开更多

关键词 机载设备 工具鉴定 DO-254 DO-178b/C

在线阅读 下载PDF 职称材料

基于MC/DC最小测试用例集设计方法研究 被引量：4

19

作者 袁军 《航空电子技术》 2010年第3期51-54,共4页

动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设... 动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。 展开更多

关键词 DO-178b 改进条件/判定范围(MC/DC) 最小测试用例集

在线阅读 下载PDF 职称材料

货架及自研机载软件工具鉴定的研究 被引量：1

20

作者 陈冬梅 阚进 钮松 《航空电子技术》 2018年第1期37-41,共5页

在民用飞机机载软件研制过程中,各种商用货架软件工具和自研软件工具被广泛运用到软件研制中。基于DO-178B工具鉴定要求,介绍了商用货架(COTS)软件工具和自研软件工具在工具鉴定时应开展的具体工作及适航符合性方法,并从工具开发者和使... 在民用飞机机载软件研制过程中,各种商用货架软件工具和自研软件工具被广泛运用到软件研制中。基于DO-178B工具鉴定要求,介绍了商用货架(COTS)软件工具和自研软件工具在工具鉴定时应开展的具体工作及适航符合性方法,并从工具开发者和使用者的角度阐述了各自的责任。同时,结合实际工程应用还给出了其它工具鉴定的适航符合性策略,以期为工具鉴定工作提供参考。 展开更多

关键词 工具 鉴定 自研 货架(COTS) DO-178b

在线阅读 下载PDF 职称材料