自动驾驶仪软件开发与管理

以自动驾驶仪软件开发实践为基础,总结和分析自动驾驶仪软件开发的经验和教训,提出应以良好专业素养的人员定义软件的需求、以严格的需求追踪确保需求实现的完整性和正确性、以需求设计和实现人员分离的方式进行软件工程化开发、以独立的手段开展软件设计验证和确认、以严格的控制措施确保软件技术状态清晰等基本开发原则,保证机载嵌入式软件的产品和过程质量,保障飞行安全,确保机载嵌入式软件的成功开发。     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

A型飞机HUD／WAC软件开发

本文综述了装于A型飞机的平视显示器/武器瞄准计算机作战飞行程序(HUD/WAC OFP)软件开发流程,并通过程序开发实例介绍该平显软件开发步骤和方法。该项目为成都飞机公司军机改型研制和产品销售作出了贡献,在引进国外机载计算机软件和开发的工作中闯出了新路。     

机载嵌入式软件可靠性设计研究

机载航电系统的可靠性问题越来越受到关注,软件可靠性设计要抓住两个方面,软件开发过程和软件开发方法。本文根据机载嵌入式系统软件的特点,讨论了软件开发过程在可靠性方面的考虑,还有在需求、设计、编码阶段使用的相关设计方法和技术。     

极限编程及其在成品管理系统开发中的质量控制

本文简单介绍了一种敏捷软件开发方法——极限编程，以及质量控制的基本方法。并探讨在成品管理系统中如何运用极限编程进行软件质量控制，既保持“敏捷”的特点，又能作为一种成熟的蜂件开发过謦，提供高质量的软件产品。     

一种基于适配器模式的惯导软件设计方法

随着软件任务的不断增多,传统的软件设计开发和维护模式已无法满足日益增长的任务要求,亟待进一步提高软件的复用程度。针对惯导系统软件接口设计,提出了一种基于适配器模式的惯导软件设计方法。该方法采用动多态适配器和静多态适配器技术,提高了软件开发效率,接口的定义灵活可靠,解决了软件开发过程中面临的可扩展性差、可重用性差、难于维护等问题。     

民用飞机飞行控制软件开发方法探讨

通过对民用飞机飞控软件的重要性及复杂性的分析,结合目前机载软件开发的现状,对软件开发过程中的一些问题进行了论述,特别是对民用飞机多通道飞控软件的开发方法进行了探讨,提出了应用UML建模语言对飞控需求进行描述以消除不同开发组对需求理解的歧义,采用中间件以提高程序的开发质量与效率的软件开发方法,为有关人员提供了参考.     

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

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

谈MIS软件开发中的程序模块复用技术

本文从ＭＩＳ软件程序结构的一般特点，论述了以通用程序模块为基本部件的模块复用技术对软件开发的影响。无论采用那种软件开发方法。这一技术作为软件设计阶段的基本手段之一，对于提高软件质量和开发效率，促进软件开发的规范化、程序化、自动化和软件的商品化都是切实可行的。     

机载可配置的多通道通信软件设计

针对机载航空设备通信特点,介绍了一种可配置的多通道通信软件设计。通过对多种机载通信网络驱动的封装和适配,以端口配置表的方式,虚拟化多条并行工作的逻辑通道进行数据通信传输,并提供了简单的接口层以便应用软件开发,易于扩展和部署,有效简化了机载复杂设备通信类软件设计和实现。     

基于模型的机载嵌入式图形软件开发

不断提升的座舱显示系统需求，引发了机载图形软件开发方式的改变，新的开发理念和工具，对缩短开发周期，降低开发成本，提高设计质量大有裨益。     

SCADE模型驱动开发过程研究及高安全性分析

本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。     

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

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

军用与民用机载软件开发标准和流程的对比研究

军用机载软件开发标准主要是GJB 2786A《军用软件开发通用要求》,民用机载软件开发标准主要是DO-178B/C《机载系统和设备合格审定中的软件考虑》。针对这两份标准进行了对比研究和差异分析,对于完善军用软件研发标准体系和流程有一定意义。     

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

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

浅谈软件设计的基本策略——模块设计和自顶向下逐步细化

走工程化的道路是软件设计科学化、规范化的一条必经之路。本文简述了软件设计的指导原则以及软件设计的基本策略,概要介绍了模块化设计和自顶向下逐步细化的思想和方法,对软件设计的有关问题进行了粗略的分析和阐述,旨在提供一些软件开发、设计的参考概念和方法。     

中国航空计算技术研究所概况

中国航空计算技术研究所（航空总公司631所）,它的前身是创建于1958年的中国科学院西北计算技术研究所。经过40年的建设,这个所已成为我国航空工业系统机载计算机发展中心和航空软件开发中心。现在该所在机载计算机系统结构、系统软件、机械结构、电源技术、地面开发环境和计算方法、网络通讯及计算机应用等专业领域设立了11个研究室,还率先建成航空总公司的第一个重点实验室──计算流体力学（CFD）实验室。目前这个所正在积极筹建航空总公司机载、弹载计算机重点实验室。该所拥有多层印制板、模块和计算机整机电装、机载计算机机箱加…     

浅谈软件设计的基本策略：模块化设计和自顶向下逐步细化

走工程化的道路是软件设计科学化、规范化的一条必经之路。本文简述了软件设计的指导原则以及软件设计的基本策略，概要介绍了模块化设计和自顶向下逐步细化的思想和方法，对软件设计的有关问题进行了粗略的分析和阐述，旨在提供一些软件开发，设计的参考概念和方法。     

以基于模型设计应对机载软件设计挑战

传统的机载软件设计流程过于粗放，采用基于模型设计（MBD）构建详细的可执行流程，并配合相应的工具集成与订制，这是改进机载软件设计工作中的重点和难点。     

机载防撞系统现场诊断软件的架构设计

本文阐述了机载防撞系统现场诊断软件（ACAS Diag）的架构设计过程。从软件的需求分析入手,引入用例分析的方法描述了ACAS Diag的功能需求;介绍了架构设计的五视图方法;并在此基础上进行ACAS Diag的软件架构设计,分别给出了软件的逻辑架构、物理架构、开发架构和运行架构视图,从而为后续的软件开发奠定基础。