民机适航软件工具鉴定考虑

软件工具在航空器研发过程中所起的作用越来越大,为了保证民用飞机的安全性,DO-178B对在民用飞机研发过程中所使用的软件工具提出了鉴定的要求。为了规范工具鉴定过程,伴随着DO-178C的发布,RTCA专门发布了工具鉴定指导文件DO-330。通过对DO-178B、DO-178C、DO-330中有关工具鉴定内容的对比和分析,明确了最新工具鉴定的分级定义、工具鉴定的过程和目标;针对当前广泛使用的COTS工具,描述了工具鉴定应考虑的因素。为按照民机适航要求开展工具鉴定工作提供了指导。     

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

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

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

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

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

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

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

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

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

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

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

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

机载设备软件需求获取过程研究

DO-178B机载设备软件的开发指南,规定了软件生存周期中各个过程的目标以及完成目标的活动和证据;但是DO-178B标准中没有给出软件需求获取的具体过程.针对机载设备软件AE653/Cert的认证过程进行研究,诠释需求获取过程中的建模方法和原则,给出需求获取过程的具体描述及其变更控制和配置管理.最后通过分析验证软件需求获取过程生成的需求和工作产品可以符合DO-178B的目标,为机载软件开发过程的需求获取提供了参考依据.     

某型机可编程逻辑器件适航重点关注项研究

某军民两用机在其综合显示等关键系统中大量地使用了ASIC/FPGA/CPLD等可编程逻辑器件,因此,该型机可编程逻辑器件的研制需同时符合GJB 9432—2018和DO-254的要求。本文首先对GJB9432—2018和DO-254进行了介绍,其次,通过对比两个标准,阐明了GJB 9432—2018和DO-254在适用对象、适用范围和开发过程中存在的差异,最后,提出将GJB 9432—2018和DO-254在开发过程中的差异作为该军民两用机适航审定过程中重点关注的项目,并对GJB 9432—2018和DO-254在开发过程中的差异进行了深入分析。本文为该军民两用机可编程逻辑器件的适航审定工作提供了一定的参考。     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

DO-254标准中的确认与验证过程分析

针对机载电子硬件设计生命周期中的确认与验证过程,介绍DO-254标准中关于确认和验证活动的目标,研究确认和验证过程的策划和实施活动,分析确认和验证的方法,提出了确认和验证活动在实际实施过程中的建议。     

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

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

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

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

RTCA/DO 331标准研究

为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》标准的补充。该文主要从DO-331文档的组织架构编排,模型的使用和分类,基于模型研制相关的软件生命周期过程、数据和符合性验证目标几个方面对其进行了提炼和解读,可帮助应用该标准的人员快速理解文档的核心内容,并把握基于模型的开发和验证相关的合格审定关注点,从而在项目实施过程中更好地表明适航符合性。     

DO-254标准在机载电子硬件审定中的应用

现代机载设备广泛使用了复杂电子硬件（CEH）,这对于适航性设计和审定带来了挑战。在ARJ21-700项目中,中国首次采用了RTCA DO-254作为机载复杂电子硬件的适航符合性方法,但标准的应用仍遇到许多困难。以ARJ21-700飞机机载电子硬件的审定经验为基础,梳理了复杂电子硬件的设计和审定过程,补充并解析了DO-254标准中未明确的简单电子硬件、商用现成产品（COTS）、验证标准等关键问题的审定要求,并就部分要求给出了建议的适航符合性验证方法,这些方法也在型号合格审定过程中得以初步应用。     

军用飞机机载用电设备供电兼容性验证要求分析

在综合分析机载用电设备GJB 181-1986和GJB 181A-2003符合性验证要求,以及MIL-STD-704F、DO-160G符合性验证要求的基础上,对国内军用飞机机载用电设备供电兼容性试验的开展现状和试验项目要求进行了分析,并对机载用电设备开展GJB 181B-2012标准符合性试验验证的要求提出了一些验证建议。     

基于DO-254的复杂电子硬件开发及适航审定过程符合性研究

当前,民用航空器中的机载电子硬件的复杂度逐渐增加,设计过程中产生的错误无法再通过穷举验证等方法被发现和纠正。为了避免其导致的安全性问题,必须采取规范化的开发流程,同时符合适航审定的要求。本文从适航性的角度分析了适航审定基础和符合性方法之间的关系,以及将DO-254作为符合性方法对适航审定的意义。另外,本文基于DO-254和其他相关标准文件,明确了对机载电子硬件中的简单电子硬件（Simple Electronic Hardware, SEH）和复杂电子硬件（Complex Electronic Hardware, CEH）区分方法,分析了以现场可编程门阵列（Field Programmable Gate Array,FPGA）为代表的CEH的硬件生命周期及其关联过程,建立了符合DO-254的FPGA硬件设计过程,探讨了硬件生命周期内和适航审定过程中可能存在的问题和解决措施,为实际工程提供一定的参考。     

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

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

机载软件适航技术研究与工程应用

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

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

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