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

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

高精度导航计算机实现技术研究

惯性导航系统是一种自主式导航系统,其核心部件是导航计算机。介绍了导航计算机实现的技术原理;分析了导航计算机实现的关键技术,包括高精度浮点处理技术、导航传感器功能集成技术、高精度导航技术、智能接口技术和集成化的软件开发调试环境;针对惯性导航系统对精度和实时性的要求,提出了一种高精度导航计算机的设计方案,其实现技术先进,具有广泛的应用前景。     

新型机载嵌入式显示单元的设计与实现

设计并实现了一种新型机载嵌入式显示单元,主要完成图形生成、视频接收、视频格式转换、视频叠加及输出等功能。在详细分析显示单元的功能组成与系统结构基础上,描述了基本的硬件设计与主要器件选用情况,并给出视频格式转换与视频叠加算法的设计,以及实验结果。     

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

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

基于嵌入式系统的 ADS-B 接收机软件设计和关键技术分析

广播式自动相关监视(ADS-B)是基于 S 模式空-地、空-空数据链完成监视、信息传递和导航的一种空中交通管制(ATC)新技术.本文提出了基于 Vxworks 嵌人式操作系统的 ADS-B 接收机核心软件设计,论述了系统实现所需的邻机数据管理、格雷码解码以及位置信息处理等关键技术以及软件实现方法     

机载计算机ATE计量校准软件的研究与设计

全面有效地计量校准军用ATE,对保证其正确性有效性非常重要.设计开发ATE计量校准程序,可以实现ATE自动化整体原位校准,提高计量保障效率和测试质量.介绍了机栽计算机ATE计量校准软件的系统结构,重点讨论了计量校准程序结构和面向信号的程序开发方法,最后描述了计量校准程序流程和实现方法.     

星载嵌入式文件系统技术研究及实现

介绍了一种面向空间应用的嵌入式文件系统的设计要点,着重说明了采用B 树组织文件、锁链方式组织元数据以及低资源占用的空间分配回收机制三个方面问题。自主开发的文件系统较好地解决了NAND型Flash存储芯片作为星载存储设备所遇到的磨损均衡、存储空间使用效率的问题,能够更好地支持星载数据的文件化存储管理和可靠传输。     

一种柔性多体动力学建模方法及其工程应用

针对具有多轴天线驱动、机械臂运动、空间站舱段转位等多体运动特征的航天器,提出了一种基于浮动基座和树形拓扑结构的柔性多体动力学建模方法,用于计算机建模和与控制系统联合仿真。基于拉格朗日方程和有限元方法所建立的动力学方程考虑了大角度刚体相对转动、弹性部件振动、柔性关节变形特性。将此建模方法程序化并应用于工程实际,可解决此类航天器复杂的机构运动与弹性振动的耦合动力学建模问题,实现完全自主的动力学建模、模型代码输出和控制联合仿真功能,为此类航天器的动力学特性分析及其控制系统设计与系统级仿真验证服务。结合带多轴驱动天线和大型柔性天线的整星对象,采用该方法建模并就系统频率、频率响应、时间响应与商业柔性多体软件Adams进行对比,结果显示二者一致性良好,验证了该建模方法及其软件实现的正确性和通用性。     

气象卫星地面测试成像终端软件设计与实现

根据气象卫星地面测试对成像终端软件的要求，对成像终端软件的设计与工程实现进行了研究。给出了成像终端软件的接口要求、设计思想、实现方法和可靠性设计等。整星测试结果表明，成像终端软件的设计原理和实现方法合理可行。     

软件接收机中内部自动增益控制的DSP实现

本文给出了软件接收机中内部自动增益控制(AGC)的一种算法，该算法运算量小、适于DSP采用。文中最后给出算法的仿真结果。