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

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

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

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

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

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

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

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

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

使用先前开发机载软件的适航要求研究

先前开发的机载软件在民用航空领域获得了越来越广泛的使用,随之而来的适航问题也越发突出。本文结合国际相关指导性文件以及型号工作经验,对使用先前开发机载软件的适航要求进行研究和阐述。     

适航产品本地化开发过程研究

通过对国内民机机载系统和设备研制状况和存在问题的讨论,结合多年机载系统和设备研制的工作经验,对机载系统和设备适航开发过程中的相关标准的综合应用问题进行了分析,提出了机载系统和设备适航开发过程中适航标准综合应用的一些考虑,并介绍了这些考虑的实际应用情况。     

民用客机机载软件SOI评审初探

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

民用飞机航电接口正向设计方法研究

基于采用综合模块化航电系统的民用飞机,提出了一种由功能接口定义到物理接口定义的机载系统航电接口定义正向设计方法。首先对接口进行了分类定义,阐述了航电接口设计过程与民用飞机全生命周期各研制阶段的对应关系。针对功能接口定义,提出了一种使用Capella建模工具的接口设计方法。针对航电接口定义(包括软硬件定义、端口定义和传输数据定义等),提供了设计过程、流程和方法。最后,结合该航电接口定义正向设计方法给出了具体案例供工程实施参考。     

机载软件工具鉴定及重用先前鉴定工具研究

随着大量工具应用于民用飞机机载软件的开发,越来越多的研制单位选择对工具开展鉴定活动,以保证工具提供的置信度至少相当于其自动化的过程活动。本文基于相关适航标准要求,定义了重用先前鉴定工具数据的策略,并提出提高工具鉴定数据重用性的方法。     

基于DO-254的控制系统电子硬件符合性研究

机载电子硬件设计保证指南（DO-254）是目前航空业认可的用于指导机载电子硬件的文件。本文介绍了基于DO-254的控制系统电子硬件符合性研究,分析了DO-254要求的机载电子硬件主要研制过程,建立了基于DO-254的控制系统电子硬件研制流程,并对比了美国联邦航空局（FAA）和欧洲航空安全局（EASA）在合格审定过程中的考虑因素,总结了控制系统电子硬件的符合性方法,可为未来民用航空发动机控制系统电子硬件的适航取证提供参考。     

民用飞机机载软件计划阶段评审方法研究

民用飞机机载软件的合格审定是民用飞机适航取证工作的重要内容,机载软件计划阶段评审是机载软件合格审定过程的重要里程碑,直接影响民用飞机主制造商的软件研制进度和适航取证进度。本文结合我国民用飞机机载软件研制过程中计划阶段工程评审与适航审查的经验,总结了适合我国国情的机载软件计划阶段评审的方法和流程,并对此过程中有关的重要问题进行了论述。     

航空机载实时计算机系统通用核心执行软件的设计概要

本文作者以多年从事航空机载实时软件研究的经验和体会并参阅国外有关执行软件的大量资料,主要论述了航空机载实时通用核心执行软件设计的总体概要、功能、性能需要以及同用户人员的接口关系,可作为进行这方面研究的软件工作者的参考。     

民用飞机刹车控制系统软件构型管理研究

民用飞机刹车控制系统构型管理在系统设计开发过程和适航符合性验证过程中发挥着关键作用。为了提升民用飞机刹车控制系统软件构型管理能力,使该系统设计开发的软件满足适航要求,介绍刹车控制系统软件构型管理的概念和方法,描述如何运用系统思维和信息化流程手段将构型管理和软件设计相结合,开展软件全生命周期过程构型管理活动。结合DO-178C 的要求,提出建立以产品构型为核心的构型数据数字化管理机制,实现刹车控制系统软件研制的单一数据源。结果表明：通过和构型基线管理相结合建立一个统一的构型数据库,在构型库中严格按照阶段的状态进行准确记录,确保了状态信息的实时性、可追溯性、完整性及有效性,达到了最终构型控制目标,可以满足适航要求。     

PDM集成框架下CAPP工具系统构建方案

分析了基于PDM的集成框架系统结构,探讨了PDM集成框架下CAPP工具系统建模中建立产品面向全生命周期的特征信息模型,运用模块化理论对CAPP工具系统进行功能模块划分、功能模块实现以及用面向对象技术实现制造资源扩充等关键技术。最后,通过用户化生成的液压机CAPP系统验证了所建模型的可行性。     

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

某军民两用机在其综合显示等关键系统中大量地使用了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在开发过程中的差异进行了深入分析。本文为该军民两用机可编程逻辑器件的适航审定工作提供了一定的参考。     

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

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

机载电子产品硬件设计和开发验证方法思考

结合复杂机载电子设备设计和开发过程中遇到的产品验证问题,从产品需求入手,提出了一套以基于需求的设计和开发验证思路,并对各类验证方法进行了研究,为机载电子产品的设计和开发验证工作提供了一套行之有效的理论、方法和工具.