模型驱动的软件构件研制保证水平验证方法

在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。     

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

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

大型客机电传飞控系统软件开发应用研究

多通道软件开发的复杂性和适航符合性要求是大型客机飞控机载软件开发需要考虑的重要问题。从软件的工程化管理以及软件的开发、验证和确认等方面探讨了既能满足安全性和可靠性要求又能符合适航要求的电传飞控系统软件的开发管理方式。     

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

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

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

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

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

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

RTCA/DO 331标准研究

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

通用飞机安全性适航符合验证工作体系研究

研究CCAR23.1309条款要求,确定通用飞机安全性适航验证项目.在安全性分析和验证方法的基础上,结合适航取证要求和特点,提出FHA要求确立—局方审查认可—SSA要求验证—局方审批认证的安全性工作认证程序,并在此基础上规划了安全性适航验证工作的体系结构.基于飞机研制和适航取证各阶段工作,结合整机及各系统安全性设计的实...     

民用飞机机载系统安全性设计与评估

随着航空电子技术的进步和飞机功能需求的增加,机载系统变得越来越复杂。由于高度综合的复杂系统不可能通过试验来验证所有的系统特性,因此,需要制定统一的标准,对其安全性设计方法和过程进行控制。以满足适航规章的要求。本文重点介绍了系统安全性评估所使用的四种分析方法。     

分层架构下基于模型的软件—体化开发

日益复杂的软件功能,高安全性系统的苛刻要求以及不断压缩的研制周期等因素推动了软件开发方法的创新。本文以机载软件为对象,介绍了基于模型和分层架构的一体化软件开发与验证方法。     

航空数据库适航审定政策研究

航空数据库（Aeronautical Database）作为实现航空器导航、避障和指引功能的重要部分，其数据结 构遵循特定格式的标准。航空数据库的质量将直接影响到航空器的运行安全。当前民航适航体系针对原始数据 及后续处理过程的质量体系的审定缺乏实际经验，给机载设备和飞机运行的适航性带了挑战。本文首先介绍当 前世界范围内航空数据库适航管理的办法及技术标准，再结合当前国内航空数据库的审定的现状，提出一种可 行的中国航空数据库适航审定的政策建议，供国内各类航空数据库的研制单位及审查方参考。     

民用飞机型号合格审定计划的制定方法

在民用飞机型号合格适航取证过程中，申请方需要开展符合性验证试验、试飞、分析等符合性验证活动来证明飞机型号设计符合相应的型号合格审定基础，以获得适航当局颁发的型号合格证。在此过程中，需要将符合性验证活动分解为便于管理的任务，使这些任务得以合理、有序地完成，这类分解后的符合性验证活动的载体就是一份份型号合格审定计划。审定计划是民用飞机型号合格取证的关键工具，它提供了详细的产品描述和成功完成取证的工作要求。分析了审定计划的适航规章要求和行业标准要求以及两者之间的异同，结合国内民用飞机型号的适航取证经验，提出了审定计划的规划原则、内容要求和协调性检查要求，为国内民用飞机型号合格审定计划的规划和制定提供参考。     

民用飞机航空电子系统适航标准应用初探

随着ARJ21飞机项目的进展,适航取证已成为项目工作中的重点之一。本文结合我国适航标准的实际,简要介绍了FAR(联邦航空条例)的组成、主要内容,以及对航空电子系统方面的要求,着重对安全性技术标准在飞机系统设计及取证过程中的作用以及评估分析的方法进行了探讨,以期对今后技术工作的开展有所裨益。     

民用飞机驾驶舱门抵御穿透要求适航符合性评估方法

民用飞机驾驶舱门系统安装在飞机舱内,用于阻隔驾驶舱和客舱,除供机组人员正常进出驾驶舱外,必须具备防弹及防侵入功能,防止非机组人员抢夺飞机控制权,为机组成员提供安全保护。从驾驶舱门系统抵御穿透适航条款解读入手,对适航审定要求进行研究解读,提出一种民用飞机驾驶舱门抵御穿透试验方法,给出子弹选择、危险弹道确认、枪击点筛选、试验件构型准备等试验实施细节和要求,并以某型民用飞机驾驶舱门系统研发以及抵御穿透适航审定为基础对其进行验证。结果表明：本文提出的驾驶舱门抵御穿透试验方法有效,满足条款符合性,能够为飞机驾驶舱门设计研发以及适航符合性分析验证和相关条款的适航审定工作提供参考。     

简单用户微编码器件适航要求研究

用户微编码器件的便捷性与高效性,使其在机载设备研制中被广泛应用。由于具有高度集成性和复杂性,难以通过传统方法对开发过程中产生的设计错误进行管理和评估,其使用会对飞机的安全性造成影响,因此通常采用研制保证方法表明用户微编码器件的适航符合性。但在实际项目中,用户微编码器件实现的功能可能较为简单,采用充分的确定性测试和分析相结合的方法足以表明其功能确定性,确保其在机载设备中的使用安全性。通过对现有适航咨询通告、工业标准及实践指南等资料的分析和研究,旨在梳理出简单用户微编码器件通过充分的确定性测试和分析相结合的方法表明适航符合性需满足的相关要求和关键要素,为机载设备制造商完成简单用户微编码器件的适航验证提供支持和帮助。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。