举世瞩目的语言—Ada

概述了Ada语言的由来与发展、特点,西方推行Ada语言的政策和状态,Ada语言的软件工程环境以及国内推行Ada语言的策略和现状。     

Ada程序的验证测试

本文简述了Ａｄａ程序验证的一些经验，着重讨论了静态代码审查和模块测试。     

混合语言编程及其在软件开发和移植中的应用

本文介绍了混合语言编程的基本思路和关键技术，混合语言编程在某课题的软件开发中的实际应用。     

电子分发软件的时代即将来临

数据装载器过时、航空公司通过互联网或卫星来接收软件和更新数据库的日子已为时不远。随着软盘的逐渐废弃以及电子分发软件的增长,各地的人员能直接从互联网上把软件下载到服务器,再通过局域网,用无线电发送到飞机上,或者通过卫星接收数据。     

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

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

航空电子器件超温使用分析及升额方法研究

对航空电子器件超温使用的现状以及危害性进行分析,结合国际标准IEC/TR62240,提出航空电子器件升额的器件参数特性重估法、应力配平法、参数一致性评估法及更高装配级测试法,为器件超温使用评估提供理论依据.     

先进航空信息处理机介绍

介绍了航电综合化发展阶段及当前阶段的主要任务,以F-22CIP为蓝本分析了航空综合信息处理机的硬件、软件结构和组成,以及处理机数据通信机理。     

基于COTS的航空电子软件开发

介绍了商用货架产品(COTS)在航空电子软件开发中应用的优点和缺点,和基于COTS的航电软件构架;并给出了一个开发过程和部分开发工具。最后通过一个实例说明基于COTS的航电软件开发是实际可行的。     

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

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

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

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

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

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

机载模拟光栅视频系统的视频处理技术

针对机载模拟光栅视频系统的特点,探讨了工程设计中的若干问题和解决措施。     

一种面向服务的航电任务系统软件架构

OSGi(Open Service Gateway Initiative)标准是面向服务软件架构的典型架构,OSGi为面向服务插件开发提供了一种动态的、可部署的基础框架环境。QT是1991年奇趣科技开发的一个跨平台的C++图形用户界面应用程序框架,它提供给应用程序开发者建立艺术级的图形用户界面所需的所有功能。基于OSGi标准和QT提出并实现了一种面向服务的航电任务系统软件架构,介绍了OSGi标准以及QT,同时对QT实现OSGi中核心关键技术进行了分析,提供了一个航电任务系统的面向服务解决方案。     

航电系统集成验证环境中的试验总控系统建设

针对国内军用航空修理行业系统级综合试验现状,根据航电集成验证环境中总控系统的特点和应具有的基本功能,结合视情维修需求及现代软硬件技术状态和成熟试验验证的手段,介绍了航电系统集成验证环境中总控系统的建设思路,给出了总控系统硬件及上位机测试软件的实现方案。该总控系统的应用将提升航电系统的修理验证能力。     

云服务技术在航电软件研发中的应用研究

航空电子系统硬件的发展,为云服务技术在航空领域的应用提供了可能。借助虚拟化及容器管理技术,将机载计算资源进行池化管理,并借助服务化技术,将复杂航电软件拆分为可协作的独立模块,能够实现航电软件的快速构建、灵活部署,并提高航电软件之间的互操作能力。本文讨论了云服务技术在航空领域的应用现状,研究并提出了一种应用于航电软件研发的云服务架构,给出了服务化和容器管理平台的实现方案,并构建了应用原型验证环境。