基于SoPC的嵌入式系统设计技术

介绍了Xilinx公司Virtex- 4 FX系列FPGA的特点,分析了该FPGA内嵌的PowerPC405处理器的体系结构及CoreConnect总线的特点.通过多路传输数据总线接口的设计实例,阐述了基于SoPC(System on Programmable Chip)的嵌入式系统设计方法.     

U-Boot的分析及其在PXA270上的移植

Bootloader是嵌入式系统开发的一个重要环节,它把操作系统和硬件平台衔接起来,对嵌入式系统后继软件开发十分重要.U-Boot是一个功能十分强大的Bootloader开发软件.尽管U-Boot支持大部分主流体系结构和操作系统,但是要将其运行在一个全新的硬件开发板上还是需要进行大量的修正.对U-Boot的结构及运行的流程进行了详细的分析,并根据以PXA270为核心的XSBase270实验平台的具体硬件配置情况,将U-Boot1.3.0-rc2移植到此实验平台.最后对实验结果进行了测试,目前,U-Boot可以成功从FLASH启动,并最终实现了引导Linux操作系统内核启动的功能.     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

军用嵌入式软件测试技术研究

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举.但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面仍然存在一些问题,软件测试工作形势依然严峻,急需得到改进和加强.本文主要分析了军用软件测试现状、存在...     

VxWorks嵌入式实时操作系统在某导弹火控系统中的应用

为提高某导弹武器系统火控系统的实时性和可靠性,将VxWorks嵌入式实时操作系统用于火控系统的软件设计中。根据不同任务间的关系,给出了主作业流程,以及内外网数据的接收与发送、软件运行时序、校时处理、录取报文、数据库设计等主要处理部分。阐明了该VxWorks实时操作系统的设计特点。导弹武器系统试验结果表明,该火控系统软件运行稳定可靠,控制状态转换清晰可控。     

嵌入式GIS中电子地图数据模型和查询优化问题的研究

对基于掌上电脑的嵌入式电子地图系统中查询优化问题进行研究,构造基于掌上电脑平台环境下多尺度数字地图的数据模型,建立一种适用于嵌入式GIS系统的四叉树空间索引,以提高空间查询的效率;提出了一种优化嵌入式GIS系统中的数据访问方法.系统应用结果表明:改进的四叉树可提高空间查询的效率,数据优化方法可加快电子地图显示和查询的速度.     

分布式信任模型在嵌入式Internet中的应用研究

为了充分利用嵌入式设备的联合处理能力,嵌入式设备之间必须进行一系列的合作.信任是人们进行社会交往的基础,人们之间的信任关系在不断地更新和传递.依据这种原理,提出了一种基于社会信任关系的协同工作分布式网络模型.嵌入式Internet系统中的设备在协作过程中,互相之间逐步形成了一种相互信任的关系,这种关系以信任表的形式存在本地端点中,并通过不断地自学习来修改信任表.给出了信任模型的建立过程以及信任参数的更新和传递算法,应用实例表明了模型的有效性.     

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

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

FADS压力传感器延迟补偿

嵌入式大气数据传感器系统通过在飞行器各部位的压力传感器阵进行工作,当大气密度较低时,压力传感器延迟时间过长,致使FADS测量精度减低,甚至无法正常工作.通过对压力传感器延迟产生的机理进行分析,提出相位超前校正网络延迟补偿的方法,合理选取超前校正网络参数,并适当减小连接压力传感器与机体表面的细管长度,可以有效减小传感器延迟,使FADS的可使用空域由35km增大到60km.相位超前校正网络延迟补偿方法具有效果明显且易于工程实现的优点.