嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

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

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

嵌入式微核虚拟机管理器存储管理架构设计

对微内核架构、嵌入式虚拟化技术、嵌入式多核处理器支持技术进行简介,对工业界和学术界形成的嵌入式微内核虚拟机管理器产品进行相应调研,提出一种基于微内核架构多核虚拟机管理器的存储管理架构设计模式,把存储管理分为内核态MMU管理和用户态内存分配器两部分实现.MMU管理负责完成MMU初始化、TLB无效和增加/删除映射等功能;内存分配器负责实现memcache分配器、字节分配器和页分配器3种内存管理机制.     

基于模型驱动的四余度信号表决系统设计

利用一种基于SCADE模型驱动的嵌入式软件开发方法,研究四余度信号表决系统的设计和实现,方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高,并在很大程度上实现了软件开发的自动化.通过测试和仿真,四余度信号表决系统软件模型设计合理可行,生成代码可嵌入到实时软件中使用.     

PS/2键盘应用于嵌入式系统的一种具体方法

PS／2键盘作为一种常用的输入设备广泛应用于各种微机系统,只需稍加设计,便可将PS／2键盘应用于各种嵌入式系统中,介绍PS／2接口的通讯协议,提出一种PS／2键盘与嵌入式系统接口的硬、软件设计方法。     

屏蔽罩和微射流对超声速冲击射流的降噪研究

利用实验手段研究了超声速冲击射流在屏蔽罩或微射流控制下的流场和声学特性.远场噪声测量结果表明,对于超声速射流利用微射流或者屏蔽罩方法,不仅可以明显地消除冲击单音,而且还可以降低宽频噪声.为了理解这两种降噪控制方法的物理机理,利用粒子图像测速技术(PIV)检测了有无控制方法时的流场情况.PIV结果显示,对于超声速冲击射流当有屏蔽罩或微射流时,流场中的大尺度结构明显地减少了.说明这两种方法都能削弱超声速流场中反馈环的形成,因而降低了超声速冲击射流的不稳定性.     

N型防护结构的试验与仿真研究

在不增加空间碎片防护结构整体尺寸和质量的情况下,基于防护结构在斜撞击条件下弹道极限高于正撞击条件下弹道极限的特性,研究了一种将3层平行铝板结构的中间层进行倾斜的N 型防护结构,采用超高速碰撞试验和三维SP H 数值仿真方法,定量对比了N型防护结构与相同面密度3层平行铝板结构的防护性能。研究结果初步证实,在正撞击情况下,倾斜的中间层具有提升结构防护性能的作用。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

微小卫星综合电子系统设计

微小卫星综合电子系统采用集中管理、分散控制的设计思想,以充分发挥软件作用为指导原则,即采用星上网和嵌入式管理执行单元技术手段,构建微小卫星综合电子系统,文章重点讨论了系统设计。     

嫦娥一号卫星控制分系统地面测试系统设计

卫星控制分系统地面测试系统的设计是分系统设计的重要部分,文章介绍了应用于我国首颗月球探测器——嫦娥一号卫星的控制分系统地面测试系统的设计组成,该系统组成复杂,具有较强的可扩展性和二次开发能力,为卫星控制系统测试设备的系列化、通用化及标准化提供了一个有效的途径,其系列产品可以应用于相应的中低轨道卫星的控制分系统测试。