敏捷开发在某型飞机机载软件研制中的应用

针对机载软件设计需求复杂、设计开发团队庞大以及版本交付周期长等特点,概括介绍了敏捷软件开发这种新型的"轻便式"软件开发方法,并以某型飞机襟缝翼控制器机载软件开发为例,结合软件设计开发过程,对敏捷开发方法进行了应用,该方法大大提高了机载软件研制的效率和可靠性。     

基于IP核的可扩展机载图形引擎设计

先进座舱显示系统要求新一代机载图形引擎必须在具备较强图形实时渲染性能的同时,满足可靠性、可扩展性等航空产品的特定需求。本文分析了传统机载图形引擎实现技术的局限性,给出了基于IP核的可扩展机载图形引擎架构及设计实现。这种图形引擎在图形渲染性能和可靠性、可扩展性等之间取得平衡,支持基于模型的图形软件开发,同时满足成本控制和长生命周期支持等需求。     

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

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

机载计算机可靠性设计的初步实践

介绍了在研制某型号用机载计算机的过程中，通过进行可靠性设计尝试，使机载计算机可靠性水平满足型号要求，获型号设备可靠性设计第二名的情况。所采取的设计方法如：可靠性建模、预计及分配；元器件的选择、筛选与使用控制；各类元器件的降额设计使用；简化设计；进行故障模式影响和危害性分析等。     

机载适航标准DO-178B/C软件开发过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型.展望了DO-178B/C标准的未来研究方向.     

机载电子产品加速试验研究进展

舰载机机载产品在服役过程中故障率高,故障机理复杂,制约了舰载机作战效能发挥,而传统设计生产阶段的可靠性鉴定试验方法,不能有效推断产品在服役环境下的真实可靠性水平。加速试验是解决高可靠性、小样本产品可靠性评估和验证问题的有效方法,具有低成本、短周期等特征。系统分析了加速试验方法在机载电子产品全寿命周期中的应用现状,包括电子产品加速试验的基本模型、存在问题和发展趋势,从而为有效开展机载电子产品的加速试验提供借鉴。     

机载火控设备制造中的可靠性保证

结合工程实践论述了影响机载火控设备制造可靠性保证的主要因素和可靠性保证所采取的主要措施。机载火控设备的可靠性取决于设计、制造和使用三大环节。除设计为关键环节外,制造是一个不可忽视的重要环节。在机载火控设备制造过程中,对不同的产品和生产厂家,影响设备可靠性的制造因素也不尽相同。因此,应根据具体情况,采取相应的措施。本文主要叙述可靠性保证所采取的措施。     

基于仿真技术的机载电子设备结构设计

本文针对机载电子设备的工作模式和所处的环境条件,在方案设计、详细设计至可靠性仿真试验各个阶段运用不同领域的软件工具,结合产品设计的实例,从热学、力学、电磁兼容等方面阐述了集设计、仿真、测试、优化于一体的机载电子设备结构设计流程,有效地提高了设计质量和产品的可靠性.     

基于仿真技术的机载电子设备结构设计

本文针对机载电子设备的工作模式和所处的环境条件,在方案设计、详细设计至可靠性仿真试验各个阶段运用不同领域的软件工具,结合产品设计的实例,从热学、力学、电磁兼容等方面阐述了集设计、仿真、测试、优化于一体的机载电子设备结构设计流程,有效地提高了设计质量和产品的可靠性.     

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

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