操作系统ARINC653标准符合性验证方法的研究

ARINC653标准是一种国际流行的多分区操作系统的接口标准，是否符合ARINC 653标准是衡量一个嵌入式实时多分区操作系统是否符合国际主流标准，以及上层应用是否丰富的一个重要因素。如何验证多分区操作系统是否符合ARINC 653一直是嵌入式实时多分区操作系统测试的重点和难点。提出了一种采用C／S结构、基于ARINC 653 Part 3测试标准验证框架的实用多分区操作系统符合性验证方法，方法不需要对操作系统源码进行修改，并且可以根据测试项排序连续测试。实验证明了验证方法的有效性和准确性。     

嵌入式微核虚拟机管理器存储管理架构设计

对微内核架构、嵌入式虚拟化技术、嵌入式多核处理器支持技术进行简介,对工业界和学术界形成的嵌入式微内核虚拟机管理器产品进行相应调研,提出一种基于微内核架构多核虚拟机管理器的存储管理架构设计模式,把存储管理分为内核态MMU管理和用户态内存分配器两部分实现.MMU管理负责完成MMU初始化、TLB无效和增加/删除映射等功能;内存分配器负责实现memcache分配器、字节分配器和页分配器3种内存管理机制.     

嵌入式分区操作系统可靠性技术的研究与应用

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。     

MILS机载安全操作系统设计

针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。     

航空电子核心处理机实现技术研究

航空电子核心处理机已经成为新一代航电的核心，采用了综合化的设计思想，其设计的复杂性远远超过了联合式核心处理机。提出了一种综合化航空电子核心处理机的硬件实现技术，提出了一种微内核体系结构来实现强分区实时系统，并且支持微内核上操作系统的灵活移植。     

分区操作系统远程系统浏览器

满足ARINC 653标准的嵌入式实时分区操作系统内部提供了多种系统对象,远程系统浏览器是系统开发者在宿主机端查看这些系统对象的最简便快捷的开发工具。描述了分区操作系统信息组织形式和远程信息协议及远程系统浏览器的工作流程。提出了一种基于Eclipse和RSE的远程系统浏览器的系统结构,以及各结构部分的功能。方便系统开发者在宿主机端交叉开发在目标机上运行的分区操作系统系统软件及应用软件。     

嵌入式实时多分区操作系统两态访问的研究

为了保证不同程序的特权,嵌入式实时多分区操作系统使用系统态和用户态来解决这一问题。在介绍系统态和用户态的基础上,重点研究了嵌入式实时多分区操作系统中系统态和用户态互访,提出了系统调用、虚中断和共享数据区三种可行的访问方式,并针对三种访问方式给出了实现方法。这三种访问方式使用方便、灵活,能够有效地解决多分区操作系统两态互访问题。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

机载分区操作系统形式化建模及验证研究

分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提出了从"设计后验证"到"Correct-by-Construct"、从规约模型到契约模型、组合运用多种形式化建模三种分区操作系统建模及验证的新思路,以期对未来研究者有所借鉴。     

一种通用BOOTLOADER架构研究

随着嵌入式系统的不断发展,BOOTLOADER程序开发和移植工作的复杂度越来越高,严重影响了嵌入式系统的开发进度.通过对BOOTLOADER程序引导过程的深入分析,从功能实现、运行过程和代码结构3方面展开研究,提出了一种通用BOOTLOADER架构,并在PowerPC平台上完成了架构的实现,验证了其正确性和易用性,能够有效地提高BOOTLOADER程序的开发和移植效率,进而缩短整个嵌入式系统的开发周期,对BOOTLOADER程序的开发和移植工作具有指导性意义.     

单目相机物体位姿估计方法研究

现有的机器视觉通常以边缘轮廓和角点作为特征,因此要求背景单一,对环境结构化依赖程度高。为了拓展机器人的应用范围,使其脱离结构化的环境,提出了一种基于SIFT特征点和PNP技术的单目相机估计目标物体位姿的方法。以BumbleBee双目相机为硬件基础,以C++为开发平台,结合了Eigen计算库、OpenCV图像处理库和Triclops库,开发了单目视觉位姿估计算法,实现在复杂背景下对表面纹理较为丰富的物体的位姿估计。利用试验对所提方法进行了验证,试验结果表明,该算法具有较高的估计精度,可以作为机器抓取的依据。     

面向对象的航空发动机电子控制器建模与仿真

为了模拟航空发动机电子控制器的结构和功能,根据1种典型的民用涡扇发动机数字电子控制器的硬件结构和工作原理,采用基于面向对象的建模方法,为航空发动机数控系统仿真平台FADEC Works搭建了数字电子控制器部件仿真类库,利用数字电子控制器部件仿真类库建立了双通道数字电子控制器模型,在FADEC Works仿真平台上与发动机模型进行了集成,构成了航空发动机闭环数控系统,并对搭建的双通道数字电子控制器模型进行了仿真和验证。结果表明:利用数字电子控制器部件仿真类库搭建的数字电子控制器模型能够模拟数字电子控制器的运行过程。该模型可应用于控制运行逻辑、故障诊断逻辑、通道切换逻辑的开发、集成、测试和验证。     

飞行环境模拟系统多容腔流-固传热建模

