三机二冗余的实时嵌入式容错系统研究

在三机构成的冗余控制系统中,表决量及其表决器设计最为复杂,直接关系系统运行的可靠性.本文提出一种采用将三机中的一机作为表决器对另两机进行旁路表决和输出切换控制的冗余系统,可简化表决器的设计.同时消除系统中的单点故障模式,可应用于高可靠的实时嵌入式控制系统设计中.     

嵌入式Internet接入平台的设计与实现

为解决移动设备接入Internet的需求,提出了基于GPRS和PPP接入Internet的思想,在论证总体设计方案的基础上,介绍了嵌入式微处理器芯片S3C2410以及支持GPRS Class8的高速无线通信模块MC35T.以S3C2410处理器为硬件核心,以ARM Linux为操作系统构建了一嵌入式Internet接入平台,描述了其硬件平台结构及运行流程,分析了其三层软件体系结构,详细讲解了软件体系最上层的PPP拨号软件包的实现.     

基于Kubernetes的航天地面应用软件架构设计与实现

为了满足航天地面应用软件功能组成日益复杂、资源动态重组、系统可用性要求越来越高等新需求，采用微服务架构思想并结合容器轻量级的特点，设计并实现了一套基于Kubernetes微服务管理的航天地面应用软件架构，详细介绍了微服务划分和部署、服务发现和负载均衡、服务动态更新以及服务高可用等关键功能并进行了关键性能测试。测试结果表明，架构有效提高了复杂化的航天地面应用软件的可用性、可复用性和资源利用率，极大地降低了软件开发和运维成本。     

嵌入式虚拟机管理器内存虚拟化方法研究

嵌入式虚拟机管理器需对3类硬件资源进行虚拟化才能支持客户OS的正常运行,而且支持虚拟内存的客户OS需对MMU页表进行虚拟化;以NXP公司的PowerPC架构处理器为例介绍了MMU概况、管理方法,并提出MMU虚拟化的需求;研究了XEN、ViMo、KVM/ARM、NOVA、MobiVMM 5个典型虚拟机管理器软件中所采用的主流内存虚拟化方案,并给出了基于软件影子页表、基于硬件支持特性、软硬件结合等3种对MMU页表进行虚拟化的解决方案.     

基于EDT的扫描测试压缩电路优化方法

为了在集成电路可测试性设计（DFT）中实现更有效的测试向量压缩，减少测试数据容量和测试时间，采用嵌入式确定性测试（EDT）的扫描测试压缩方案分别对S13207、S15850、S38417和S38584基准电路进行了优化分析，通过研究测试向量和移位周期等影响测试压缩的因素，提出了固定测试端口和固定压缩率的扫描测试压缩电路优化方法。结果表明，在测试端口数量都为2，压缩率分别为12、14、16和24时具有较好的压缩效果，与传统自动测试向量生成（ATPG）相比，固定故障的测试数据容量减小了3.9~6.4倍，测试时间减少了3.8~6.2倍，跳变延时故障的测试数据容量减少了4.1~5.4倍，测试时间减少了3.8~5.2倍。所提方法通过改变测试端口数和压缩率的方式讨论了多种影响测试压缩的因素，给出扫描测试压缩电路的优化设计方案，提高了压缩效率，并对一个较大规模电路进行了仿真验证，可适用于集成电路的扫描测试压缩设计。      

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

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

嵌入式课程中实践教学的探讨

随着现代教育科学的发展,通过实践教学培养学生实践能力、创新能力、科技素质逐渐成为实施素质教育的重要内容。本文针对嵌入式应用系统设计课程的教学现状,分析了实践教学的目的、特点及在应用于嵌入式课程时存在的问题,以期逐步将实践教学应用于本课程,达到提高学生动手能力的目的,促进该课程的发展。