综合测试设备中的软件工具鉴定方法研究

随着安全关键系统软件的复杂性和重要性的不断提高,软件工具在软件开发和验证过程中得到了越来越广泛的使用,工具鉴定问题日益突出。本文通过梳理DO-178C和DO-330中对于工具鉴定的要求,总结了综合工具的鉴定方法,并通过工程实践验证了综合工具鉴定方法的可行性,为复杂综合测试设备的工具鉴定提供了理论依据和实施指导。     

基于工具服务历史的机载软件工具鉴定方法

目前,随着各类工具在国内民机机载软件研制中的大量使用,软件研制团队在软件开发过程中,不仅要考虑机载软件的适航审定要求,也要考虑所用工具的鉴定要求。以DO-178C和DO-330标准为基础,介绍了判断工具是否需要鉴定的流程、确定工具鉴定等级的方法、工具鉴定的生命周期以及工具鉴定的利益相关方和职责,并分析和研究了工具服务历史方法在机载软件工具鉴定中的应用,说明了对工具服务历史进行评估的要求和活动。最后,通过项目实例证明基于工具服务历史方法进行机载软件工具鉴定是可行的。     

货架及自研机载软件工具鉴定的研究

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

基于RTCA/DO-330的机载电子硬件工具鉴定准则研究

简要回顾了RTCA/DO-254《机载电子硬件设计保证指南》中工具鉴定的要求,介绍了国际航空无线电委员会(RTCA)最新发布的RTCA/DO-330《软件工具鉴定考虑》。在此基础上,提出了一种RTCA/DO-254的框架内基于RTCA/DO-330进行机载电子硬件工具评估和鉴定的准则。     

民机主制造商对MBD软件供应商工程监控过程研究

基于模型的软件开发技术(Model-Based Development,简称MBD)具有可视化建模与仿真、自动生成符合适航要求的代码等特点,已在民用飞机机载设备研发领域被逐渐推广应用。越来越多使用MBD技术开发的机载软件的涌现,给民机机载软件适航符合性工作带来了前所未有的挑战。为解决这一问题,美国航空无线电技术委员会于2011年底发布了DO-178C作为民用航空界认可的机载软件符合性方法,并在此基础上发布了DO-331作为专门针对机载软件MBD技术的适航符合性要求的补充说明。通过对DO-178C和DO-331标准中MBD软件适用目标的研究,结合工程实践,总结归纳了一套民用飞机主制造商对MBD软件供应商的软件研发过程管控要求,用于在向适航当局表明符合性时提高适航置信度,以期对主制造商和供应商在处理MBD软件方面提供参考。     

基于LDRA Testbed的民用机载软件结构覆盖率分析流程研究

根据RTCA DO-178B中对于民用飞机机载软件结构覆盖率的要求,从实践出发,给出了使用DLRA Testbed工具进行民用飞机机载软件结构覆盖率分析的主要流程。     

DO-178B软件工具鉴定初探

介绍了美国FAA关于DO-178B中软件工具鉴定的要求,鉴定方法,为国内机载设备合格审查提供参考意见。     

民用飞机软件验证要求研究与实践

DO-178C实际上已成为民用飞机适航取证时用以衡量机载软件是否达到相应等级的安全性要求的标准,它以软件工程过程为核心,从定义过程应达到的目标、为满足目标所需要开展的活动、达到目标的证据等多个角度提出了软件研制的指导原则。DO-178C覆盖软件生命周期全过程,本文介绍了其中关于软件验证的标准以及对标准的理解和实践考虑。     

民用飞机产品研制保证等级分配原则研究

研制保证等级是民用飞机研制过程的关键技术。研究了民用飞机产品项目研制保证等级定义,解读并分析了SAE ARP 4754A、RTCA DO-178B以及DO-254各标准有关项目研制保证等级的分配要求差异及产生差异的原因。为解决各标准要求差异导致分配结果不一致的问题,在研究研制保证的目的、解决方法以及相关政策要求的基础上,提出关于民用飞机产品项目研制保证等级若干通用分配原则建议,用于指导项目研制保证等级分配的实际应用。并且,通过应用案例表明该分配原则的可行性。     

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

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

基于DO-178B的民用飞机机载软件工具的鉴定和应用

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

从DO-178C的新变化透视软件适航关注点

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

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

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

基于满足DO-178C的接口文件适航符合性策略研究

通过归纳总结在民机软件开发过程中遇到的接口文件的类型，根据每种类型的具体特性，分析和介绍这些接口文件满足DO-178C的适航符合性策略，并针对特殊的接口文件进行替代DO-178C的策略分析，为软件相关的接口文件提供DO-178C符合性分析工作指导，为申请人在民机软件开发中开展相应的符合性分析工作提供借鉴意义。     

浅谈DO-178C中附加代码验证目标的实现

DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。     

GJB5000 A与DO-178 B／C的综合应用研究

针对软件研制单位目前存在的型号软件研制必须同时满足GJB5000 A与适航软件研制标准的要求,通过对GJB5000 A与DO-178 B／C的对比分析,提出一种将GJB5000 A与DO-178 B／C相互融合的方法,并对方法实际工程实践时应注意的问题进行了说明。     

航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。     

RTCA DO-178C标准中的软件验证过程分析

研究了DO-178C中软件验证过程活动的开展及方法,提出了在工程实践中开展软件验证活动和提升软件质量的建议。指出DO-178C与航空工业标准体系融合及应用,对提升我国机载软件质量有重要意义。     

软件合格审定研发管理体系建立的要点研究

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

民机机载软硬件过程对比分析及系统设计思考

从标准本身出发,选取重点过程,横向比较DO-178B和DO-254两份标准在设计保证等级C级层面的主要差异点,并对两份标准中的重点差异方面进行分析,最后提出了系统总体设计时应考虑的方面。