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

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

基于动态库的星载软件可重构设计与实现

针对卫星在轨运行、长期处于无人值守状态,主要依靠星载软件的安全性和可靠性来保证整星任务的稳定工作。复杂多变的空间环境可能会引起星载器件的异常变化,从而导致星载软件异常,甚至发生软件"衰老"。本文在分析现有可重构方案基础上,提出了一种利用动态库的静态链接方式实现在轨可重构的方案,针对存在软件缺陷,或者需要功能升级和拓展的模块,利用遥控上注手段,采用MD5算法对数据文件完整性校验通过后,写入文件系统,并对原动态库文件作备份处理,以便版本回退。以具体实例对本文所述方案的可行性和有效性进行验证,结果表明:在嵌入式操作系统架构下,利用本方案实现星载软件可重构,能够有效提升星载软件在轨实施可重构的可靠性和安全性,进一步为星载软件的扩展和灵活应用提供支撑。     

实时嵌入式系统MIPS R3000和Intel 80960处理器的适用性评估

MIPSR30 0 0和Intel 80 96 0是实时嵌入式系统的两种候选处理器。本文描述了MIPSR30 0 0和Intel 80 96 0的结构特征。通过对流水线互锁、上下文转换、进程间通讯、同步及多进程支持、过程调用、容错和例外处理、中断处理、超越 /特殊功能、数据类型和调试支持等的分析 ,做出了两种结构的适用性评估     

高可靠航电文件系统浏览技术研究

利用远程系统浏览技术,研究并实现了一种基于Reliance的高可靠航电文件系统的远程浏览系统。系统采用客户端／服务器架构,通过在综合化航电系统内核中建立一个嵌入式文件服务器,可使得用户通过集成在E—clipseIDE中的远程文件浏览器客户端,对此文件系统进行访问、浏览和管理。系统能够有效地提高远程文件操作的可视性和透明性,功能丰富,操作简便,可移植性好,易于扩展。     

嵌入式多核操作系统确定性研究

为解决嵌入式多核操作系统确定性问题,详细阐述了计算确定性,重点分析了多核结构引入的不确定性问题。通过研究嵌入式多核操作系统的结构,从共享存储的确定性访问、确定性任务调度、确定性通信等方面提出了解决多核结构带来的不确定性问题的方法。     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。     

嵌入式Linux下硬件中断驱动程序的开发

通过将摩托罗拉ColdFireMCF5272微处理器内集成的定时记数器作为字符设备使用并产生中断的编程实例,介绍了嵌入式Linux下硬件中断驱动程序的编写。     

二维任意域内基于节点的局部网格生成算法

凸域内基于节点的局部网格生成算法,克服了基于节点的有限元方法的网格生成可能产生的不一致性。将该基于节点的局部网格生成算法的适用范围拓展到二维任意域。另外,提出了通过使用约束Delaunay路径来划分任意域的区域划分算法,该算法使得在并行实现网格生成的过程中各处理器之间无需通信,从而大大提高了节点给定情形下有限元方法网格生成的并行效率。     

稳态温度场作用下涡轮叶片振动特性的研究

根据一维线性分段插值方法对一维温度场进行分段插值拟合,为有限元方法分析温度场作用下叶片振动问题中温度载荷的施加提供了简化可行的方案,利用有限元方法验证该线性拟合方案的可行性,并采用多种方法对计算结果进行验证分析,对一维稳态温度场的分段插值进行了误差分析,得到稳态温度场作用下叶片振动问题的有限元分析计算方法和温度载荷施加方案。     

基于Linux军用TCP/IP协议栈设计与实现

提出一种在嵌入式Linux操作系统上运行TCP/IP协议的解决方案。介绍了Linux内核,在此基础上结合嵌入式系统特点,对TCP/IP协议栈进行简化,提出总协议栈的体设计。根据军用通讯要求着重讨论了网络协议的安全问题,参考现在通用的网络安全模式PGP,对TCP/IP协议栈进行修改,主要是在应用层中加入了加密、认证以及密钥分配过程。加密过程采用DES和RSA组合算法,保证其安全性、可行性以及时效性。