嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

ESA再入探测器的某些空气热动力问题

给出了两种不同的再入飞行器:充气的再入和下滑演示器(IRDT)和Huygens.两者的任务都涉及在靠近轨道的条件下再入并均已于2005年完成.概述了IRDT的使命和具体设计问题,综述了IRDT最近飞行的初步结果和ESTEC估计Huygens受到的辐射通量采用的方法.     

uClinux的XIP执行方式研究

uClinux是主流Linux的一个变种,它运行于无MMU(内存管理单元)的处理器架构之上.分析了uClinux内核的组成并对实现uClinux的XIP(Execute-In-Place)运行的关键技术进行了深入研究,改进了代码重定位问题的算法,进而实现uClinux在基于ARM平台上的移植和XIP运行.这样内核代码段和应用程序可以直接从Flash或ROM中运行,减少内存需求.     

同轴接入设备的系统升级机制设计

高性能同轴网络(HINOC,High performance Network Over Coax)是面向下一代广播电视网的同轴电缆接入新技术,是实现模拟电视系统双向数字改造以及广播电视三网融合战略的关键技术之一.HINOC系统中的嵌入式设备HB(HINOC Bridge)与HM(HINOC Modem)需要通过在线升级实现软件版本的不断更新.针对目前一般的软件在线升级系统中普遍存在的整体加密传输效率低、硬件失效缺乏保护等问题,本升级系统设计在文件的传输和文件烧写的基本步骤上引入了文件差分编码解码、文件校验与加密解密以及异常保护机制.实际测试结果显示,升级系统能够满足HINOC系统在效率、安全性和可靠性方面的要求,保证了嵌入式系统的信息安全以及嵌入式设备在异常情况下的稳定工作.     

基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.     

卫星地面测控站的防雷技术

雷电是大气中带有大量电荷的雷云放电的结果,落地雷强大的雷电流可达数十至数百千安培。由于卫星测控站的天线通常是附近最高的建筑物,在雷雨季节容易招引雷电。文章在对卫星地面测控站的多起雷击事故进行调研统计的基础上,分析得出测控设备遭受雷击的原因,讨论了卫星地面测控站的防雷击理论和接地技术,提出测控站防雷击措施,主要包括等电位接地、等电位连接、机房电磁屏蔽、合理布线等。     

弹丸正撞击Whipple防护结构后墙的穿孔孔径研究

微流星体及空间碎片的超高速撞击对在轨航天器,特别是长期留轨的栽人航天器构成了严重的威胁,甚至可导致灾难性失效,为此航天器采用了各种Whipple类防护方案以提高其在轨生存能力。穿孔孔径是研究弹丸超高速撞击下航天器舱壁撞击损伤的重要参数之一。文章对目前所建立的Burch损伤经验公式与Schonberg—Williamsen穿孔经验公式进行了研究,比较了其各自特点;同时,基于上述模型提出了适用范围更广的弹丸超高速正撞击Whipple防护结构后墙的穿孔孔径经验公式,为航天器的灾难性失效分析提供有效的工具。     

基于串行RapidIO的嵌入式互连研究

RapidIO技术是一种点对点的基于包交换的交叉开关互连技术,其高带宽、低延时、高效率及高可靠性的优点为高性能的嵌入式系统内部互连通信提供了良好的解决方案.简要介绍了RapidIO的协议及关键技术,提出了基于串行RapidIO技术的嵌入式互连结构框架.以该框架结构为基础,介绍信号处理子系统一基于串行RapidIO的信号处理模块的设计.     

基于LPC2292的嵌入式Ethernet-CAN转换器

为了在不改变原有网络结构的情况下,将现场总线控制系统改造为以太网分布式控制系统,作者研发了基于ARM体系结构的LPC2292嵌入式微控制器和RTL8019AS以太网控制器的低成本嵌入式Ethernet-CAN转换器。LPC2292采用嵌入式TCP/IP协议栈通过RTL8019AS与以太网中的设备进行通信,利用LPC2292集成的CAN控制器与CAN总线上的终端进行通信。在通信过程中,LPC2292进行TCP/IP协议和CAN协议之间的转换,该转换器很好地完成了两种网络之间的协议转换和数据通信。     

一种嵌入式月面巡视器移动系统模拟器设计

提出了一种嵌入式月面巡视器移动系统模拟器设计方案,分析了模拟器的功能性能需求,给出了模拟器整体方案设计及硬件、软件的具体实现,最后通过系统测试对模拟器设计的有效性进行了验证.该移动系统模拟器可实现对移动系统电机及负载的功率级模拟,满足移动控制驱动组件的系统测试需求,并具有良好的通用性和可扩展性.