DO-178

作品数：129被引量：150H指数：7
导出分析报告
相关领域：自动化与计算机技术航空宇航科学技术更多>>
相关作者：章晓春牟明邢亮宋青朱怡安更多>>
相关机构：中国航空无线电电子研究所西安航空计算技术研究所上海飞机设计研究院中航工业西安航空计算技术研究所更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中国航空科学基金江西省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=航空计算技术x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种民机机载软件需求变更影响性分析方法
《航空计算技术》2025年第2期93-96,101,共5页孙倩 韩光辉 孙远 
MJZ2-3N21专项科研项目资助。
在民机软件研制过程中,需求占据主导地位。由于需求变更影响分析不全面而导致的系统故障,成为当前机载软件面临的主要质量问题之一。目前的需求变更分析方法存在以下问题:项目早期分析困难、无法识别间接受影响的功能,以及无法评估变更...
关键词：机载软件 DO-178C 需求变更 影响性分析 
符合DO-178C的机载软件需求开发研究
《航空计算技术》2024年第6期91-95,共5页王春卉 李燕琳 姚宇甲 
民航安全能力建设项目资助(AADSA2023005)。
软件需求是机载软件研制的基础,开发出符合适航要求的高质量软件需求,对软件后续的设计、编码、验证以及最终的适航审定具有重要意义。DO-178C作为一种机载软件适航审定的符合性方法,对软件需求开发的活动、目标和输出提出了明确要求,...
关键词：机载软件 DO-178C 需求标准 需求开发 
基于DO-178C的无关代码和非激活代码适航研究
《航空计算技术》2024年第4期76-79,共4页李燕琳 郑雪峰 潘路平 钟旭旭 曾析 胡胤杰 
四川省重大科技专项资助(2021ZDZX0006)。
目前我国民用机载设备自研取证项目数量剧增,其承载的功能也正往高关键等级发展。驻留于其中的机载软件,往往因使用了开源代码、库函数、底层驱动等非自研软件模块,在满足DO-178C标准规定的结构覆盖要求时,因代码类型判定不准确,出现适...
关键词：DO-178C 结构覆盖 无关代码 死代码 非激活代码 
基于DO-330标准的机载产品工具鉴定过程研究被引量：2
《航空计算技术》2024年第1期112-116,共5页荆浩 李雪源 杨利宁 
工信部民机专项研发项目资助(MJ-2016-S-42)。
机载系统开发过包括计划、功能开发、配置、仿真、集成和验证6个方面,每个过程都需要特定工具的支持。工具通过自动化执行相应的预期功能,避免引入人为错误,来分析和提高系统的安全性。用户对工具所执行活动置信度的考虑引出了工具鉴定...
关键词：航空电子 机载软件 工具鉴定 DO-178B/C DO-330 
浅谈DO-178C中附加代码验证目标的实现被引量：1
《航空计算技术》2024年第1期121-123,129,共4页陈晓磊 程小贤 
工信部民机专项项目资助(MJ-2016-S-42)。
DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附...
关键词：结构覆盖分析(SCA) 源代码(SC) 目标码(OC) 可执行目标码(EOC) 
符合DO-178C的软件需求分析方法
《航空计算技术》2023年第5期89-92,95,共5页陈晓磊 王济乾 张前 
国家自然科学基金项目资助(61732001)。
为了满足DO-178C对验证过程提出的目标要求,需要对DAL等级为A级的软件进行基于需求的软件测试,并要求测试需同时满足对软件需求的覆盖率目标和软件结构的覆盖率目标,因此,完备并且正确的需求将是软件结构覆盖率目标达成的前提,这就对开...
关键词：DO-178C 需求分析 高层需求 低层需求 
DO-330工具鉴定策略分析及典型工具鉴定考虑被引量：3
《航空计算技术》2022年第1期73-77,共5页张旻 武君胜 吴芳 
国家自然科学基金项目资助(61732001)。
随着综合模块化航空电子系统的发展及民机软件规模与复杂度的不断提升,大规模、多来源民机软件的多层次开发、增量式集成已经成为主要发展趋势,这些复杂的工作必须借助软件工具才能完成。综合化水平的提升对软件开发工具的能力提出了更...
关键词：适航 工具鉴定 DO-178C DO-330 综合化配置 开发工具 验证工具 
机载软件质量保证过程研究被引量：1
《航空计算技术》2021年第3期90-92,97,共4页刘文 张道泽 王青 薛芳芳 
航空基金项目资助(2017ZC31008)。
随着机载软件在飞行关键系统中所占比例越来越大,其对飞行关键系统及飞机的安全性影响也日益增大,因此迫切需要在软件开发过程中引入软件质量保证过程,从而对软件开发全过程进行监控,以提高软件的质量。分析了RTCA DO-178标准和GJB5000...
关键词：DO-178 GJB5000A 软件质量保证 过程保证 
DO-333标准形式化方法研究被引量：5
《航空计算技术》2020年第1期124-129,共6页郝继锋 叶宏 任晓瑞 
国家自然科学基金项目资助(61732001)。
安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念...
关键词：安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 DO-333 DO-178C 
浅谈DO-178C中数据耦合与控制耦合目标的实现
《航空计算技术》2018年第5期56-58,共3页孔德岐 钟珊 
国家自然科学基金项目资助(61732001)
根据DO-178C的要求,DAL A/B/C级软件的测试覆盖必须实现数据耦合与控制耦合的目标。介绍了数据耦合与控制耦合的定义,以及数据耦合与控制耦合分析的目的。总结了在软件计划、开发、验证各环节应考虑的数据耦合与控制耦合的相关问题。
关键词：数据耦合 控制耦合 组件 测试覆盖 基于需求的测试 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部