基于DO-330标准的机载产品工具鉴定过程研究

机载系统开发过包括计划、功能开发、配置、仿真、集成和验证6个方面,每个过程都需要特定工具的支持。工具通过自动化执行相应的预期功能,避免引入人为错误,来分析和提高系统的安全性。用户对工具所执行活动置信度的考虑引出了工具鉴定的概念,工具鉴定的目的是为了获取用户对工具功能的信任。以软件开发生命周期所用到的工具为例,对工具鉴定全生命周期过程进行了描述,并通过实际案例进行工具鉴定过程的分析,希望对机载系统工具使用和开发人员有一定的参考价值。     

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

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

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

某军民两用机在其综合显示等关键系统中大量地使用了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-254两份标准在设计保证等级C级层面的主要差异点,并对两份标准中的重点差异方面进行分析,最后提出了系统总体设计时应考虑的方面。     

嵌入式分区操作系统可靠性技术的研究与应用

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。     

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

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

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

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