DO-178

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

检索结果分析

结果分析中...
选择条件：
  • 主题=DOx
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
机载软件适航标准DO-178C和DO-330研究
《航空标准化与质量》2024年第6期26-31,共6页曹晓威 董鹏 徐于松 
从标准内容、生命周期过程、目标和数据方面对机载软件适航标准DO-330和DO-178C进行对比分析,按照计划过程、开发过程、综合过程的分类,列举每个过程新增或变更的考虑内容,同时分析生命周期数据差异,总结过程目标变化。DO-330与DO-178C...
关键词：DO-330 DO-178C 工具鉴定 
基于DO-330标准的机载产品工具鉴定过程研究被引量：2
《航空计算技术》2024年第1期112-116,共5页荆浩 李雪源 杨利宁 
工信部民机专项研发项目资助(MJ-2016-S-42)。
机载系统开发过包括计划、功能开发、配置、仿真、集成和验证6个方面,每个过程都需要特定工具的支持。工具通过自动化执行相应的预期功能,避免引入人为错误,来分析和提高系统的安全性。用户对工具所执行活动置信度的考虑引出了工具鉴定...
关键词：航空电子 机载软件 工具鉴定 DO-178B/C DO-330 
DO-330工具鉴定策略分析及典型工具鉴定考虑被引量：3
《航空计算技术》2022年第1期73-77,共5页张旻 武君胜 吴芳 
国家自然科学基金项目资助(61732001)。
随着综合模块化航空电子系统的发展及民机软件规模与复杂度的不断提升,大规模、多来源民机软件的多层次开发、增量式集成已经成为主要发展趋势,这些复杂的工作必须借助软件工具才能完成。综合化水平的提升对软件开发工具的能力提出了更...
关键词：适航 工具鉴定 DO-178C DO-330 综合化配置 开发工具 验证工具 
民机RDCU安全关键配置数据生成技术研究
《中国新通信》2021年第7期64-65,共2页王佳明 陈福 吴云 
在民机综合模块化航电系统(IMA)中,远程数据转换单元(RDCU)为航电平台提供I/O处理与数据整合功能。针对RDCU需满足灵活配置、可互换的需求,提出一种符合D0-297标准的RDCU安全关键配置数据生成方法,结合DO-178C工具鉴定准则设计并实现基...
关键词：安全关键配置数据 多线程 DO-297 DO-178C 
DO-333标准形式化方法研究被引量：5
《航空计算技术》2020年第1期124-129,共6页郝继锋 叶宏 任晓瑞 
国家自然科学基金项目资助(61732001)。
安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念...
关键词：安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 DO-333 DO-178C 
基于DO-178C的民用机载软件工具鉴定研究被引量：4
《航空计算技术》2018年第5期59-61,共3页钟珊 孔德岐 
国家自然科学基金项目资助(61732001)
随着民用飞机机载系统复杂性的不断提高,软件工具在机载软件系统开发中使用得越来越广泛。在分析DO-178C、DO-330标准的基础上,从适航合格审定角度探讨了软件工具鉴定工作,以IMA系统综合工具-配置数据生成工具为例进行分析,分析了工具...
关键词：工具鉴定 工具鉴定数据 工具鉴定等级(TQL) DO-178C DO-330 
基于DO-178C及CMMI的民用航空发动机控制软件质量保证研究被引量：4
《航空计算技术》2016年第6期80-83,共4页阎迪 
随着嵌入式软件逐渐成为民用航空发动机控制系统这一复杂系统的最重要组成部分,对于其安全性和可靠性的要求也日渐提高,而软件因为其研发过程的特殊性,要保证其产品质量则必须依靠过程的监控与符合性检查。软件质量保证(SQA)就是评估软...
关键词：民用发动机控制系统软件 质量保证 DO一178C CMMI 
民用机载软件工具的鉴定
《网络安全技术与应用》2014年第4期173-173,175,共2页徐芳 
越来越来多的软件工具应用于机载软件的设计与验证,对工具鉴定的要求越来越严格。本文根据DO-178和DO-330介绍了对工具鉴定各方面的要求。
关键词：工具鉴定 DO-178 DO-330 
民用机载软件工具的鉴定被引量：1
《计算机应用与软件》2014年第1期11-13,共3页张亚琳 徐芳 
越来越来多的软件工具应用于机载软件的设计与验证,对工具鉴定的要求越来越严格。根据DO-178和DO-330,介绍对工具鉴定各方面的要求。
关键词：工具鉴定 DO-178 DO-330 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部