DO-178B可验证的机载操作系统配置生成技术

针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计。基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机载嵌入式操作系统的适航验证成本。     

基于FC的航电数据加载服务系统的设计研究

为适应日益发展的综合化航空电子系统及机载网络技术,航电系统维护中尤其是软件升级需要一套标准的数据及文件传输规范来保证加载的安全性和高效性。选用ARINC 615A数据加载协议,在深入分析其传输操作、传输文件以及传输协议的基础上,采用FC高速网络,设计适合ARINC 653和非ARINC 653操作系统的航电数据加载服务系统,并引入状态监控、CRC校验和短加载机制,实现数据加载的正确、稳定、可靠。     

基于关系模型的机载导航数据库快速解析生成方法

导航数据库可用于导航计算、导航台自动调谐管理等,是飞行管理系统所必须的数据源。为了能有效提高机载导航数据库的使用、更新及维护效率,大大减少相关工作人员的工作量,提出了一种基于关系模型的机载导航数据库快速解析生成方法,针对ARINC424协议中包含的大量数据对象进行建模,定义出协议中各个对象之间的逻辑关系和约束关系,并对数据结构进行优化,通过中间关系表确立各个数据之间的交叉引用关系,从而实现数据库的快速解析生成。测试结果表明,基于关系模型的机载导航数据库快速解析生成方法能有效提高数据查询效率,降低数据解析和生成的时间消耗,减少数据冗余,使数据库性能更优异。     

综合模块化航空电子系统构型管理功能设计

构型管理功能是飞机提高安全性的重要功能之一,由于综合模块化航空电子系统的架构特点,其构 型管理功能除了要保证软硬件构型一致外,还需要考虑配置数据。本文分析了DO-297 定义的构型管理功能设 计要求后,针对不同配置数据的功能特点,把构型管理功能划分成配置数据生成、数据加载和兼容性校验三个 步骤,并详细描述了各自的具体设计方案。该整体方案已在项目中成功应用。     

飞行管理系统机载性能数据库应用技术研究

飞行管理系统(FMS)在垂直轨迹预计、垂直导航参数信息预报和垂直导引功能方面对飞行性能数据计算提出了大量需求,为了高效管理和实时使用飞行性能数据,提出了设计与创建机载性能数据库,分析了性能管理中机载性能数据库的组成、表结构、数据库文件生成与加载过程。提出采用性能数据库管理功能,进行读取、索引、查询、插值等方式处理性能数据,提高了飞行管理机载软件实时计算效率,有力地支持了机载软件工程化开发和系统验证。     

救护直升机机载救护装备优化配置研究

基于救护直升机勤务功能及作业能力,研究救护直升机机载装备的优化配置。首先根据救护直升机的勤务需求,确定救护直升机机型装备的品种,然后采用排队论方法研究救护直升机机载装备的数量配置。结果表明排队论方法能够为救护直升机机载装备数量配置提供一个有效的、客观的科学手段,研究结果可为救护直升机研制提供依据。     

基于管道-过滤器模式的机载导航数据库格式化技术研究

针对飞行管理系统机载导航数据库应用需求,以管道-过滤器模式的软件架构体系为基础,设计了机载导航数据库格式化软件,实现标准导航数据格式到机载导航数据库格式的转换,生成适用于飞行管理系统的机载导航数据库文件系统。在分析机载导航数据库格式化的需求上,采用一种改进的管道-过滤器模式,通过裁剪和筛选导航数据的方法,降低数据容量。利用Access数据库作为中间数据库,建立不同类别的数据表,实现数据的快速查询和对比。通过实际的验证和应用表明机载导航数据库格式化软件是可行的,生成的机载导航数据库文件系统符合飞行管理系统要求,格式化后的数据是正确的。     

机载蒸发循环系统动态仿真

从部件的数学模型出发,根据闭环系统各部件的耦合关系,建立了机载蒸发循环系统的动态数学模型。对充注R142b的机载蒸发循环系统进行了动态仿真,仿真数据与试验数据基本吻合,仿真方法可靠,可以作为机载蒸发循环系统优化及系统控制的依据。     

机载气象雷达回波信号仿真系统

设计了一个机载气象雷达回波信号仿真系统,可用于高保真雷达回波信号的生成与演示。基于高保真风场建模数据,依照真实机载气象雷达的扫描方式初始化仿真参数,对风场数据进行机载气象雷达回波仿真,得到了可靠的仿真数据,并对可靠性进行验证。该系统采用C#与Matlab联合编程的方法进行实现,可实现的功能包括各种气象目标在不同模式下的雷达回波仿真,雷达回波数据正确性的验证及展示。得到的信号可为机载气象雷达信号处理和数据处理算法的开发提供数据支持。     

综合模块化航空电子系统远程加载技术研究及性能分析

