虚拟化技术在综合化航电系统中的应用

将虚拟化技术应用于航空电子系统的设计,利用虚拟机系统来实现硬件资源的共享管理和软件子系统的划分,并符合ARINC 653规范的要求——模块化、可靠性、隔离性与开放性.构建由硬件平台、虚拟机监视器(VMM,Virtual Machine Monitor)和分区操作系统、航电应用软件所组成的3层软件架构,可以满足综合模块化航电系统(IMA,Integrated Modular Avionics)的功能要求与接口要求.其中,为实现符合ARINC 653要求的VMM,传统分区操作系统需要进行多项关键性调整,包括处理器特权级和特权指令、中断、内存地址空间分配、设备驱动等方面,从而可以构造基于VMM的综合化航空电子系统.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

混合电路仿真的新方法

实际的数字系统均由数字电路和模拟电路组成，分析数字电路的方法与分析模拟电路的方法是完全不同的。本文将给出一种仿真混合电路的新方法及相应的模拟器。ＭＣ－ＳＩＭ的主要原理如下：首先把被模拟电路划分成许多模拟模块和数字模块，模拟（数字）模块只有模拟（数字）输出；任一模拟输入均视一系列发生在离散的时间点上的事件；模拟模块在达到之前与数字模块一样参加排队；不论是数字模块还是模拟模块都在统一的时间轮下进行计算     

基于MPC8640D处理系统的技术研究

结合多年嵌入式处理的设计经验,借鉴国外高性能嵌入式计算机的设计原则,提出基于MPC8640D的新一代处理系统的设计与实现方法,其特点是:高集成度,双核的高处理速度,高速外部串行总线接口,大容量存储器。基于该设计的处理器模块已经开始用于机载电子设备中。     

基于划分检测模型的终端区异常轨迹检测方法

针对异常轨迹对轨迹聚类效果的影响以及给进离场程序管制适用性的量化分析提供分析数据的考虑,在结合数据挖掘中异常检测理论的基础上,利用划分检测框架及将距离和密度结合起来,设计了一种有效检测算法,运用到终端区飞行轨迹的异常检测当中,检测出飞行轨迹中的异常轨迹,从而改善轨迹的聚类效果。实例仿真结果表明：方法可以准确地检测出异常轨迹。     

机载嵌入式系统中的多核处理架构研究与分析

与单核处理器相比较,多核处理器在性能、功耗、体积以及重量各方面都有绝对的优势,这使得多核处理器在机载嵌入式系统中的应用成为必然趋势。在分析了航空电子系统的任务特点之后,介绍了两种最常见的多核处理器系统架构：对称多处理（SMP）和非对称多处理（AMP）,对这两种系统架构在机载嵌入式系统的应用进行了研究分析,并分析了其关键技术对实时性、安全性和确定性的影响。     

嵌入式远程监测系统的硬件设计

采用单片机和微控制器的监测系统己得到广泛的应用,但这些系统在数据处理、网络通讯等方面能力有限,无法适应远程实时监测的要求.采用新型32位嵌入式CPU进行了一种远程监测嵌入式系统解决方案的硬件设计.系统实现了8通道模拟信号采集,具有功耗低、体积小、集成度高等特点.采用SD卡存储技术、以太网技术以及USB技术,提高了系统智能化和网络化程度.系统可以实时地监测设备状态,对状态信息进行分析与保存,并可以通过网络提供设备运行状态信息.     

改善嵌入式实时内核性能方法的比较

针对Linux系统在实时应用中的技术障碍,首先分析嵌入式内核实时性不足的主要原因.然后分析和研究了多任务,双内核和任务分割三种改善嵌入式实时性能的不同方法,并对它们各自的优缺点进行比较.研究表明,嵌入式实时内核性能有很大的改进空间.     

面向eCos的嵌入式软件集成开发环境设计

eCos嵌入式可配置操作系统结构清晰,具有良好的可移植性,得到了广泛应用.在介绍eCos操作系统的基础上,分析了eCos现有的开发环境特点及形成一个集成开发环境的需求,然后给出了集成开发环境新增模块的设计方案.