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

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

航空电子软件仿真测试环境软件体系结构研究

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计.基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述.应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术.据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中.     

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

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

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

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

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

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

嵌入式软件仿真测试环境实时脚本技术的研究

针对嵌入式软件仿真测试环境中,测试脚本对激励数据的实时控制和结果数据的实时收集的问题,研究并实现了一种嵌入式软件仿真测试环境中的实时脚本技术,给出了实时脚本设计实现的方法,并通过实例验证了实时脚本技术的有效性。     

综合模块化航空电子系统结构的最新发展及挑战

随着综合模块化航空电子结构（IMA ）的广泛应用,对 IMA 的开发和概念解读也随之变得重要。目前,在实现了第一代IMA平台的基础上,第二代IMA平台的架构已提上日程。本文分析了开发下一代IMA平台可能面对的挑战,一是重新配置的能力,二是以多核处理器为代表的COTS处理设备的综合。本文将从重构、多核平台的建构、以及模块化测试等方面对第二代IMA做一个多维、立体的分析。     

综合航电系统实时仿真测试技术研究

研究和建设飞机综合航电系统测试是飞机研制过程中非常重要的环节。通过介绍综合航电仿真系统的原理和功能,提出了一套综合航电系统半物理仿真测试闭环试验系统的建设方案。     

综合模块化航电系统软件技术研究

从软件可靠性的角度对综合模块化航电(IMA)系统进行了讨论.从IMA系统的体系结构入手,研究了软件接口定义以及系统失效.具体分析了IMA软件研制过程中各角色的作用以及这种责任的分散所带来的问题.结合国内的发展现状,探讨了IMA系统测试各层次内容,为国内正在进行的四代机项目的研制及测试工作提供了一些思路.     

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

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

综合模块化航空电子核心系统技术研究

介绍了一种综合模块化航空电子核心系统.在系统应用需求及技术特征的分析基础上,提出了一种通用的开放式体系结构模型,并对系统的关键技术进行深入研究探讨,包括系统管理、网络通信、时间同步、容错策略等,最后给出系统设计方案的建议.系统具有可重构性、可重用性、可扩展性和健壮性,可满足先进飞机航空电子系统的应用要求,并为未来新型分布式综合模块化航空电子系统的研究与设计提供技术支持.     

综合模块化航空电子系统软件体系结构综述

作为降低系统生命周期费用（LCC）、控制软件复杂性、提高软件复用程度的重要手段之一,软件体系结构已成为航空计算领域的一个主要研究方向。阐述了综合模块化航空电子（IMA）的理念,分析了推动IMA产生和发展的主要因素。总结了ARINC 653,ASAAC,GOA以及F-22通用综合处理机（CIP）上的软件体系结构研究成果,并讨论了IMA软件体系结构需要解决的若干问题及其发展趋势。在此基础上,对中国综合航电软件体系结构研究提出了一些见解。     

一种能力驱动的开放式航电软件架构

在新一代IT技术环境下,传统单平台“烟囱式”的航电软件架构和开发模式面临着变革的挑战。针对航电软件系统软硬件耦合紧密、规模大、复杂度高的特点,提出了一种能力驱动的开放式航电软件架构环境,用于大型复杂航电软件系统的多团队开发。除了软件计算环境(SCE)为可移植的应用软件组件提供跨飞机平台的能力外,该环境还包括一个航电软件架构规范,保障架构的开放性、可移植性、互操作性等,以及规范基于模型驱动的软件开发流程,用于快速部署、升级和替换可移植的软件组件。为了证明该开放式航电软件架构环境的可行性和有效性,本文结合实际需求进行了实例研究。     

综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

综合模块化航空电子系统标准分析及发展展望

从综合模块化航空电子系统的应用出发,分析重点标准,对未来航电标准进行了展望。