为了提升高空台飞行环境模拟系统(FESS)数值仿真平台的置信度,提出了一种多容腔流-固传热的建模方法,该方法考虑了混合器气流掺混、流-固传热、管道压力损失等因素的影响;建立了包括调节阀流量特性、液压伺服系统、混合器、混合器出口导流栅流量特性、整流子系统、管道容腔模型在内的部件模型库,并基于该模型库构建了仿真平台。为了验证本文建模方法的有效性,采用两次掺混试验数据对仿真模型进行对比验证表明,仿真结果与试验测量结果动态变化趋势基本一致,且温度、压力的最大误差分别不大于2.5K、2kPa;为了分析FESS控制系统的能力,假定了一次典型的发动机试验条件来进行仿真分析,仿真结果表明,FESS控制系统具备进行发动机平飞加速和等马赫数爬升试验的能力。     

航空发动机数控系统综合仿真平台设计

综合现有软硬件资源,采用模块化方法设计了航空发动机数字电子控制系统综合仿真平台,其框架主要包括发动机模型系统、传感器信号模拟与处理、控制器快速原型等子系统.发动机模型系统采用集成仿真环境调用液压执行装置和发动机数学模型库方式设计;快速原型系统采用Matlab/Simulink环境下将控制程序封装成S-Function的方法设计;软件设计重点描述了混合编程与定时器编程技术.以某双轴涡扇发动机为应用对象,进行控制系统数字仿真、半物理模拟试验和台架试车,在相同控制参数下,仿真试验与台架试车结果相似,表明所设计综合仿真平台具有工程应用价值.      

机载座舱显示平台中OpenGL库函数的实现

硬件技术和计算机图形学的快速发展,带动了机载座舱图形显示处理软件尤其是图形程序接口API标准化的发展,具有代表性的OpenGL标准在该领域占据着很重要的地位。在分析Mesa联合WindML实现Vxworks下OpenGL机制的基础上,总结了一种“软件模拟＋硬件实现”的0penGL库函数的实现方法,并在某型国产芯片平台的座舱图形显示处理模块中进行了验证。结果表明,方法对掌握座舱图形显示的标准接口软件核心技术具有一定的借鉴意义。     

一种民用飞机结构建模方法研究与应用

民用飞机结构设计过程中,结构建模占用了设计人员大量的时间与精力,如何快速完成结构建模是提升结构设计效率的关键之一,基于CATIA 二次开发技术,提出一种民用飞机结构快速建模方法。在分析总结常用民用飞机结构数模的基础上,将常用零件模型分解为典型加工特征的组合;针对每个特征,创建为CATIA知识模板,并集成为结构特征模板库;同时,采用CAA 二次开发技术,设计可视化操作界面用于特征模板库调用;通过模拟减材加工过程逐个调用加工特征模板,完成结构模型创建;以下陷特征为例,对比分析传统布尔操作建模方法与本文建模方法的建模效率与质量。结果表明：该建模方法能够显著提高结构建模效率和质量。     

VLSI芯片测试中用户辅助硬件误差的消除方法

在 VL SI测试中 ,由于用户引入辅助硬件产生的误差问题 ,一直是阻碍测试精度和可靠性的关键问题。本文以 ITS90 0 0 MX为背景 ,介绍在 VL SI测试中 ,对辅助硬件所造成误差的一种解除方法。在现有条件下 ,实现简单、方便 ,可供有相应测试系统的测试工作者参考。     

面向功能的测试设备驱动器设计与实现

在各种定制化测试设备中,由于很多仪器驱动不符合现有的标准,从而降低了测试软件的开发效率和质量。为此,提出了一种面向功能的测试设备驱动器的设计与实现方法。通过对特定类别测试设备所需实现功能的分析,获得了脱离硬件环境的功能项目集合,并建立了规范化的设备驱动接口。在驱动组件的内部,封装了对硬件仪器的控制,并描述了实际测试设备的功能实现。测试设备驱动器为上层软件提供了统一的开发和运行基础,便于测试程序针对这些虚拟化的功能接口进行开发,避免了硬件的差异性对业务逻辑的影响。应用实例表明,该方法提高了测试程序的移植性和开发质量,尤其适用于各种系列化的、含有非标准驱动程序的测试软件的开发。     

Generic training for ATE technicians

It is argued that the job of an automatic test equipment (ATE) technician is evolving toward that of a computer operator. The technician has automatic tools (test programs) written for every replaceable unit in his test set. The technician selects which test is run. During the test the technician is presented results and given options if a test fails. If the option called out by the test program does not fix the problem, the technician must go back into his tool box (his library of test programs) and select the right tool to do the job. This is true for a technician working on any piece of ATE. It is contended that training for these technicians should be centered around troubleshooting skills with initially less emphasis on the hardware implementation details. These skills could be developed with a genetic trainer     

航空火控系统自动化检测系统自检的设计

研究了在航空火控系统自动化检测系统中自检的设计方法。给出了设计要求，详细介绍了自检设计方案和软硬件设计方法。自检数据库、硬件调试面板等的设计和应用使自检项目的检测、调试和故障诊断灵活方便。结果表明，该设计方法提高了检测系统使用和维护中自检的工作效率和可靠性。