随着飞机航空电子系统综合化程度的提高，软件的部署、加载和更新的复杂度也在逐步提高。传统软件更新后，需要在地面为每个模块进行升级，并将新版本的软件映像文件固化在模块上，这种更新周期长且流程复杂。随着通用模块和应用重构的发展，软件映像需要部署在系统的各个冗余备份节点中，从而使其更新的流程更为复杂。本文针对以上问题提出了基于光纤通道和 ARINC653操作系统的远程数据加载系统，以使系统在上电、重启及重构时可实现从大容量存储模块上远程加载操作系统内核映像、分区应用及自启动功能。在功能实现的基础上，本文对远程加载和本地加载的时间性能进行了分析和比较。     

某型飞机机载设备寿命控制方法研究

某型飞机的机载设备数量庞大以及寿命的不统一给维修保障工作带来了极大的不便.在研究航空机载设备的定延寿的途径和方法的基础上,分析寿命控制过程.实例显示能够简化维修保障工作,节约经费开支.     

基于文件的MIL-STD-1553B总线传输研究

MIL-STD-1553B总线适用于小数据量的周期信号以及极少的非周期性信号的传输。为简化机载环境中任务数据传输的设计,提出了基于1553B总线的文件传输需求。简单介绍了1553B总线字格式和消息格式,提出了基于满帧和余帧的大块数据传输方法,构建了文件信息帧和文件数据帧,分析了文件传输的时序和发送及接收的流程。通过设计新的方式命令字实现BC→RT的文件传输,通过设计向量字实现由RT请求传输文件的异步通信。     

一种基于FPGA的雷达导航系统数据高效管理与检索方法

传统导航雷达信号采集回放系统中,文件系统构建和管理常基于操作系统,不能满足高带宽数据的实时存储与回放.针对此问题,提出了一种基于FP GA的两级文件管理与检索方法,第一级根据文件信息粗略地定位到文件,第二级根据B码时间等信息定位到具体数据包.利用FP GA的并行处理特性完成信息系统建立、文件系统建立和数据检索,实现了高速海量数据的高效管理与检索.与传统数据管理方式相比,本文所述的数据管理与检索方式占用存储空间小,逻辑简单,易于硬件实现.     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

基于IRIG106 Chapter 10标准的数据记录系统

IRIG106 chapter 10是一种数据获取与记录标准,用较经济的方法实现多种数据的数字化和有效组合。本文探讨了IRIG106 chapter 10标准、STANAG4575文件系统的关键特征,针对机载数据记录系统的需求,提出了一种基于IRIG106 chapter 10标准的数据记录系统设计架构,对于机载数据记录系统的设计和研究有一定的价值。     

基于RFID技术的机载设备维护管理系统

无线射频（RFID）技术近年来在民航机场运输领域得到了较为广泛的应用,但在国内民航制造领域和飞机运营维护领域还未得到推广应用,其中大量的工作仍通过原始人工处理等方式进行。提出一种利用RFID 技术应用于民用飞机机载设备全生命周期维护和管理的系统架构,对其关键组成部分的功能及配置进行说明,并通过一项客舱应急设备的例行维护...     

航空电子软件组件化开发与管理技术研究和实现

本文描述了航空电子应用框架模板化的方法，实现了基于数据源和框架模板的应用框架生成技术；定义了航空电子组件属性配置文件的内容和格式，阐述了基于组件属性配置的组件管理过程，重点介绍了利用有向图深度优先遍历进行组件依赖分析的算法设计，为航空电子软件组件化设计和开发提供了技术支持。     

机载嵌入式系统基准测试方法

性能评测是查找嵌入式计算机系统性能瓶颈、指导设备选型、平衡相关部件、优化系统结构以及提高系统实际性能的重要方法。在介绍了机载嵌入式计算机系统性能评测的指标和基本方法之后,重点分析了使用基准测试程序的测试方法和特点,以及基准测试方法的对比测试原理、不同测试环境的构建以及主要测试过程;选取了SPEC CPU 2000基准测试程序集针对机载嵌入式环境进行裁剪和移植,对某国产机载嵌入式实时操作系统分别以不同的嵌入式操作系统、嵌入式文件系统和编译选项为变量参数进行对比测试,得出了国产操作系统与国外同类商用操作系统运行实际应用程序的性能基本相当的结论,另外也得出文件系统对计算类基准程序的结果影响较小以及编译优化后能够大幅提高嵌入式系统性能等结论。     

基于配置的高安全性机载计算机自检测方法

针对机载嵌入式计算机系统自检测容易造成系统运行不稳定等问题,提出了基于故障配置的自检测设计方法,通过离线配置的方式对系统运行各阶段的故障检测内容、编码、故障记录及响应模式进行静态配置.检测软件根据配置信息自动开展系统自检测,满足了机载计算机自检测的低延迟、高可靠、快速配置等需求.通过配置信息对检测时长进行的可控调节,消除了分区及任务超时造成系统运行的不稳定因素.相比于传统的自检测方法,具有配置灵活、与应用软件无关等优点.